AMAST Mail - August 2000

• final call for participation to WRLA2000; Kanazawa, Japan
  Tue, 1 Aug 2000 02:30:07 +0200 (MET DST) -- kokichi@jaist.ac.jp
• Reconfigurability going Mainstream in Embedded Systems
  Tue, 1 Aug 2000 03:34:25 +0200 (MET DST) -- Vincent Mooney <vincent.mooney@ece.gatech.edu>
• Position Available, Fall, 2001
  Tue, 1 Aug 2000 22:52:25 +0200 (MET DST) -- Michael Mislove <mwm@math.tulane.edu>
• WSCG'2001 CALL for PAPERS Graphics, Visualization, Computer Vision etc. - GROUPS
  Wed, 2 Aug 2000 13:10:02 +0200 (MET DST) -- "Vaclav Skala" <skala@kiv.zcu.cz>
• Postdoc grant available
  Wed, 2 Aug 2000 14:44:04 +0200 (MET DST) -- Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
• Last Call for Participation
  Wed, 2 Aug 2000 19:22:39 +0200 (MET DST) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
• SPIN 2000 - Second Call for Participation
  Thu, 3 Aug 2000 01:49:42 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• Deadline approaching, Autonomous Decentralized Systems Symposium CFP
  Thu, 3 Aug 2000 08:13:59 +0200 (MET DST) -- jcobb@utdallas.edu
• <<UML>>2000: Call For Participation
  Thu, 3 Aug 2000 17:54:42 +0200 (MET DST) -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• APAQS 2000 Change of Deadline for Early Birds
  Fri, 4 Aug 2000 06:28:09 +0200 (MET DST) -- tse@csis.hku.hk
• Call For Papers: EvoIASP2001
  Fri, 4 Aug 2000 13:37:58 +0200 (MET DST) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• FMOODS2000 early registration Monday Aug 7!
  Fri, 4 Aug 2000 15:14:47 +0200 (MET DST) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• Research/Study in Logics, Types, Rewriting, & Applications
  Wed, 9 Aug 2000 00:26:43 +0200 (MET DST) -- Joe Wells <jbw@cee.hw.ac.uk>
• Workshop on formal spec and verif methods for shared memory systems
  Wed, 9 Aug 2000 20:34:29 +0200 (MET DST) -- "Ganesh C. Gopalakrishnan" <ganesh@cs.utah.edu>
• TACAS 2001 - First Call for Contributions
  Fri, 11 Aug 2000 15:09:07 +0200 (MET DST) -- Tiziana Margaria <tiziana@guiness.cs.uni-dortmund.de>
• CP2000: Call for Registration
  Sat, 12 Aug 2000 05:53:45 +0200 (MET DST) -- Martin Henz <henz@comp.nus.edu.sg>
• 3-vol. Book - Extended Deadline
  Mon, 14 Aug 2000 08:08:44 +0200 (MET DST) -- Mohamed Fayad <fayad@cse.unl.edu>
• RTA 2001 - First Call for Papers
  Tue, 15 Aug 2000 02:39:39 +0200 (MET DST) -- Aart Middeldorp <ami@score.is.tsukuba.ac.jp>
• SERG NEW REPORT ANNOUNCEMENT
  Thu, 17 Aug 2000 19:49:14 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>
• AiML-ICTL 2000 Call for Participation
  Fri, 18 Aug 2000 20:35:37 +0200 (MET DST) -- Advances in Modal Logic <aiml@mac.com>
• CFP: IJCAR 2001 - International Joint Conference on Automated Reasoning
  Tue, 22 Aug 2000 19:58:58 +0200 (MET DST) -- IJCAR Publicity Chair <ijcar-publicity@dii.unisi.it>
• Job openings at INRIA
  Wed, 23 Aug 2000 16:00:47 +0200 (MET DST) -- Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
• postdoc/postgrad positions available
  Thu, 24 Aug 2000 15:05:46 +0200 (MET DST) -- James Power <James.Power@May.ie>
• jMocha Release Announcement
  Thu, 24 Aug 2000 16:46:49 +0200 (MET DST) -- Radu Grosu <radu@cs.sunysb.edu>
• DEADLINE APPROACHING -- ACM SAC 2001 COORDINATION TRACK
  Thu, 24 Aug 2000 17:40:06 +0200 (MET DST) -- Andrea Omicini <aomicini@deis.unibo.it>
• CFP: ESOP and CC 2001. Deadline 20th October.
  Fri, 25 Aug 2000 14:09:59 +0200 (MET DST) -- esop01@cs.chalmers.se
• ESSLLI 2001 FIRST ANNOUNCEMENT
  Fri, 25 Aug 2000 15:26:53 +0200 (MET DST) -- Ahti Pietarinen <ess_lli@cc.helsinki.fi>
• FMCAD 2000 conference announcement
  Sun, 27 Aug 2000 23:53:42 +0200 (MET DST) -- Steve Johnson <sjohnson@cs.indiana.edu>
• Job opening at Utrecht: Generic Haskell
  Mon, 28 Aug 2000 11:01:57 +0200 (MET DST) -- Johan Jeuring <johanj@cs.uu.nl>
• Lecturing positions in CS at RMIT, Melbourne, Australia
  Mon, 28 Aug 2000 16:25:44 +0200 (MET DST) -- James Harland <jah@cs.rmit.edu.au>
• Technology research positions at living systems, Donaueschingen, Germany
  Tue, 29 Aug 2000 12:06:18 +0200 (MET DST) -- Norbert.Nopper@living-systems.de
• CFP for a Special Issue on Computational Logic
  Wed, 30 Aug 2000 11:20:07 +0200 (MET DST) -- Juergen Dix <dix@uni-koblenz.de>
• RULE2000 preliminary program
  Wed, 30 Aug 2000 15:28:12 +0200 (MET DST) -- Claude Kirchner <Claude.Kirchner@loria.fr>