AMAST Mail - October 1999

• ETAPS'2000: tool demonstrations
  99/10/01 -- Don Sannella <dts@dcs.ed.ac.uk>
• CfP: 5th International Workshop on Formal Methods for Industrial Critical Systems
  99/10/04 -- "A. Rennoch" <rennoch@fokus.gmd.de>
• AMAST 2000 -- reminder
  99/10/04 -- scollo@cs.utwente.nl (Pippo Scollo)
• Faculty positions in computing and software
  99/10/05 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• CFP FMPPTA2000
  99/10/05 -- Dominique Mery <Dominique.Mery@loria.fr>
• ECAI 2000 Call for Tutorial Proposals
  99/10/05 -- Hans-Juergen Buerckert <hjb@dfki.de>
• CFP ACIDCA2000 (www.chez.com/acidca2000)
  99/10/05 -- Khalil DRIRA <khalil@laas.fr>
• FroCoS'2000: EXTENDED DEADLINE (OCTOBER 15, 1999)
  99/10/06 -- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
• MFPS 16
  99/10/06 -- Michael Mislove <mwm@math.tulane.edu>
• SERG Report Announcement
  99/10/06 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• Just Published! Three Books
  99/10/07 -- Mohamed Fayad <fayad@cse.unl.edu>
• 2nd CFP: Special issue of JSC on Symbolic Computation & Automated Deduction
  99/10/07 -- Alessandro Armando <armando@armando.dist.unige.it>
• LPNMR'99 Call for Participation
  99/10/08 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
• TACAS 2000 - Submission deadline approaching!
  99/10/10 -- Tiziana Margaria <tiziana@guiness.cs.uni-dortmund.de>
• ETAPS 2000 in Berlin, Last Call for Papers
  99/10/12 -- Doris =?iso-8859-1?Q?F=E4hndrich?= <doris@cs.tu-berlin.de>
• ICSSEA '99
  99/10/12 -- Jean-Claude RAULT <rault@cnam.fr>
• ECAI2000 WORKSHOP PROPOSALS
  99/10/12 -- cordier marie-odile <Marie-Odile.Cordier@irisa.fr>
• AISB-00: Extended Deadline for SYMPOSIUM PROPOSALS, 29th of October
  99/10/12 -- Mark G Lee <M.G.Lee@cs.bham.ac.uk>
• CEC2000 Electronic Submissions Active
  99/10/12 -- "i.kuscu" <css1ik@mcs.surrey.ac.uk>
• MPC2000: 5th Int.Conf. on Math. of Program Construction - CFP
  99/10/12 -- "Jose N. Oliveira" <jno@seide.di.uminho.pt>
• CSL 2000 -- 1st CFP
  99/10/13 -- Thorsten Altenkirch <alti@informatik.uni-muenchen.de>
• Faculty opening at Western Michigan University
  99/10/13 -- "Ajay Gupta" <ajay.gupta@wmich.edu>
• Workshop on Refinement and Abstraction
  99/10/14 -- HAGIYA Masami <hagiya@is.s.u-tokyo.ac.jp>
• workshop nov 16 you are welcome
  99/10/14 -- Dov Gabbay <dg@dcs.kcl.ac.uk>
• European Conference of AI, Call for Workshop Proposals
  99/10/15 -- Joscha Bach <bach@informatik.hu-berlin.de>
• Call For papers: PDPTA'2000/CISST'2000/IC-AI'2000 Int'l Conf, Las Vegas, June 26-29,2000
  99/10/15 -- Hamid Arabnia <hra@cs.uga.edu>
• Knowledge and Information Systems: Vol 1 No 4 (1999)
  99/10/18 -- Xindong Wu <xwu@gauss.Mines.EDU>
• Deadline for ICLP99 early registration/hotel approaching
  99/10/19 -- Publicity for ICLP 99 <iclp99pub@cs.nmsu.edu>
• SERG Report Announcement
  99/10/19 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• High Assurance Systems Engineering
  99/10/20 -- "David B. Stewart" <dstewart@eng.umd.edu>
• Call for Participation
  99/10/20 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• CMCS2000
  99/10/20 -- Horst Reichel <reichel@tcs.inf.tu-dresden.de>
• PA EXPO 2000 CFP
  99/10/21 -- info@pap.com
• AiML-ICTL 2000: First Call for Papers
  99/10/21 -- mdr@wins.uva.nl (Maarten de Rijke)
• CL2000: 2nd call for papers
  99/10/22 -- femke@cs.vu.nl (Raamsdonk van F)
• Chair: Theory of Automata at TU Dresden
  99/10/25 -- Horst Reichel <reichel@tcs.inf.tu-dresden.de>
• 1999 ECCAI ARTIFICIAL INTELLIGENCE DISSERTATION AWARD
  99/10/27 -- Silvia Miksch <silvia@ifs.tuwien.ac.at>
• LPNMR'99 Call for Participation
  99/10/27 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
• [CONCUR 2000] Conference Announcement and Call for Workshops
  99/10/27 -- Uwe Nestmann <uwe@cs.auc.dk>
• ICLP'99: Deadline for Early Registration
  99/10/28 -- Publicity for ICLP 99 <iclp99pub@cs.nmsu.edu>
• FORTE / PSTV 2000 - preliminary CfP
  99/10/29 -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
• CFP: Extended Deadline for DSVV 2000
  99/10/30 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• ASIAN'99 CFP & Preliminary Program, Dec 10-12, Phuket
  99/10/30 -- Roland Yap Hock Chuan <ryap@comp.nus.edu.sg>