AMAST Mail - May 2000

• AiML-ICTL 2000: Final Call for Papers
  Mon, 1 May 2000 22:33:19 +0200 (MET DST) -- Advances in Modal Logic <aiml@mac.com>
• MPC2000 - 2nd Call for Participation
  Tue, 2 May 2000 17:27:56 +0200 (MET DST) -- lsb@di.uminho.pt
• two new books by L. Wos and G.W. Pieper
  Tue, 2 May 2000 17:59:00 +0200 (MET DST) -- wei chen <wchen@wspc.com>
• Extended Deadline: ECAI 2000 WS on Balancing Reactivity and Social Deliberation in MAS
  Tue, 2 May 2000 18:32:26 +0200 (MET DST) -- Markus Hannebauer <hannebau@first.gmd.de>
• reminder: AMiLP 2000 getting close
  Tue, 2 May 2000 22:33:03 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• reminder: AMAST 2000 getting close
  Tue, 2 May 2000 22:33:41 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• SPIN'2000
  Tue, 2 May 2000 23:11:20 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• LINEAR Summer School (2nd call)
  Wed, 3 May 2000 05:33:37 +0200 (MET DST) -- Nuno Barreiro <nbar@di.fc.ul.pt>
• CSL2000 - 1st call for participation
  Wed, 3 May 2000 14:09:23 +0200 (MET DST) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
• NOTERE'2000 : Premier appel a contributions
  Fri, 5 May 2000 20:04:14 +0200 (MET DST) -- Notere 2000 <notere@ENST.fr>
• Knowledge and Information Systems: Vol 2 No 2 (2000)
  Sun, 7 May 2000 21:08:27 +0200 (MET DST) -- Xindong Wu <xwu@gauss.Mines.EDU>
• the deadline of WRLA2000 paper submission is extended]
  Mon, 8 May 2000 03:42:32 +0200 (MET DST) -- kokichi@jaist.ac.jp
• CFCs - SW Arch., Components, and Frameworks
  Mon, 8 May 2000 04:56:55 +0200 (MET DST) -- Mohamed Fayad <fayad@cse.unl.edu>
• CFP: Workshop on Program Generation
  Mon, 8 May 2000 13:26:58 +0200 (MET DST) -- Walid Taha <taha@cs.chalmers.se>
• DTP00---Call for Participation
  Tue, 9 May 2000 12:45:29 +0200 (MET DST) -- Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
• Please update TOOLS references on your pages
  Tue, 9 May 2000 23:11:54 +0200 (MET DST) -- Bertrand_Meyer@eiffel.com
• Call for Papers: CATS 2001
  Thu, 11 May 2000 09:36:06 +0200 (MET DST) -- CATS 01 Conference <cats01@it.uq.edu.au>
• MSCS special issue
  Thu, 11 May 2000 12:47:51 +0200 (MET DST) -- Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
• ASIAN'00: Call for Papers
  Fri, 12 May 2000 07:08:06 +0200 (MET DST) -- masahiko@kuis.kyoto-u.ac.jp
• FME 2001: Call for Papers
  Fri, 12 May 2000 20:04:38 +0200 (MET DST) -- "Jose N. Oliveira" <jno@di.uminho.pt>
• TOOLS EUROPE & TOOLS USA Conference Programs
  Tue, 16 May 2000 19:31:15 +0200 (MET DST) -- TOOLS Conferences <info@tools-conferences.com>
• AMAST 2000 latest news
  Tue, 16 May 2000 22:31:35 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• IFIP TCS2000
  Wed, 17 May 2000 09:01:48 +0200 (MET DST) -- Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
• International Masters Programme in COMPUTATIONAL LOGIC
  Wed, 17 May 2000 11:50:14 +0200 (MET DST) -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• Project PhD studentship available at Birmingham
  Wed, 17 May 2000 18:31:25 +0200 (MET DST) -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• CGIM 2000 (Symposium on GEOMETRIC DESIGN)
  Thu, 18 May 2000 09:36:32 +0200 (MET DST) -- "M. Sarfraz" <sarfraz@kfupm.edu.sa>
• LINEAR Summer School
  Fri, 19 May 2000 01:14:41 +0200 (MET DST) -- Nuno Barreiro <nbar@di.fc.ul.pt>
• FSTTCS 2000: revised Call for Papers
  Fri, 19 May 2000 14:08:05 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
• CADE-17 - 2nd Call for Participation
  Fri, 19 May 2000 14:20:56 +0200 (MET DST) -- Frank Pfenning <fp@cs.cmu.edu>
• the final CFP for WRLA2000
  Sun, 21 May 2000 18:24:21 +0200 (MET DST) -- kokichi@jaist.ac.jp
• FTP 2000 and TABLEAUX 2000 - Call for Participation
  Mon, 22 May 2000 14:36:07 +0200 (MET DST) -- Peter Baumgartner <peter@uni-koblenz.de>
• SAM2000 - June,26-28,2000 Grenoble - Call for Participation
  Tue, 23 May 2000 13:51:44 +0200 (MET DST) -- =?iso-8859-1?Q?Andr=E9?= MARTIN <andre.martin@imag.fr>
• Call for participation
  Tue, 23 May 2000 14:33:50 +0200 (MET DST) -- =?iso-8859-1?Q?Andr=E9?= MARTIN <andre.martin@imag.fr>
• CAV 2000 advance program and registration info
  Wed, 24 May 2000 07:01:03 +0200 (MET DST) -- "E. Allen Emerson" <emerson@cs.utexas.edu>
• Faculty Positions
  Wed, 24 May 2000 10:10:57 +0200 (MET DST) -- "Ian Cloete" <ian.cloete@i-u.de>
• ICALP'2000:registration reminder
  Wed, 24 May 2000 10:18:20 +0200 (MET DST) -- POWELL Olivier <olivier.powell@cui.unige.ch>
• SAIG Deadline Extended to June 5th
  Wed, 24 May 2000 18:19:08 +0200 (MET DST) -- Walid Taha <taha@cs.chalmers.se>
• SERG Report Announcement
  Wed, 24 May 2000 20:54:13 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>
• NWPT'00 - 12th Nordic workshop on programming theory
  Thu, 25 May 2000 10:46:39 +0200 (MET DST) -- nwpt00@ii.uib.no
• Distributed Constraint Satisfaction (Workshop CFP Reminder)
  Fri, 26 May 2000 11:50:01 +0200 (MET DST) -- Marius-Calin Silaghi <silaghi@lia.di.epfl.ch>
• CFP: LPAR'2000, Reunion Island, France
  Fri, 26 May 2000 18:54:25 +0200 (MET DST) -- Andrei Voronkov <voronkov@cs.man.ac.uk>
• RULE 2000
  Mon, 29 May 2000 19:09:36 +0200 (MET DST) -- Horatiu Cirstea <Horatiu.Cirstea@loria.fr>
• FST TCS 2000: One week extension on the submission deadline
  Tue, 30 May 2000 14:27:10 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
• Special Issues of JASS journal
  Tue, 30 May 2000 15:37:46 +0200 (MET DST) -- Nikitas Assimakopoulos <assinik@unipi.gr>
• Postdoc Position in Automated Verification
  Tue, 30 May 2000 17:42:31 +0200 (MET DST) -- Ulrich Ultes-Nitsche <uun@ecs.soton.ac.uk>
• announcement
  Wed, 31 May 2000 09:24:50 +0200 (MET DST) -- Chikoidze <chiko@contsys.acnet.ge>