AMAST Mail - July 1998

• 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>