AMAST Mail - March 2000

• SPIN2000 CFP
  Wed, 1 Mar 2000 21:51:13 +0100 (MET) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• LICS 2000 - Call for Short Presentations
  Wed, 1 Mar 2000 22:15:51 +0100 (MET) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• The LINEAR International Summer School
  Thu, 2 Mar 2000 00:50:15 +0100 (MET) -- Nuno Barreiro <nbar@di.fc.ul.pt> (by way of =?iso-8859-1?Q?Jos=E9?= Luiz Fiadeiro)
• 7th WoLLIC'2000
  Thu, 2 Mar 2000 15:38:30 +0100 (MET) -- Ruy de Queiroz <ruy@di.ufpe.br>
• 2nd cfp: FMCAD 2000 (formal methods in computer aided design)
  Thu, 2 Mar 2000 22:16:24 +0100 (MET) -- Steve Johnson <sjohnson@cs.indiana.edu>
• FTRTFT 2000: Second Call for Papers
  Fri, 3 Mar 2000 04:42:32 +0100 (MET) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• ITiCSE2000 Call for Workshop Participation
  Fri, 3 Mar 2000 13:43:48 +0100 (MET) -- Neville Dean <nd1@artemis.anglia.ac.uk>
• Enterprise Frameworks - CFPs
  Sat, 4 Mar 2000 22:42:22 +0100 (MET) -- Mohamed Fayad <fayad@cse.unl.edu>
• Topo2000 in July
  Sun, 5 Mar 2000 03:52:50 +0100 (MET) -- Dennis Burke <dburke@notch.mathstat.muohio.edu>
• TSD 2000 - Submission Deadline Approaching
  Mon, 6 Mar 2000 15:10:10 +0100 (MET) -- "Robert Batusek" <xbatusek@informatics.muni.cz>
• ETAPS 2000 - 2nd Call for Participation
  Mon, 6 Mar 2000 18:26:06 +0100 (MET) -- Doris Faehndrich <doris@cs.tu-berlin.de>
• MetaML release version 1.0
  Mon, 6 Mar 2000 20:02:58 +0100 (MET) -- "Zino Benaissa" <benaissa@cse.ogi.edu>
• 2nd CfP: ECOOP 2000 Workshop on Formal Techniques for Java Programs
  Tue, 7 Mar 2000 10:22:03 +0100 (MET) -- Peter Mueller <Peter.Mueller@FernUni-Hagen.de>
• Reminder: IDMS 2000 deadline is March 15
  Tue, 7 Mar 2000 20:13:39 +0100 (MET) -- Clever Ricardo Guareis de Farias <farias@cs.utwente.nl>
• CP2000: Final Call for Papers [NEW SUBMISSION DATES]
  Wed, 8 Mar 2000 10:46:25 +0100 (MET) -- Martin Henz <henz@comp.nus.edu.sg>
• FORTE/PSTV 2000 DEADLINE EXTENSION
  Wed, 8 Mar 2000 17:14:13 +0100 (MET) -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
• MFPS 16 Program & Registration
  Thu, 9 Mar 2000 01:04:55 +0100 (MET) -- Michael Mislove <mwm@math.tulane.edu>
• MFCS 2000 - Submission Deadline Approaching
  Thu, 9 Mar 2000 13:17:50 +0100 (MET) -- MFCS 2000 <mfcs2000@dcs.fmph.uniba.sk>
• CFP: CADE-17 WORKSHOP ON AUTOMATION OF PROOFS BY MATHEMATICAL INDUCTION
  Thu, 9 Mar 2000 19:28:50 +0100 (MET) -- Carsten Schuermann <carsten+@cs.cmu.edu>
• Final FMICS programme in Berlin
  Fri, 10 Mar 2000 11:09:08 +0100 (MET) -- "A. Rennoch" <rennoch@fokus.gmd.de>
• Vacancies in Computer Science at Royal Holloway, Univ of London
  Fri, 10 Mar 2000 14:44:05 +0100 (MET) -- Steve Schneider <steve@dcs.rhbnc.ac.uk>
• Conference: Mathematical Foundations of CS & IT
  Fri, 10 Mar 2000 15:55:33 +0100 (MET) -- Michel Schellekens <mpcs@cs.ucc.ie>
• Chair/Professor, Senior Lecturers and Lecturers in Computing at the OU
  Fri, 10 Mar 2000 16:32:07 +0100 (MET) -- Pat Hall <p.a.v.hall@open.ac.uk>
• reminder -- FMOODS 2000 Submission Deadline March 15
  Sat, 11 Mar 2000 06:57:35 +0100 (MET) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• PA EXPO 2000 Update
  Mon, 13 Mar 2000 17:57:23 +0100 (MET) -- info@pap.com
• FOSAD -- school on security
  Mon, 13 Mar 2000 23:54:00 +0100 (MET) -- Roberto Gorrieri <gorrieri@CS.UniBO.IT>
• CFP: APAQS 2000 Second Call for Papers
  Wed, 15 Mar 2000 06:10:26 +0100 (MET) -- tse@csis.hku.hk
• DSVV: Call For Participation
  Wed, 15 Mar 2000 06:35:01 +0100 (MET) -- Pao-Ann Hsiung <eric@iis.sinica.edu.tw>
• IDMS'2000: deadline extension
  Wed, 15 Mar 2000 10:47:00 +0100 (MET) -- Clever Ricardo Guareis de Farias <farias@cs.utwente.nl>
• announcement of a new book
  Wed, 15 Mar 2000 22:57:44 +0100 (MET) -- Egon Boerger <boerger@Di.Unipi.IT>
• FW: IIZUKA2000-Deadlines Approaching
  Thu, 16 Mar 2000 02:18:53 +0100 (MET) -- Kitty Ko <KittyKo@infoscience.otago.ac.nz>
• SAM2000 --- Grenoble --- june, 26-28, 2000 call for papers
  Thu, 16 Mar 2000 19:41:21 +0100 (MET) -- Susanne Graf <Susanne.Graf@imag.fr>
• Applied Semantics Summer School APPSEM'2000
  Fri, 17 Mar 2000 13:01:13 +0100 (MET) -- Simao Desousa <Simao.Desousa@sophia.inria.fr>
• CADE-17 ACCEPTED PAPERS
  Fri, 17 Mar 2000 17:53:54 +0100 (MET) -- David McAllester <dmac@research.att.com>
• (fwd) [CFP:] ECOOP'2000 wkshp on UML semantics
  Fri, 17 Mar 2000 22:39:26 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Spin Newsletter, No. 28
  Fri, 17 Mar 2000 22:45:27 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• AMiLP 2000 : Preliminary Call for Participation
  Fri, 17 Mar 2000 23:47:59 +0100 (MET) -- Pippo Scollo <scollo@aci.dmi.unict.it>
• Ph.D. thesis: "Real-Time Reactive System Development - A Formal Approach Based on UML and PVS."
  Sat, 18 Mar 2000 17:47:49 +0100 (MET) -- "ALAGAR v." <alagar@cs.concordia.ca>
• CASES 2000 Call for Participation
  Sun, 19 Mar 2000 19:06:40 +0100 (MET) -- Vincent Mooney <vincent.mooney@ece.gatech.edu>
• 2nd CFP CADE-17 Workshop "Type-theoretic Languages: Proof-search and Semantics"
  Sun, 19 Mar 2000 20:21:02 +0100 (MET) -- Didier Galmiche <galmiche@poncelet.loria.fr>
• Lipari School 2000 deadline on E-commerce and On-line Alg. is April 10
  Mon, 20 Mar 2000 10:43:58 +0100 (MET) -- "Prof. Alfredo Ferro" <ferro@dmi.unict.it>
• ECAI 2000 Call for Participation
  Mon, 20 Mar 2000 10:58:14 +0100 (MET) -- "ECAI 2000 Publicity [Markus Hannebauer]" <hannebau@first.gmd.de>
• ESSLLI-2000
  Mon, 20 Mar 2000 15:58:46 +0100 (MET) -- Catherine Piliere <Catherine.Piliere@loria.fr>
• No Subject
  Tue, 21 Mar 2000 08:57:13 +0100 (MET) -- "E. Allen Emerson" <cav2k@cs.utexas.edu>
• FTRTFT 2000: Third and Final Call for Papers
  Wed, 22 Mar 2000 05:05:55 +0100 (MET) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• Final CfP: ESAW'00 Workshop at ECAI 2000
  Fri, 24 Mar 2000 13:31:45 +0100 (MET) -- Andrea Omicini <aomicini@deis.unibo.it>
• PA EXPO 2000 Call for Participation
  Fri, 24 Mar 2000 17:08:49 +0100 (MET) -- info@pap.com
• 征求網站交換連接
  Sat, 25 Mar 2000 12:51:37 +0100 (MET) -- Maxpro Technology Company <mail@maxpro.com.hk>
• FME 2001: Call for Papers
  Mon, 27 Mar 2000 16:09:44 +0200 (MET DST) -- "J. Nuno Oliveira" <jno@di.uminho.pt>
• No Subject
  Tue, 28 Mar 2000 22:53:05 +0200 (MET DST) -- Stefano Cagnoni <cagnoni@CE.UniPR.IT>
• CFP: Workshop on Advances in VErification (Post-CAV 2000)
  Tue, 28 Mar 2000 23:12:05 +0200 (MET DST) -- "Ganesh C. Gopalakrishnan" <ganesh@cs.utah.edu>
• LICS 2000 - Short Presentations Deadline is March 31
  Wed, 29 Mar 2000 11:45:04 +0200 (MET DST) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• CfP: COORDINATION 2000
  Wed, 29 Mar 2000 15:21:22 +0200 (MET DST) -- Andrea Omicini <aomicini@deis.unibo.it>
• PA EXPO 2000 Update.
  Thu, 30 Mar 2000 12:36:26 +0200 (MET DST) -- info@pap.com
• Searching for Lecturers
  Thu, 30 Mar 2000 15:09:09 +0200 (MET DST) -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• POPL2001: Call for Papers
  Thu, 30 Mar 2000 21:58:13 +0200 (MET DST) -- Dave Schmidt <schmidt@cis.ksu.edu>
• icalp2000-program and registration
  Fri, 31 Mar 2000 12:58:57 +0200 (MET DST) -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• Report Announcement: A Table Checking Tool
  Fri, 31 Mar 2000 22:20:57 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>