AMAST Mail - April 2000

• MPC2000: call for participation
  Mon, 3 Apr 2000 11:04:45 +0200 (MET DST) -- Jose Bernardo Barros <jbb@di.uminho.pt>
• ECAI 2000 WS on Balancing Reactivity and Social Deliberation in MAS
  Mon, 3 Apr 2000 11:54:05 +0200 (MET DST) -- Markus Hannebauer <hannebau@first.gmd.de>
• Verteiler
  Mon, 3 Apr 2000 12:28:40 +0200 (MET DST) -- Ralf Ziegenbein <24razi@wiwi.uni-muenster.de>
• Extended Deadline for FTRTFT
  Mon, 3 Apr 2000 14:29:13 +0200 (MET DST) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• offre d'emploi
  Mon, 3 Apr 2000 17:19:51 +0200 (MET DST) -- Maryse Renaud <Maryse.Renaud@sophia.inria.fr>
• WITS'00 -- last call for paper
  Wed, 5 Apr 2000 12:39:22 +0200 (MET DST) -- Riccardo Focardi <focardi@dsi.unive.it>
• CFPs: IEEE ICECCS
  Wed, 5 Apr 2000 13:02:23 +0200 (MET DST) -- Paolo Nesi <nesi@ingfi1.ing.unifi.it>
• No Subject
  Thu, 6 Apr 2000 08:36:28 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
• TOOLS Europe 2000 - Call for participation
  Thu, 6 Apr 2000 09:56:21 +0200 (MET DST) -- Jean-Marc Jezequel <Jean-Marc.Jezequel@irisa.fr>
• CADE-17: Call for Participation
  Thu, 6 Apr 2000 19:14:39 +0200 (MET DST) -- Frank Pfenning <Frank_Pfenning@raw.fox.cs.cmu.edu>
• (CFP) TRICS: Techniques foR Implementing Constraint programming Systems
  Fri, 7 Apr 2000 00:56:12 +0200 (MET DST) -- Christian Schulte <schulte@ps.uni-sb.de>
• CFP: EXPRESS'00 workshop
  Fri, 7 Apr 2000 08:56:46 +0200 (MET DST) -- Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
• Rewriting Logic Workshop (WRLA) 2000, cfp
  Sat, 8 Apr 2000 07:15:41 +0200 (MET DST) -- "Ataru T. Nakagawa" <nakagawa@sra.co.jp>
• Deadline Extension: ESAW'00 Workshop at ECAI 2000
  Mon, 10 Apr 2000 18:54:38 +0200 (MET DST) -- Andrea Omicini <aomicini@deis.unibo.it>
• CFP: ASM 2001 Workshop
  Fri, 14 Apr 2000 10:05:06 +0200 (MET DST) -- =?iso-8859-1?Q?Uwe_Gl=E4sser?= <glaesser@uni-paderborn.de>
• LPAR'2000: call for papers
  Fri, 14 Apr 2000 16:21:43 +0200 (MET DST) -- parigot@logique.jussieu.fr
• FMICS proceedings online
  Mon, 17 Apr 2000 17:18:58 +0200 (MET DST) -- "A. Rennoch" <rennoch@fokus.gmd.de>
• Final CFP: FMCAD 2000 -- Formal Methods in Computer-aided design
  Mon, 17 Apr 2000 19:19:17 +0200 (MET DST) -- Steve Johnson <sjohnson@cs.indiana.edu>
• AMiLP 2000: Programme
  Mon, 17 Apr 2000 23:57:03 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• AMAST 2000: Call for Participation
  Mon, 17 Apr 2000 23:57:48 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• IPL special issue on process algebra
  Tue, 18 Apr 2000 13:05:04 +0200 (MET DST) -- Wan.Fokkink@cwi.nl
• JoRMiCS - electronic Journal on Relational Methods in Computer Science
  Tue, 18 Apr 2000 14:15:22 +0200 (MET DST) -- Gunther Schmidt <schmidt@informatik.unibw-muenchen.de>
• Call for 10 minute slots: Workshop on Generic Programming 2000
  Wed, 19 Apr 2000 16:19:18 +0200 (MET DST) -- Johan Jeuring <johanj@cs.uu.nl>
• IFIP TCS2000 INFORMATION
  Thu, 20 Apr 2000 04:28:49 +0200 (MET DST) -- Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
• 1st CFP FLOPS2001
  Thu, 20 Apr 2000 09:56:28 +0200 (MET DST) -- Herbert Kuchen <kuchen@uni-muenster.de>
• Lectureships in Computer Science at Birmingham
  Thu, 20 Apr 2000 16:48:49 +0200 (MET DST) -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• Final CFP: Workshop on Advances in VErification (Post-CAV 2000)
  Thu, 20 Apr 2000 21:48:11 +0200 (MET DST) -- "Ganesh C. Gopalakrishnan" <ganesh@cs.utah.edu>
• No Subject
  Fri, 21 Apr 2000 04:07:46 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• FORMAL METHODS *ELSEwHeRE* --second CfP
  Fri, 21 Apr 2000 16:19:56 +0200 (MET DST) -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
• Extended Deadline for early registration to APPSEM'2000 Summer school
  Fri, 21 Apr 2000 17:19:26 +0200 (MET DST) -- Simao Desousa <Simao.Desousa@sophia.inria.fr>
• LICS 2000 Call for Participation and Preliminary Program
  Sat, 22 Apr 2000 17:08:58 +0200 (MET DST) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• JELIA 2000 Final call
  Mon, 24 Apr 2000 14:53:52 +0200 (MET DST) -- "JELIA'2000" <jelia@ctima.uma.es>
• FMCS Deadline Extended
  Mon, 24 Apr 2000 17:44:24 +0200 (MET DST) -- Helmut Veith <veith@ux8.sp.cs.cmu.edu>
• SAS2000: Call for Participation
  Tue, 25 Apr 2000 02:29:37 +0200 (MET DST) -- Dave Schmidt <schmidt@cis.ksu.edu>
• workshop Autrans (France) June 14th-15th Specification and Validation of reactive systems
  Tue, 25 Apr 2000 14:56:03 +0200 (MET DST) -- Andre MARTIN <Andre.Martin@imag.fr>
• TABLEAUX 2000: Call for Participation
  Wed, 26 Apr 2000 12:28:25 +0200 (MET DST) -- Roy Dyckhoff <rd@dcs.st-and.ac.uk>
• Associate Professorship in Logic in Computer Science, Aarhus, DK
  Wed, 26 Apr 2000 16:22:04 +0200 (MET DST) -- Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?= <karenkm@daimi.au.dk>
• WFLP'2000 (Extended Deadline)
  Thu, 27 Apr 2000 14:10:59 +0200 (MET DST) -- Salvador Lucas Alba <slucas@dsic.upv.es>