AMAST Mail - February 1998

• PA EXPO98
  98/02/04 -- info@pap.com
• Doc and Post-doc positions - Verimag, Grenoble
  98/02/05 -- Oded Maler <Oded.Maler@imag.fr>
• Hybrid Systems 98
  98/02/09 -- tah@eecs.berkeley.edu (Tom Henzinger)
• Federated Logic Conference (FLoC'99)
  98/02/11 -- Leonid Libkin <libkin@research.bell-labs.com>
• FLoC'99: CALL FOR WORKSHOP PROPOSALS
  98/02/11 -- Leonid Libkin <libkin@research.bell-labs.com>
• Topological Methods in Computer Science
  98/02/12 -- Bob Flagg <flagg@usm.maine.edu>
• ETAPS'98 - early registration until 28/2
  98/02/19 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
• CFP -- Coordination Technologies for Information Systems (CTIS'98)
  98/02/20 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• Call for Papers: Formal Methods in CAD (FMCAD'98)
  98/02/21 -- ganesh@facility.cs.utah.edu
• ACoS'98/VISUAL'98 - early registration until 28/2
  98/02/21 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
• MFPS 14 Second Announcement
  98/02/22 -- Michael Mislove <mwm@math.tulane.edu>
• CFP: ISLIP'98
  98/02/23 -- Mehmet ORGUN <mehmet@mpce.mq.edu.au>
• CONCUR98: final CFP (EXTENDED deadline)
  98/02/26 -- Davide.Sangiorgi@sophia.inria.fr