AMAST Mail - April 1998

• WoLLIC'98 - Extended Deadline
  98/04/01 -- Ruy de Queiroz <ruy@di.ufpe.br>
• SAS'98 extended deadline
  98/04/08 -- Giorgio Levi <levi@DI.Unipi.IT>
• COCL'98 second call for papers
  98/04/09 -- P M Hill <hill@scs.leeds.ac.uk>
• RealComp'98 - Call for Participation
  98/04/10 -- Philipp Sunderhauf <ps15@doc.ic.ac.uk>
• STTT'98 - Int. Workshop on Software Tools for Technology Transfer
  98/04/15 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
• Reminder LOFT3 conference
  98/04/15 -- Giacomo Bonanno <gfbonanno@ucdavis.edu>
• PROCOMET '98---Call for participation
  98/04/15 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
• COCL'98 2nd call for papers
  98/04/16 -- P M Hill <hill@scs.leeds.ac.uk>
• CFP INAP98
  98/04/17 -- Oskar Bartenstein <oskar@IFComputer.co.jp>
• CAV'98 Advance Program
  98/04/19 -- Alan Hu <ajh@cs.ubc.ca>
• FSTTCS 98, Second Call for Papers (ASCII)
  98/04/20 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• Workshop on ``Verification, model checking....''
  98/04/21 -- Francesca Levi <levifran@DI.Unipi.IT>
• COTIC98
  98/04/22 -- Frank de Boer <frankb@cs.ruu.nl>
• PA EXPO98 Report
  98/04/22 -- info@pap.com
• CFP: Tool Support for System Specification, Development and Verification
  98/04/24 -- Tool Support 1998 <tools98@informatik.uni-kiel.de>
• Final CFP: CALCULEMUS AND TYPES 98
  98/04/24 -- Calculemus and Types 98 <calc@win.tue.nl>
• Prolamat 98: Call for participation and Program
  98/04/24 -- Prolamat 1998 <prolamat_owner@lii.unitn.it>
• (latex) ARTS'99 Preliminary Call for Papers
  98/04/29 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• Second Call for Papers
  98/04/30 -- 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
• Academic Positions - CS Dept - Univ of Cyprus
  98/04/30 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>