AMAST Mail - September 2000

• Middleware 2001 Call for Participation
  Fri, 1 Sep 2000 16:54:43 +0200 (MET DST) -- sventek@labs.agilent.com
• PADO-II call for papers
  Sat, 2 Sep 2000 21:53:16 +0200 (MET DST) -- Symposium on Program as Data Objects <pado2@brics.dk>
• Advanced Program for ISWC - International Symposium on Wearable Computers
  Tue, 5 Sep 2000 04:08:57 +0200 (MET DST) -- "Dr. Bruce Thomas" <mabht@graceland.levels.unisa.edu.au>
• Call for papers - ICACSD'2001
  Tue, 5 Sep 2000 10:31:34 +0200 (MET DST) -- Maciej Koutny <Maciej.Koutny@ncl.ac.uk>
• Call for papers - ICATPN'2001
  Tue, 5 Sep 2000 10:32:28 +0200 (MET DST) -- Maciej Koutny <Maciej.Koutny@ncl.ac.uk>
• PhD Student Position Announcement
  Tue, 5 Sep 2000 14:00:55 +0200 (MET DST) -- Farhad.Arbab@cwi.nl
• SCC2000 minisymposium CFP
  Thu, 7 Sep 2000 15:11:37 +0200 (MET DST) -- "W.J. Toetenel" <W.J.Toetenel@its.tudelft.nl>
• Reminder NWPT'00 - 12th Nordic workshop on programming theory.
  Thu, 7 Sep 2000 16:22:08 +0200 (MET DST) -- nwpt00@ii.uib.no
• ETAPS 2001: SECOND ANNOUNCEMENT & CALL FOR SUBMISSIONS
  Thu, 7 Sep 2000 17:42:05 +0200 (MET DST) -- Etaps 2001 <etaps2001@disi.unige.it>
• FLOPS 2001, Final Call for Papers
  Fri, 8 Sep 2000 09:38:54 +0200 (MET DST) -- Herbert Kuchen <kuchen@uni-muenster.de>
• Professorship in Software Engineering
  Fri, 8 Sep 2000 11:08:04 +0200 (MET DST) -- Bengt Nordstrom <bengt@cs.chalmers.se>
• Please forward to finishing PhD students
  Fri, 8 Sep 2000 19:03:17 +0200 (MET DST) -- Mark D Ryan <M.D.Ryan@cs.bham.ac.uk>
• Landelijk Architectuur Congres : http://www.architecture-forum.org
  Sat, 9 Sep 2000 09:55:56 +0200 (MET DST) -- "Daan Rijsenbrij" <daan.rijsenbrij@capgemini.nl>
• Call For Papers: EvoIASP2001
  Mon, 11 Sep 2000 22:52:59 +0200 (MET DST) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• Mobile Agents for Telecommunication Applications, Paris, France
  Tue, 12 Sep 2000 12:23:17 +0200 (MET DST) -- "Eric Horlait" <eric.horlait@lip6.fr>
• Research Assistant/PhD Vacancy
  Wed, 13 Sep 2000 10:20:12 +0200 (MET DST) -- nipkow@informatik.tu-muenchen.de
• Lipari Summer School 2001
  Wed, 13 Sep 2000 18:19:13 +0200 (MET DST) -- Vladimiro Sassone <vs@dmi.unict.it>
• 2nd CFP: PADL'01
  Wed, 13 Sep 2000 21:58:19 +0200 (MET DST) -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• AiML-ICTL: Final Call for Participation
  Thu, 14 Sep 2000 23:46:10 +0200 (MET DST) -- Advances in Modal Logic <aiml@mac.com>
• PA EXPO 2001
  Fri, 15 Sep 2000 12:47:48 +0200 (MET DST) -- expo@pap.com
• SCASE-2: Deadline Extended
  Sat, 16 Sep 2000 03:17:16 +0200 (MET DST) -- "Jens H. Jahnke" <jens@acm.org>
• Special Issue of JASS journal
  Mon, 18 Sep 2000 10:40:51 +0200 (MET DST) -- Nikitas Assimakopoulos <assinik@unipi.gr>
• Reminder/Deadline extension NWPT'00 - 12th Nordic workshop on programming theory
  Mon, 18 Sep 2000 14:55:10 +0200 (MET DST) -- nwpt00@ii.uib.no
• CFPs: IEEE Int. Conf. on Software Maint., Florence, Italy
  Tue, 19 Sep 2000 09:51:24 +0200 (MET DST) -- icsm2001 (NESI) <icsm2001@dsi.unifi.it>
• New programs ... conference
  Tue, 19 Sep 2000 16:38:18 +0200 (MET DST) -- Giuseppe Longo <Giuseppe.Longo@ens.fr>
• ETAPS-2002: Call for Affiliated Workshops
  Tue, 19 Sep 2000 18:47:11 +0200 (MET DST) -- Rachid Echahed <Rachid.Echahed@imag.fr>
• Por si interesare...
  Wed, 20 Sep 2000 20:47:25 +0200 (MET DST) -- "Rafael Corchuelo" <corcho@cica.es>
• WSCG2001 - Int.Conf.on Graphics, Visualization & Computer Vision - REMINDER
  Sat, 23 Sep 2000 12:01:15 +0200 (MET DST) -- "Vaclav Skala" <skala@kiv.zcu.cz>
• BI-DIALOG 2001, 1st Call for Papers
  Sun, 24 Sep 2000 13:07:54 +0200 (MET DST) -- root <root@Leibniz.lili.uni-bielefeld.de>
• Last call for participation
  Mon, 25 Sep 2000 09:58:21 +0200 (MET DST) -- Manuel Ojeda Aciego <aciego@ctima.uma.es>
• PhD & postdoc positions available
  Mon, 25 Sep 2000 14:58:47 +0200 (MET DST) -- Bart Jacobs <Bart.Jacobs@cs.kun.nl>
• Practical Aspects of Declarative Languages: CFP
  Mon, 25 Sep 2000 17:35:46 +0200 (MET DST) -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• Call for Workshop Proposals, IJCAI-01
  Wed, 27 Sep 2000 15:49:02 +0200 (MET DST) -- Peter van Beek <vanbeek@logos.math.uwaterloo.ca>
• CFP: Workshop on Computer-Aided Verification (CAV'01)
  Wed, 27 Sep 2000 19:35:54 +0200 (MET DST) -- Laure Petrucci <petrucci@lsv.ens-cachan.fr>
• 2. CFP: ASM Workshop at EUROCAST 2001
  Thu, 28 Sep 2000 11:05:57 +0200 (MET DST) -- =?iso-8859-1?Q?Uwe_Gl=E4sser?= <glaesser@uni-paderborn.de>
• WADT/CoFI 2001: Call for abstracts
  Fri, 29 Sep 2000 17:29:28 +0200 (MET DST) -- WADT 2001 <wadt2001@disi.unige.it>
• CASES 2000 Advanced Program
  Fri, 29 Sep 2000 22:09:01 +0200 (MET DST) -- Vincent Mooney <vincent.mooney@ece.gatech.edu>
• upcoming submission deadline CIMA
  Sat, 30 Sep 2000 13:03:12 +0200 (MET DST) -- "ICSC-NAISO" <naiso2@wtc.ab.ca>