AMAST Mail - March 1997

• Book on semantics of computation
  97/03/02 -- Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
• Lipari 97
  97/03/03 -- LIPARI SCHOOL <SCHOOL@dipmat.unict.it>
• ARTS'97: Call For Participation and Forms.
  97/03/05 -- General Systems Development <gsystems@compuserve.com>
• Announcement of Positions for Postgraduate Studies
  97/03/07 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• Accepted papers for CAV '97
  97/03/09 -- cav97@csa.CS.Technion.AC.IL
• Vacancy in telematics!
  97/03/11 -- "Estherella Carstens" <E.Carstens@trc.nl>
• Annoucement
  97/03/12 -- "ramon jansana" <jansana@cerber.mat.ub.es>
• 3rd Int. Workshop on Thermal investigations of ICs and Microstructures
  97/03/14 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• Preliminary CFP -- ACM SAC'98: Track on Coordination
  97/03/17 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• ESSLLI'97: Student Grants
  97/03/17 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• BRICS International PhD School: Call for Applications
  97/03/18 -- Uffe Henrik Engberg <engberg@brics.dk>
• CAV'97 - registration forms
  97/03/18 -- cav97@csa.CS.Technion.AC.IL
• PRACTICAL APPLICATION EXPO97
  97/03/20 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• Formal Grammar
  97/03/21 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• No Subject
  97/03/24 -- snummila@abo.fi (Sirpa Nummila)
• Announcement of BRICS PhD School
  97/03/25 -- janne@daimi.aau.dk (Janne Christensen)
• TapSoft'97:Last Call For Participation
  97/03/25 -- Marc.Tommasi@lifl.fr
• Position in Munich, Germany
  97/03/27 -- Thorsten Altenkirch <alti@informatik.uni-muenchen.de>