AMAST Mail - August 1998

• OW London `98
  98/08/03 -- Roberto Zicari <zicari@ltt.de>
• FSTTCS 98, List of Accepted Papers
  98/08/04 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• NWPT'98: Call for Abstracts
  98/08/04 -- Kaisa Sere IB <kaisa@ra.abo.fi>
• COTIC 98, Call for Participation
  98/08/04 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
• FMCAD '98 ANNOUNCEMENT
  98/08/08 -- "Jacqueline Brakey" <jbrakey@admin.dce.utah.edu>
• Last call for participation: WRLA'98
  98/08/10 -- Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
• 1999 AAAI Symposium on Hybrid Systems and AI
  98/08/15 -- Howard Wong-Toi <howard@Cadence.COM>
• IRW/FMP'98 Early Registration Closing
  98/08/17 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• TACAS 99 Call for Papers
  98/08/18 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
• MFPS Call for Papers
  98/08/18 -- Michael Mislove <mwm@math.tulane.edu>
• ICFEM'98 Call for Tutorials and Preliminary Programme
  98/08/19 -- Colin Fidge <cjf@it.uq.edu.au>
• Call for papers
  98/08/21 -- Simone Panka <Simone.Panka@cwi.nl>
• Research Associate Post: Hardware Verification
  98/08/21 -- Alan Williams <alanw@cs.man.ac.uk>
• RTSS '98 - Call for Participation
  98/08/24 -- rich@cs.umd.edu (Richard Gerber)
• conference announcement
  98/08/25 -- "Alexandre Zamulin" <zam@iis.nsk.su>
• Call for Papers -- ARTS'99
  98/08/26 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• 14th WADT - Please pre-register !
  98/08/28 -- Christine.Choppy@irin.univ-nantes.fr (Christine Choppy)