AMAST Mail - July 1998
Last updated: Mon Aug 10 15:26:26 98
40 messages in chronological order
POPL'99 Final Call for Papers
98/07/02 -- Alex Aiken <aiken@cs.berkeley.edu>
PAPM98 - Preliminary Programme
98/07/02 -- Corrado Priami <priami@sci.univr.it>
IRW/FMP'98 Call For Participation
98/07/05 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
research studentships at Oxford
98/07/06 -- "Oege de Moor" <Oege.de.Moor@comlab.ox.ac.uk>
Call for Papers: PADL'99
98/07/07 -- Logic Programming Rsrch Association <complog@cs.nmsu.edu>
ARTS'99 on AMAST web-site
98/07/07 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
INAP98 Program Preview and last CFP
98/07/08 -- oskar@pikas.inf.tu-dresden.de
Lectureship in Birmingham
98/07/08 -- Achim Jung <axj@cs.bham.ac.uk>
CSL'99 First Call for Papers (Text and LaTex Versions)
98/07/08 -- Eva Ullan <evah@eucmax.sim.ucm.es>
RA-position in Birmingham
98/07/09 -- Eike Ritter <E.Ritter@cs.bham.ac.uk>
Kanellakis Award
98/07/10 -- Moshe Vardi <vardi@cs.rice.edu>
PLILP/ALP and SAS 98 Registration
98/07/10 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
TR: Trust and Partial Typing in Open Systems of Mobile Agents
98/07/13 -- James Riely <jamesri@cogs.susx.ac.uk>
SAS and PLILP/ALP 98 Call for Participation
98/07/14 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
Last CFP: ACM SAC'99 - Track on Coordination
98/07/16 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
TABLEAUX'99
98/07/16 -- Neil Murray <nvm@cs.albany.edu>
IRW/FMP'98 Call For Work in Progress Papers
98/07/17 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
Functional Verification Job Opportunity
98/07/18 -- kukula@synopsys.com
PA JAVA99 - Call for Papers
98/07/18 -- info@pap.com
WRLA'98 Call for Participation
98/07/21 -- Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
java Workshop Reminder
98/07/21 -- Susan Eisenbach <se@doc.ic.ac.uk>
AI-ED99 Le-Mans France
98/07/22 -- Jacques Bonet <jhbonet@club-internet.fr>
FM'99 World Congress on Formal methods, 20-24 Sept. 1999, Toulouse, France
98/07/22 -- Dines Bjorner <db@it.dtu.dk>
PACLP99 CFP
98/07/22 -- info@pap.com
COONCUR'98 Last Call for Participation
98/07/23 -- Robert Desimone <Robert.De_Simone@sophia.inria.fr>
Call for Submission CMCS '99
98/07/23 -- Simone Panka <Simone.Panka@cwi.nl>
Reminder: DCCA deadline approaching
98/07/24 -- John Rushby <rushby@csl.sri.com>
Graph Drawing '98 program and late registration
98/07/24 -- "Prof. Sue WHITESIDES" <sue@CS.McGill.CA>
FM'99: World Congress on Formal Methods,20-24 Sept.1999, Toulouse, France
98/07/24 -- Dines Bjorner <db@it.dtu.dk>
ICEIS 99 Call for Papers
98/07/25 -- "=?iso-8859-1?Q?Jos=E9_M._L._Braz_Pereira?=" <j.braz@mail.EUnet.pt>
PAKeM99 CFP
98/07/25 -- info@pap.com
Visiting Position
98/07/25 -- Klaus Keimel <keimel@mathematik.tu-darmstadt.de>
PADL 99
98/07/27 -- Logic Programming Rsrch Association <complog@cs.nmsu.edu>
CALL FOR PARTICIPATION: COCL'98
98/07/27 -- P M Hill <hill@scs.leeds.ac.uk>
Postdoctoral Position
98/07/29 -- Sofiene Tahar <tahar@ece.concordia.ca>
Kanellakis Award
98/07/29 -- Moshe Vardi <vardi@cs.rice.edu>
postdoctoral position at Oxford
98/07/29 -- "Oege de Moor" <Oege.de.Moor@comlab.ox.ac.uk>
14th WADT - Please pre-register !
98/07/29 -- Christine.Choppy@irin.univ-nantes.fr (Christine Choppy)
Lectureships at Queen Mary and Westfield
98/07/30 -- Edmund Robinson <edmundr@dcs.qmw.ac.uk>
School on Computational Aspects and Applications of Hybrid Systems
98/07/31 -- Sergio Yovine <sergio@PATH.Berkeley.EDU>
[
June 1998
|
August 1998
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1998
|
AMAST
]
Mail converted by
MHonArc
1.2.3