AMAST Mail - June 1998

• Calculemus and Types 98: Call for Participation and Program
  98/06/02 -- Calculemus and Types 98 <calc@win.tue.nl>
• CFP COTIC98
  98/06/02 -- Frank de Boer <frankb@cs.uu.nl>
• TACAS '99 Call for papers
  98/06/04 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
• Postdoctoral Research Fellowship
  98/06/04 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• CONCUR'98: PROGRAMME and CALL for PARTICIPATION
  98/06/06 -- Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
• PAAM99 CFP
  98/06/06 -- info@pap.com
• Formal Underpinnings of Java
  98/06/07 -- Susan Eisenbach <se@doc.ic.ac.uk>
• fmoods '99 cfp
  98/06/10 -- Mario Bravetti <bravetti@cs.unibo.it>
• AMAST'98 Last Call for Papers
  98/06/10 -- Marcelo Frias <mfrias@inf.puc-rio.br>
• FM'99: World Congress on Formal Methods, Toulouse, 20-24 Sept.1999
  98/06/11 -- Dines Bjorner <db@it.dtu.dk>
• ETAPS'99
  98/06/11 -- Simone Panka <Simone.Panka@cwi.nl>
• No Subject
  98/06/11 -- Kaisa Sere IB <kaisa@ra.abo.fi>
• Chair in computer science at Birmingham University
  98/06/15 -- A.Sloman@cs.bham.ac.uk
• WD4: Extended Deadline
  98/06/15 -- 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
• No Subject
  98/06/15 -- Francesca Levi <flevi@sophia.inria.fr>
• Research Posts Available in Glasgow
  98/06/17 -- "Dr. Muffy Thomas, Dept. of Computing Science, University of Glasgow" <muffy@dcs.gla.ac.uk>
• MONA: WS1S and WS2S decision procedure
  98/06/19 -- Anders Moller <amoeller@daimi.aau.dk>
• Academic Positions - CS Dept - Univ of Cyprus
  98/06/24 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• PAPM'98 Accepted Papers
  98/06/25 -- Corrado Priami <priami@sci.univr.it>
• PADD99 CFP
  98/06/27 -- info@pap.com
• Lectureship in Theoretical Computer Science
  98/06/29 -- Matthew Hennessy <matthewh@cogs.susx.ac.uk>
• AFP 2nd Call
  98/06/29 -- lsb@di.uminho.pt (Luis Soares Barbosa)