AMAST Mail - September 1997
Last updated: Sat Dec 13 17:06:21 97
19 messages in chronological order
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
[
August 1997
|
October 1997
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1997
|
AMAST
]
Mail converted by
MHonArc
1.2.3