AMAST Mail - June 1998
Last updated: Tue Jul 21 22:17:52 98
22 messages in chronological order
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)
[
May 1998
|
July 1998
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1998
|
AMAST
]
Mail converted by
MHonArc
1.2.3