AMAST Mail - November 1998

• CRL Report Announcement
  98/11/03 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• FLOPS'99 Call for Papers
  98/11/04 -- Aart Middeldorp <ami@is.tsukuba.ac.jp>
• PAKeM99 Final CFP
  98/11/04 -- info@pap.com
• AMAST'98 - Call for Participation
  98/11/04 -- Daniela Cardoso <daniela@inf.puc-rio.br>
• Submission deadline
  98/11/04 -- mfps account <mfps@math.tulane.edu>
• Announcement
  98/11/05 -- "ramon jansana" <jansana@mat.ub.es>
• AMAST'98 Tentative Program for Accompanying persons
  98/11/11 -- Armando Haeberer <armando@inf.puc-rio.br>
• PAAM99 Call for Papers
  98/11/11 -- practical-applications@pap.com
• FMOODS99 Preliminary programme
  98/11/14 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
• (fwd) TWLT 14: Language Technology in Multimedia Information Retrieval
  98/11/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Info. on visa requirement for Brazil
  98/11/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• CFP: CAV'99
  98/11/18 -- Cav99 <cav99@glandasse.imag.fr>
• Special Seminar: Reactive Systems
  98/11/18 -- Oded Maler <Oded.Maler@imag.fr>
• CfParticipation: FMDS'98
  98/11/19 -- Colin Fidge <cjf@it.uq.edu.au>
• ERCIM Fellowship Programme - Formal methods in embedded systems
  98/11/20 -- Axel Poigne <poigne@gmd.de>
• Professorship in Programming Theory, University of Bergen
  98/11/20 -- magne@ii.uib.no (Magne Haveraaen local)
• BRICS Int. PhD School: Call for Admission and Grant Applications
  98/11/20 -- Uffe Henrik Engberg <engberg@brics.dk>
• Open positions: Scientific Assistantships in Formal Methods
  98/11/24 -- Bernhard Beckert <beckert@ira.uka.de>
• GETGRATS grants: Call for Applications
  98/11/27 -- Andrea Corradini <andrea@di.unipi.it>