AMAST Mail - April 1998
Last updated: Fri May 01 18:04:34 98
20 messages in chronological order
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>
[
March 1998
|
May 1998
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1998
|
AMAST
]
Mail converted by
MHonArc
1.2.3