AMAST Mail - August 1999

• CFP: Workshop on Distributed System Validation and Verification
  99/08/02 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• PA JAVA 2000 CFP
  99/08/02 -- practical-applications@pap.com
• LOPSTR-SAS 99: CALL FOR PARTICIPATION
  99/08/03 -- Annalisa Bossi <bossi@oink.dsi.unive.it>
• CFP: Workshop on Real-Time Constraints (2nd Call)
  99/08/06 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• PAKeM 2000 CFP
  99/08/06 -- practical-applications@pap.com
• PADD 2000 CFP
  99/08/06 -- practical-applications@pap.com
• TACAS 2000 - Call for Contributions
  99/08/07 -- Tiziana Margaria <tiziana@guiness.cs.uni-dortmund.de>
• Re: WAIT99 (CFP - Preliminar)
  99/08/10 -- wait99 <wait99@sol.info.unlp.edu.ar>
• TCS2000, call for papers
  99/08/12 -- HAGIYA Masami <hagiya@is.s.u-tokyo.ac.jp>
• CADE-17 Preliminary Call For Papers
  99/08/12 -- David McAllester <dmac@research.att.com>
• JMLC2000: Call for Papers
  99/08/16 -- jmlc@inf.ethz.ch
• Remember: CSL'99
  99/08/17 -- csl99org@eucmos.sim.ucm.es
• Haskell99 Call for Participation
  99/08/17 -- "Erik Meijer" <erik@cse.ogi.edu>
• CHARME'99 Early Registration Deadline is tomorrow!
  99/08/17 -- Thomas Kropf <address erased upon request, 29 May 2002>
• FST&TCS'99
  99/08/18 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• CASES'99 Advance Program
  99/08/19 -- Bruce L Jacob <blj@po4.glue.umd.edu>
• Research Position (Univ. of Karlsruhe, Germany)
  99/08/20 -- Klaus Schneider <Klaus.Schneider@ira.uka.de>
• Extended Deadline for RTC-99 (Final CFP)
  99/08/21 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Call for Participation - FORTE/PSTV'99
  99/08/21 -- Samuel Chanson <chanson@cs.ust.hk>
• FCT'99 Call for Participation
  99/08/22 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
• <<UML>>'99: advance program, registration and hotel
  99/08/25 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• SERG Report Announcement
  99/08/25 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• Last CFP: STACS'2000
  99/08/27 -- Marc Tommasi <tommasi@univ-lille3.fr>
• HASE 99 Call for Participation and Advance Program
  99/08/27 -- "David B. Stewart" <dstewart@eng.umd.edu>
• 6thSPIN99 - Call for Participation
  99/08/29 -- Stefan Leue <sleue@fee.uwaterloo.ca>
• CfP Performance Tools (TOOLS 2000)
  99/08/30 -- Joost-Pieter Katoen <katoen@cs.utwente.nl>
• Sixth Barcelona Logic Meeting (1)
  99/08/30 -- "Josep M. Font" <font@mat.ub.es>
• PhD and Postdoc Positions in Software Technologu (Utrecht University)
  99/08/31 -- "Erik Meijer" <erik@cse.ogi.edu>
• PhD opportunity - Policy specification and design in Distributed Systems
  99/08/31 -- "J.Derrick" <J.Derrick@ukc.ac.uk>