AMAST Mail - May 1997

• 4th WoLLIC'97 - third call
  97/05/01 -- ruy@di.ufpe.br
• cfp: Mathematics of Program Construction '98
  97/05/06 -- Johan Jeuring <johanj@cs.chalmers.se>
• 1st Call for Participation: COORDINATION'97
  97/05/06 -- Robert Tolksdorf <tolk@cs.tu-berlin.de>
• JOB ANNOUNCEMENT -- CS DEPT -- UNIV OF CYPRUS
  97/05/09 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• ESSLLI97 Call for papers
  97/05/12 -- "Ecole d'ete" <esslli97@lipn.univ-paris13.fr>
• JBOPAD
  97/05/13 -- Alain GRIFFAULT <Alain.Griffault@labri.u-bordeaux.fr>
• ETW'97: Advance Program and Registration information
  97/05/13 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• ICALP'97
  97/05/15 -- gorrieri@CS.UniBO.IT (Roberto Gorrieri)
• CFPs: 2nd Euromicro Work.Conf. on Soft.Maint. & Reeng., Florence
  97/05/16 -- csmr98@aguirre.ing.UNIFI.IT
• CAV'97 Program - Early Registration Reminder
  97/05/18 -- cav97@csa.CS.Technion.AC.IL
• ECSQARU/FAPR'97
  97/05/20 -- Andreas Nonnengart <nonnenga@mpi-sb.mpg.de>
• Last Call
  97/05/21 -- ruy@di.ufpe.br
• TECS workshop Call for paper
  97/05/23 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• IOLTW'97: Advance Program and Registration
  97/05/23 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• fwd: ANNOUNCING: Xy-pic version 3.4 released!
  97/05/23 -- scollo@cs.utwente.nl (Pippo Scollo)
• 9th Nordic Workshop on Programming Theory
  97/05/23 -- Marko Kaaramees <marko@ioc.ee>
• ESSLLI97 : workshop - crash courses
  97/05/23 -- "Ecole d'ete" <esslli97@lipn.univ-paris13.fr>
• Tutorial on Formal Verification Tools and Methods
  97/05/27 -- cav97@csa.CS.Technion.AC.IL
• fwd: ANNOUNCING: Xy-pic version 3.5 released!
  97/05/30 -- scollo@cs.utwente.nl (Pippo Scollo)