AMAST Mail - November 1998
Last updated: Fri Dec 04 19:49:08 98
19 messages in chronological order
CRL Report Announcement
98/11/03 -- burns@raid.cas.mcmaster.ca (Doris Burns)
FLOPS'99 Call for Papers
98/11/04 -- Aart Middeldorp <ami@is.tsukuba.ac.jp>
PAKeM99 Final CFP
98/11/04 -- info@pap.com
AMAST'98 - Call for Participation
98/11/04 -- Daniela Cardoso <daniela@inf.puc-rio.br>
Submission deadline
98/11/04 -- mfps account <mfps@math.tulane.edu>
Announcement
98/11/05 -- "ramon jansana" <jansana@mat.ub.es>
AMAST'98 Tentative Program for Accompanying persons
98/11/11 -- Armando Haeberer <armando@inf.puc-rio.br>
PAAM99 Call for Papers
98/11/11 -- practical-applications@pap.com
FMOODS99 Preliminary programme
98/11/14 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
(fwd) TWLT 14: Language Technology in Multimedia Information Retrieval
98/11/14 -- scollo@cs.utwente.nl (Pippo Scollo)
(fwd) Info. on visa requirement for Brazil
98/11/14 -- scollo@cs.utwente.nl (Pippo Scollo)
CFP: CAV'99
98/11/18 -- Cav99 <cav99@glandasse.imag.fr>
Special Seminar: Reactive Systems
98/11/18 -- Oded Maler <Oded.Maler@imag.fr>
CfParticipation: FMDS'98
98/11/19 -- Colin Fidge <cjf@it.uq.edu.au>
ERCIM Fellowship Programme - Formal methods in embedded systems
98/11/20 -- Axel Poigne <poigne@gmd.de>
Professorship in Programming Theory, University of Bergen
98/11/20 -- magne@ii.uib.no (Magne Haveraaen local)
BRICS Int. PhD School: Call for Admission and Grant Applications
98/11/20 -- Uffe Henrik Engberg <engberg@brics.dk>
Open positions: Scientific Assistantships in Formal Methods
98/11/24 -- Bernhard Beckert <beckert@ira.uka.de>
GETGRATS grants: Call for Applications
98/11/27 -- Andrea Corradini <andrea@di.unipi.it>
[
October 1998
|
December 1998
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1998
|
AMAST
]
Mail converted by
MHonArc
1.2.3