AMAST Mail - April 1997

• ETAPS'98 - CALL FOR SUBMISSIONS
  97/04/02 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
• Lectureships
  97/04/02 -- "Matthew Hennessy" <matthewh@cogs.susx.ac.uk>
• 15th IEEE VLSI TEST SYMPOSIUM (VTS 97): TECHNICAL PROGRAM & REGISTRATION FORMS
  97/04/02 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• TapSoft'97:Last Call For Participation
  97/04/03 -- Michael Hollander <mijklh@accessone.com>
• ESSLLI97
  97/04/07 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• PAAM97
  97/04/07 -- info@pap.com
• CSL'97 Deadline Approaching Fast
  97/04/08 -- Uffe Henrik Engberg <engberg@brics.dk>
• SAS'97 (Extended Deadline)
  97/04/08 -- Pascal Van Hentenryck <pvh@cs.brown.edu>
• ESSLLI'97: Best Student Paper Prize
  97/04/10 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• Express97: 2nd CfP (text and LaTeX)
  97/04/11 -- catuscia@disi.unige.it (Catuscia Palamidessi)
• Submission Deadline is extended to April 21, 1997 (FORTE/PSTV'97)
  97/04/14 -- higashino@ics.es.osaka-u.ac.jp (Teruo Higashino)
• ETW'97: Advance Program and Registration information
  97/04/15 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• ESSLLI97 : symposium call for papers
  97/04/15 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• CAV'97 Final program
  97/04/17 -- cav97@csa.CS.Technion.AC.IL
• ICALP'97 - preliminary programme
  97/04/18 -- busi@CS.UniBO.IT (Nadia Busi)
• ICALP'97 - information for participants
  97/04/18 -- busi@CS.UniBO.IT (Nadia Busi)
• FMOODS97 extended deadline CFP
  97/04/19 -- ocf <O.C.Fernandes@ukc.ac.uk>
• ESSLLI 97 : Student session
  97/04/21 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• (latex) 4th Barcelona Logic Meeting
  97/04/26 -- scollo@cs.utwente.nl (Pippo Scollo)
• AIN'97: Final Program and Registration Information
  97/04/27 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• AMAST'97 cfp (text version)
  97/04/27 -- Michael Johnson <mike@macadam.mpce.mq.edu.au>
• AIN'97: Final Program and Registration Information
  97/04/28 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• IC-EATCS Annual Advanced School
  97/04/28 -- catuscia@disi.unige.it (Catuscia Palamidessi)
• No Subject
  97/04/28 -- Egon Boerger <boerger@DI.Unipi.IT>
• ESSLLI97 : FORMAL GRAMMAR
  97/04/29 -- "Ecole d'ete" <esslli97@ura1507.univ-paris13.fr>
• ICALP'97 - preliminary programme
  97/04/29 -- busi@CS.UniBO.IT (Nadia Busi)
• ICALP'97 - information for participants
  97/04/29 -- busi@CS.UniBO.IT (Nadia Busi)
• Announcement of Technical Report
  97/04/29 -- sleue@swen.uwaterloo.ca (Stefan Leue)