AMAST Mail - December 1997
Last updated: Sun Jan 11 18:09:43 98
16 messages in chronological order
WoLLIC'98 - 1st Call
97/12/01 -- Ruy de Queiroz <ruy@di.ufpe.br>
Formal Methods in Systems Design --- Call for Submissions
97/12/01 -- emc+@emc.cs.cmu.edu
13th WADT
97/12/02 -- Jose Luiz Fiadeiro <llf@di.fc.ul.pt>
Conf. Prog.: CSMR98+REF98: Maintenance & Reengineering in Florence
97/12/02 -- csmr98@DSI.UNIFI.IT
No Subject
97/12/04 -- Davide.Sangiorgi@sophia.inria.fr
IRW/FMP'98 2nd Call For Papers
97/12/10 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
CAV'98 Last Call for Papers
97/12/15 -- Alan Hu <ajh@cs.ubc.ca>
PAPM '98 CfP
97/12/15 -- Corrado Priami <priami@sci.univr.it>
CFP -- Coordination Technologies for Information Systems (CTIS'98)
97/12/15 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
CFP: Electronic Commerce on the Internet
97/12/16 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
TOOLS'98 1st CFP
97/12/17 -- Yassine Lakhneche <yl@informatik.uni-kiel.de>
ICALP '98: Call for Papers (reminder)
97/12/19 -- Uffe Henrik Engberg <engberg@brics.dk>
ICALP '98: Announcement of Sattellite Events
97/12/19 -- Uffe Henrik Engberg <engberg@brics.dk>
Call for papers SAS'98 and PLILP/ALP'98 (LaTeX)
97/12/23 -- Giorgio Levi <levi@DI.Unipi.IT>
Call for papers SAS'98 and PLILP/ALP'98 (text)
97/12/23 -- Giorgio Levi <levi@DI.Unipi.IT>
MFPS 14
97/12/29 -- Michael Mislove <mwm@math.tulane.edu>
[
November 1997
|
January 1998
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1997
|
AMAST
]
Mail converted by
MHonArc
1.2.3