AMAST Mail - September 1996

• PADD'97
  96/09/02 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• PAAM'97
  96/09/02 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• TapSoft'97 : 2nd Call For Paper
  96/09/02 -- Marc.Tommasi@lifl.fr
• KONVENS 96: ERINNERUNG (Erm"a"sigung bis 5. September)
  96/09/04 -- "Konvens" <konvens@spectrum.uni-bielefeld.de>
• LICS'97 Call for Papers
  96/09/04 -- libkin@research.bell-labs.com
• Intern. Workshop on Hybrid and Real-Time Systems
  96/09/09 -- Ahmed Bouajjani <Ahmed.Bouajjani@imag.fr>
• FMCAD'96: Conference Program (Early-registration-deadline: Sept 15, 1996)
  96/09/10 -- srivas <srivas@csl.sri.com>
• Book Announcement "Partial Evaluation"
  96/09/11 -- glueck@diku.dk (Robert Glueck)
• CAV'97 call for papers
  96/09/12 -- orna Grumberg <orna@csa.CS.Technion.AC.IL>
• CAVE WORKSHOP DEC 96
  96/09/25 -- "Herman Beke" <Herman_Beke@eurogw1.mentorg.com>
• Announcement: School on Embedded Systems, Nov. 25-29 1996
  96/09/25 -- Herman Geuvers <herman@win.tue.nl>
• MFPS 13 Call for Papers
  96/09/26 -- Michael Mislove <mwm@math.tulane.edu>