AMAST Mail - December 1997

• WoLLIC'98 - 1st Call
  97/12/01 -- Ruy de Queiroz <ruy@di.ufpe.br>
• Formal Methods in Systems Design --- Call for Submissions
  97/12/01 -- emc+@emc.cs.cmu.edu
• 13th WADT
  97/12/02 -- Jose Luiz Fiadeiro <llf@di.fc.ul.pt>
• Conf. Prog.: CSMR98+REF98: Maintenance & Reengineering in Florence
  97/12/02 -- csmr98@DSI.UNIFI.IT
• No Subject
  97/12/04 -- Davide.Sangiorgi@sophia.inria.fr
• IRW/FMP'98 2nd Call For Papers
  97/12/10 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• CAV'98 Last Call for Papers
  97/12/15 -- Alan Hu <ajh@cs.ubc.ca>
• PAPM '98 CfP
  97/12/15 -- Corrado Priami <priami@sci.univr.it>
• CFP -- Coordination Technologies for Information Systems (CTIS'98)
  97/12/15 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• CFP: Electronic Commerce on the Internet
  97/12/16 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• TOOLS'98 1st CFP
  97/12/17 -- Yassine Lakhneche <yl@informatik.uni-kiel.de>
• ICALP '98: Call for Papers (reminder)
  97/12/19 -- Uffe Henrik Engberg <engberg@brics.dk>
• ICALP '98: Announcement of Sattellite Events
  97/12/19 -- Uffe Henrik Engberg <engberg@brics.dk>
• Call for papers SAS'98 and PLILP/ALP'98 (LaTeX)
  97/12/23 -- Giorgio Levi <levi@DI.Unipi.IT>
• Call for papers SAS'98 and PLILP/ALP'98 (text)
  97/12/23 -- Giorgio Levi <levi@DI.Unipi.IT>
• MFPS 14
  97/12/29 -- Michael Mislove <mwm@math.tulane.edu>