AMAST Mail - September 1997

• POSES++ - simulation faster as you believe
  97/09/01 -- POSES++ <poses@gpc.de>
• REMINDER: IFIP Working Conference PROCOMET'98
  97/09/02 -- "Ernst-Ruediger Olderog" <Ernst.Ruediger.Olderog@Informatik.Uni-Oldenburg.DE>
• ETAPS'98 - Call for submissions
  97/09/03 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
• Guest Positions (fwd)
  97/09/03 -- scollo@cs.utwente.nl (Pippo Scollo)
• CRL REPORT ANNOUNCEMENT (fwd)
  97/09/03 -- scollo@cs.utwente.nl (Pippo Scollo)
• CFP FMPPTA'98
  97/09/05 -- Dominique Mery <Dominique.Mery@loria.fr>
• Last Call for Papers: NWPT'97
  97/09/05 -- Marko Kaaramees <marko@ioc.ee>
• AMAST'98 FIRST CFP (Spread the news)
  97/09/09 -- mfrias@inf.puc-rio.br (Marcelo Frias)
• TARK98 CFP
  97/09/15 -- Avi Pfeffer <avi@Robotics.Stanford.EDU>
• IEEE TTTC - 16TH IEEE VLSI TEST SYMPOSIUM : Call for papers
  97/09/16 -- tttc@chiusella.polito.it (Paolo Prinetto)
• FORTE/PSTV'97: CALL FOR PARTICIPATION
  97/09/18 -- higashino@ics.es.osaka-u.ac.jp (Teruo Higashino)
• ICALP '98: Call for Papers and Workshops
  97/09/18 -- Uffe Henrik Engberg <engberg@brics.dk>
• LICS'98 Call for Papers (text & LaTeX)
  97/09/18 -- Leonid Libkin <libkin@research.bell-labs.com>
• CfP Concur98
  97/09/22 -- Robert Desimone <Robert.De_Simone@sophia.inria.fr>
• IEEE TTTC - TECS'97: Advance Program
  97/09/26 -- tttc@chiusella.polito.it (Paolo Prinetto)
• Call for Papers: HYBRID SYSTEMS '98
  97/09/27 -- tah@eecs.berkeley.edu (Tom Henzinger)
• 2nd cfp MPC'98: Mathematics of Program Construction 98
  97/09/29 -- Johan Jeuring <johanj@cs.chalmers.se>
• IEEE TTTC - High Level Design Validation and Test Workshop: Advance Program
  97/09/29 -- tttc@chiusella.polito.it (Paolo Prinetto)
• PA EXPO98
  97/09/30 -- info@pap.com