AMAST Mail - June 1997

• PA EXPO 97 Report
  97/06/06 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• VII WCCEE : 7th WORLD CONFERENCE ON CONTINUING ENGINEERING EDUCATION
  97/06/06 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• Logic and Algorithms - One Year Later
  97/06/09 -- Moshe Vardi <vardi@cs.rice.edu>
• PA EXPO97 Report
  97/06/10 -- info@pap.com
• Workshop on Design and Formal Verification of Security Protocols
  97/06/10 -- "Hilarie K. Orman" <ho@darpa.mil>
• DIMACS Special Year on Network, Workshop on Design and Formal Verification of Security Protocols, September 3-5, 1997, Rutgers University
  97/06/10 -- Barbara Quigley <bquigley@iyar.rutgers.edu>
• DIMACS Workshop Special Year on Logic and Algorithms - One Year Later, Call for Participation and Tentative Program, July 23-25, 1997
  97/06/10 -- Barbara Quigley <bquigley@iyar.rutgers.edu>
• POST-DOC IN SOFTWARE ENGINEERING
  97/06/10 -- sleue@swen.uwaterloo.ca (Stefan Leue)
• AMAST 97 - CFD : for mailing list
  97/06/12 -- Richard Buckland <richardb@mpce.mq.edu.au>
• FMOODS97 Final Call For Participation
  97/06/13 -- fmoods97 <fmoods97@ukc.ac.uk>
• Topology in Computer Science email forum
  97/06/17 -- Philipp Sunderhauf <P.Sunderhauf@doc.ic.ac.uk>
• Call for participants - TPHOLs97
  97/06/19 -- cav97@csa.CS.Technion.AC.IL
• Call for Papers: Hybrid Systems 98
  97/06/20 -- tah@eecs.berkeley.edu (Tom Henzinger)
• CSL'97: Programme and Call for Participation
  97/06/20 -- Uffe Henrik Engberg <engberg@brics.dk>
• Chair, University of South Australia
  97/06/23 -- Chris.Steketee@cis.unisa.edu.au (Chris Steketee)
• INAP 97 CFP
  97/06/24 -- IF Computer Japan Limited <ifcj@IFComputer.co.jp>
• REMINDER: MATHFIT Summer School and Workshop
  97/06/25 -- M.Z.Kwiatkowska@cs.bham.ac.uk