AMAST Mail 1998

• ETAPS'98 - Call for participation
  98/01/07 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
• INFINITY '98: Call for Papers (reminder)
  98/01/08 -- Javier Esparza <esparza@informatik.tu-muenchen.de>
• TOOLS USA'98: Conference Announcement and Preliminary Call for Papers
  98/01/08 -- Yossi Gil <yogi@cs.technion.ac.il>
• Conf. Prog.: CSMR98+REF98: Maintenance & Reengineering in Florence
  98/01/12 -- csmr98@dsi.UNIFI.IT
• CFP for MFCS
  98/01/13 -- Irene.Guessarian@liafa.jussieu.fr (Irene GUESSARIAN)
• (fwd:) Mathesius Lecture Series 12
  98/01/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• Int. Workshop COCL'98 - first call for papers
  98/01/15 -- P M Hill <hill@scs.leeds.ac.uk>
• Master Class in Mathematical Logic
  98/01/19 -- Jaap van Oosten <jvoosten@math.ruu.nl>
• First Announcement
  98/01/19 -- 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
• 5th WoLLIC'98 - 2nd Call
  98/01/20 -- Ruy de Queiroz <ruy@di.ufpe.br>
• (fwd:) Federated Logic Conference (FLoC'99)
  98/01/21 -- scollo@cs.utwente.nl (Pippo Scollo)
• IRW/FMP'98&TPHOLs'98:Travel Bursaries and Other Announcements
  98/01/27 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• Call For Papers -- IEEE Real-Time Systems Symposium 1998
  98/01/29 -- Richard Gerber <rich@cs.umd.edu>
• PROBMIV'98: 2nd CFP
  98/01/30 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• Call for Papers: FORTE/PSTV'98
  98/01/30 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
• PA EXPO98
  98/02/04 -- info@pap.com
• Doc and Post-doc positions - Verimag, Grenoble
  98/02/05 -- Oded Maler <Oded.Maler@imag.fr>
• Hybrid Systems 98
  98/02/09 -- tah@eecs.berkeley.edu (Tom Henzinger)
• Federated Logic Conference (FLoC'99)
  98/02/11 -- Leonid Libkin <libkin@research.bell-labs.com>
• FLoC'99: CALL FOR WORKSHOP PROPOSALS
  98/02/11 -- Leonid Libkin <libkin@research.bell-labs.com>
• Topological Methods in Computer Science
  98/02/12 -- Bob Flagg <flagg@usm.maine.edu>
• ETAPS'98 - early registration until 28/2
  98/02/19 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
• CFP -- Coordination Technologies for Information Systems (CTIS'98)
  98/02/20 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• Call for Papers: Formal Methods in CAD (FMCAD'98)
  98/02/21 -- ganesh@facility.cs.utah.edu
• ACoS'98/VISUAL'98 - early registration until 28/2
  98/02/21 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
• MFPS 14 Second Announcement
  98/02/22 -- Michael Mislove <mwm@math.tulane.edu>
• CFP: ISLIP'98
  98/02/23 -- Mehmet ORGUN <mehmet@mpce.mq.edu.au>
• CONCUR98: final CFP (EXTENDED deadline)
  98/02/26 -- Davide.Sangiorgi@sophia.inria.fr
• CFP - Computer Communications Special issue on FDTs in Practice
  98/03/02 -- Dr Richard Lai <lai@ubd.edu.bn>
• FSTTCS 98, 1st Call for Papers
  98/03/02 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• CFP: Sixth CALCULEMUS and TYPES Workshop
  98/03/06 -- Calculemus and Types 98 <calc@win.tue.nl>
• PROBMIV'98: Final CFP
  98/03/06 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• (fwd) ANNOUNCING: Xy-pic version 3.6 released!
  98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
• (fwd) Two Assistant Professor positions at IT Dept. of DTU, Lyngby, Denmark
  98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
• (fwd) 2nd CfP: *** FM-TRENDS 98 ***
  98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
• PA EXPO98-Final Call for Participation
  98/03/10 -- info@pap.com
• INFINITY'98: last call for papers
  98/03/10 -- Javier Esparza <esparza@informatik.tu-muenchen.de>
• SAS and PLILP/ALP 98, 2nd CFP
  98/03/11 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
• FORTE/PSTV'98 -- 2nd Call for Papers
  98/03/11 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
• 5th WoLLIC'98 - 3rd Call
  98/03/11 -- Ruy de Queiroz <ruy@di.ufpe.br>
• CFP - Special session in FORTE/PSTV'98
  98/03/11 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
• XIII SBMicro
  98/03/11 -- Ivan Jorge Chueiri <chueiri@lac.copel.br>
• Revised CFP TARK98
  98/03/13 -- Avi Pfeffer <avi@Robotics.Stanford.EDU>
• (fwd) 10th Int'l Lipari School: Distributed Systems and Security
  98/03/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) AMAST'98 FIRST CFP (Spread the news)
  98/03/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• CFP Graph Drawing '98
  98/03/16 -- Roberto Tamassia <rt@cs.brown.edu>
• 2nd CFP - IEEE Real-Time Systems Symposium 1998 (RTSS '98)
  98/03/16 -- Richard Gerber <rich@cs.umd.edu>
• Ann: School on Specification, Refinement, and Verification
  98/03/16 -- Johan.Lilius@abo.fi
• FLoC'99
  98/03/16 -- Alan Hu <ajh@cs.ubc.ca>
• PA EXPO98 Conference and Exhibition Details
  98/03/16 -- info@pap.com
• CSL-98 Call For Papers
  98/03/17 -- Computer Science Logic <csl@dbai.tuwien.ac.at>
• ICALP '98: List of Accepted Papers
  98/03/17 -- Uffe Henrik Engberg <engberg@brics.dk>
• (fwd) Having an influence on funding for basic research in Framework 5
  98/03/17 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Call for participation: MPC'98
  98/03/17 -- scollo@cs.utwente.nl (Pippo Scollo)
• CfP: Estelle'98 - Int. Workshop on the FDT Estelle
  98/03/17 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
• (fwd) AMAST'98 First CFP, Corrected Dates
  98/03/18 -- scollo@cs.utwente.nl (Pippo Scollo)
• WESIC'98 - Call for participation
  98/03/18 -- Joaquim Armengol Llobet <armengol@silver.udg.es>
• FMOODS '99: call for papers
  98/03/19 -- mascolo@CS.UniBO.IT (Cecilia Mascolo)
• 2nd CfP PAPM98
  98/03/20 -- Corrado Priami <priami@biotech.sci.univr.it>
• WRLA'98 CALL FOR PAPERS
  98/03/26 -- Helene Kirchner <Helene.Kirchner@loria.fr>
• Second Call for Participation TABLEAUX'98
  98/03/26 -- "H. de Swart" <H.C.M.deSwart@kub.nl>
• FV benchmarks - http://godel.ece.utexas.edu/texas97-benchmarks/
  98/03/26 -- Adnan Aziz <adnan@tarski.ece.utexas.edu>
• IRW/FMP'98 Final Call For Papers (Completed Work Category)
  98/03/27 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• IRW/FMP'98 Correction Final Call For Papers (Completed Work Category)
  98/03/30 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• 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>
• ARTS'99 Preliminary Call for Papers (plain text)
  98/05/01 -- scollo@cs.utwente.nl (Pippo Scollo)
• PROBMIV'98: Call for Participation
  98/05/01 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• CFP: ACM SAC'99 - Track on Coordination
  98/05/05 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• FSTTCS 98, Deadline Extended, Final Call for Papers (ASCII)
  98/05/06 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• PROCOMET'98 registration extended
  98/05/07 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
• ICALP'98: Call for Participation
  98/05/07 -- Uffe Henrik Engberg <engberg@brics.dk>
• RealComp'98: CFP and preliminary programme
  98/05/08 -- Philipp Suenderhauf <suenderh@dag.uni-sb.de>
• Reminders: FLoC'99 call for workshops and LICS'98 early registration
  98/05/08 -- Leonid Libkin <libkin@research.bell-labs.com>
• WRLA'98 last call
  98/05/10 -- Helene Kirchner <Helene.Kirchner@loria.fr>
• POPL99 Call for Papers
  98/05/11 -- Alex Aiken <aiken@cs.berkeley.edu>
• PAPM98 - Last Remainder
  98/05/11 -- Corrado Priami <priami@sci.univr.it>
• FEmSys'99 - First Announcement/Call for Exhibitors
  98/05/12 -- Axel Poigne <ap@borneo.gmd.de>
• Announce 3 AFP
  98/05/12 -- lsb@di.uminho.pt (Luis Soares Barbosa)
• CAV'98 Tutorials
  98/05/14 -- Alan Hu <ajh@cs.ubc.ca>
• CONCUR '98: ACCEPTED PAPERS (and general infos)
  98/05/20 -- Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
• School Announcement
  98/05/21 -- Sergio Yovine <sergio@PATH.Berkeley.EDU>
• COCL'98 Final Call for Papers
  98/05/22 -- P M Hill <hill@scs.leeds.ac.uk>
• Tool exhibition STTT'98 - Int. Workshop on Software Tools for Technology Transfer
  98/05/22 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
• ICALP'98: 2nd Call for Participation
  98/05/25 -- Uffe Henrik Engberg <engberg@brics.dk>
• FSTTCS 98, Final Reminder
  98/05/26 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• No Subject
  98/05/28 -- Francesca Levi <flevi@sophia.inria.fr>
• Design of Intelligent Multi-Agent Systems
  98/05/28 -- jonker@cs.vu.nl (CM Jonker)
• COCL'98 EXTENDED DEADLINE
  98/05/28 -- P M Hill <hill@scs.leeds.ac.uk>
• Preliminary Announcement and CFP: COORDINATION 99
  98/05/29 -- Farhad.Arbab@cwi.nl
• Semantics of Objects as Processes - SOAP (satellite of ICALP'98)
  98/05/29 -- Uwe Nestmann <uwe@cs.auc.dk>
• FM'99: World Congress on Formal Methods
  98/05/29 -- Dines Bjorner <db@it.dtu.dk>
• Last CFP: WS on Principles of Abstract Machines
  98/05/29 -- Stephan Diehl <diehl@cs.uni-sb.de>
• Guest Positions
  98/05/29 -- Steffen Hoelldobler <sh@star7.inf.tu-dresden.de>
• TARK VII - CALL FOR PARTICIPATION
  98/05/29 -- Avi Pfeffer <avi@Robotics.Stanford.EDU>
• Calculemus and Types 98: Call for Participation and Program
  98/06/02 -- Calculemus and Types 98 <calc@win.tue.nl>
• CFP COTIC98
  98/06/02 -- Frank de Boer <frankb@cs.uu.nl>
• TACAS '99 Call for papers
  98/06/04 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
• Postdoctoral Research Fellowship
  98/06/04 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• CONCUR'98: PROGRAMME and CALL for PARTICIPATION
  98/06/06 -- Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
• PAAM99 CFP
  98/06/06 -- info@pap.com
• Formal Underpinnings of Java
  98/06/07 -- Susan Eisenbach <se@doc.ic.ac.uk>
• fmoods '99 cfp
  98/06/10 -- Mario Bravetti <bravetti@cs.unibo.it>
• AMAST'98 Last Call for Papers
  98/06/10 -- Marcelo Frias <mfrias@inf.puc-rio.br>
• FM'99: World Congress on Formal Methods, Toulouse, 20-24 Sept.1999
  98/06/11 -- Dines Bjorner <db@it.dtu.dk>
• ETAPS'99
  98/06/11 -- Simone Panka <Simone.Panka@cwi.nl>
• No Subject
  98/06/11 -- Kaisa Sere IB <kaisa@ra.abo.fi>
• Chair in computer science at Birmingham University
  98/06/15 -- A.Sloman@cs.bham.ac.uk
• WD4: Extended Deadline
  98/06/15 -- 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
• No Subject
  98/06/15 -- Francesca Levi <flevi@sophia.inria.fr>
• Research Posts Available in Glasgow
  98/06/17 -- "Dr. Muffy Thomas, Dept. of Computing Science, University of Glasgow" <muffy@dcs.gla.ac.uk>
• MONA: WS1S and WS2S decision procedure
  98/06/19 -- Anders Moller <amoeller@daimi.aau.dk>
• Academic Positions - CS Dept - Univ of Cyprus
  98/06/24 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• PAPM'98 Accepted Papers
  98/06/25 -- Corrado Priami <priami@sci.univr.it>
• PADD99 CFP
  98/06/27 -- info@pap.com
• Lectureship in Theoretical Computer Science
  98/06/29 -- Matthew Hennessy <matthewh@cogs.susx.ac.uk>
• AFP 2nd Call
  98/06/29 -- lsb@di.uminho.pt (Luis Soares Barbosa)
• 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>
• OW London `98
  98/08/03 -- Roberto Zicari <zicari@ltt.de>
• FSTTCS 98, List of Accepted Papers
  98/08/04 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• NWPT'98: Call for Abstracts
  98/08/04 -- Kaisa Sere IB <kaisa@ra.abo.fi>
• COTIC 98, Call for Participation
  98/08/04 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
• FMCAD '98 ANNOUNCEMENT
  98/08/08 -- "Jacqueline Brakey" <jbrakey@admin.dce.utah.edu>
• Last call for participation: WRLA'98
  98/08/10 -- Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
• 1999 AAAI Symposium on Hybrid Systems and AI
  98/08/15 -- Howard Wong-Toi <howard@Cadence.COM>
• IRW/FMP'98 Early Registration Closing
  98/08/17 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• TACAS 99 Call for Papers
  98/08/18 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
• MFPS Call for Papers
  98/08/18 -- Michael Mislove <mwm@math.tulane.edu>
• ICFEM'98 Call for Tutorials and Preliminary Programme
  98/08/19 -- Colin Fidge <cjf@it.uq.edu.au>
• Call for papers
  98/08/21 -- Simone Panka <Simone.Panka@cwi.nl>
• Research Associate Post: Hardware Verification
  98/08/21 -- Alan Williams <alanw@cs.man.ac.uk>
• RTSS '98 - Call for Participation
  98/08/24 -- rich@cs.umd.edu (Richard Gerber)
• conference announcement
  98/08/25 -- "Alexandre Zamulin" <zam@iis.nsk.su>
• Call for Papers -- ARTS'99
  98/08/26 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• 14th WADT - Please pre-register !
  98/08/28 -- Christine.Choppy@irin.univ-nantes.fr (Christine Choppy)
• LPNMR'99 Call for Papers
  98/09/02 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
• Re: STACS'99: Call for Papers
  98/09/03 -- <Sophie.Tison@lifl.fr>
• PAPM'99 -- Preliminary call for papers
  98/09/03 -- Jane Hillston <jeh@dcs.ed.ac.uk>
• Final call for participation for COCL98
  98/09/03 -- P M Hill <hill@scs.leeds.ac.uk>
• 14th WADT - Please pre-register !
  98/09/03 -- Christine.Choppy@irin.univ-nantes.fr (Christine Choppy)
• TACAS'99 - Call for Contributions
  98/09/06 -- Tiziana Margaria <tiziana@guiness.informatik.uni-dortmund.de>
• (fwd) Job Opportunity
  98/09/07 -- scollo@cs.utwente.nl (Pippo Scollo)
• PA Expo99
  98/09/09 -- info@pap.com
• "FEmSys99_SECOND_Announcement"
  98/09/09 -- Axel Poigne <ap@borneo.gmd.de>
• AMAST'98 Preliminary Call for Participation
  98/09/09 -- scollo@cs.utwente.nl (Pippo Scollo)
• Registration ICFEM'98 and Call for Papers FMDS'98
  98/09/11 -- Colin Fidge <cjf@it.uq.edu.au>
• Call for Participation: FM-TRENDS 98
  98/09/11 -- Dieter Hutter <hutter@dfki.de>
• CFP: CAV'99
  98/09/11 -- Cav99 <cav99@glandasse.imag.fr>
• PA Expo99
  98/09/12 -- info@pap.com
• LICS'99: Call for Papers (text & LaTeX)
  98/09/13 -- Leonid Libkin <libkin@research.bell-labs.com>
• Please Post
  98/09/15 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• Tools from Language Definitions (GTLD'99)
  98/09/15 -- Arie van Deursen <Arie.van.Deursen@cwi.nl>
• (fwd) CFP - Computer Communications Special Issue on FDTs in Practice
  98/09/15 -- scollo@cs.utwente.nl (Pippo Scollo)
• SGM: A New Verification Tool
  98/09/16 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• ARTS'99 -- Final Call for Papers
  98/09/16 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• CFP, CEC 99
  98/09/16 -- Bill Punch <punch@cse.msu.edu>
• CRL Report Announcement
  98/09/16 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• Remdinder ETAPS 99
  98/09/17 -- Simone Panka <Simone.Panka@cwi.nl>
• Book announcement
  98/09/17 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Applied Logic PhD
  98/09/17 -- scollo@cs.utwente.nl (Pippo Scollo)
• Announcing A Computing Research Repository
  98/09/17 -- Joseph Halpern <halpern@CS.Cornell.EDU>
• (fwd) Positions at Concordia
  98/09/18 -- scollo@cs.utwente.nl (Pippo Scollo)
• Ph.D. student places and grants available in TUCS
  98/09/18 -- Johan.Lilius@abo.fi
• Announcement: CEC99 Contests.
  98/09/22 -- "Dan Ashlock, 438 Carver, 294-7965" <danwell@iastate.edu>
• ICTCS98
  98/09/22 -- pirillo <pirillo@udini.math.unifi.it>
• FSTTCS 98, Call for Participation
  98/09/24 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• ICTCS98 addendum fellowships PhD students
  98/09/24 -- GIUSEPPE PIRILLO <PIRILLO@udini.math.unifi.it>
• Book: "Theorem Proving with the Real Numbers"
  98/09/25 -- John Harrison <John.Harrison@cl.cam.ac.uk>
• cfp: WAGA99
  98/09/25 -- Marjan Mernik <marjan.mernik@uni-mb.si>
• CSL'99 2nd CFP *deadlines modified* (Text & LaTex versions)
  98/09/25 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• FM CAD 98 UPDATE
  98/09/25 -- "Linda Williams" <lwilliams@admin.dce.utah.edu>
• (fwd) Call for Participation: FORTE/PSTV'98, Estelle'98, SPIN'98
  98/09/30 -- scollo@cs.utwente.nl (Pippo Scollo)
• FMCAD 98 UPDATE 9/30
  98/09/30 -- "Linda Williams" <lwilliams@admin.dce.utah.edu>
• SUPERVISOR/RESEARCH ENGINEER POSITION
  98/10/01 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• FMCAD Lodging Reservation phone/fax number change
  98/10/01 -- "Linda Williams" <lwilliams@admin.dce.utah.edu>
• postdoc funded by Microsoft
  98/10/02 -- Oege de Moor <oege@comlab.ox.ac.uk>
• IEEE RTSS'98 - Program, Registration Info, Related Events
  98/10/06 -- rich@cs.umd.edu (Richard Gerber)
• submission
  98/10/06 -- "Alice E. Smith" <aesmith@engrng.pitt.edu>
• ICSEA 98
  98/10/07 -- rault@cnam.fr (Jean-Claude RAULT)
• CFP2 for PSI'99
  98/10/08 -- "Alexandre Zamulin" <zam@iis.nsk.su>
• AMAST Mini-Track at FM'99
  98/10/12 -- Teodor Rus <rus@cs.uiowa.edu>
• (fwd) Call for Participation: FORTE/PSTV'98, Estelle'98, SPIN'98
  98/10/19 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Welcome [PAPM mailing list]
  98/10/19 -- scollo@cs.utwente.nl (Pippo Scollo)
• CfParticipation: ICFEM'98, Australia, December
  98/10/20 -- Colin Fidge <cjf@it.uq.edu.au>
• Lipari School 99 on "Computational Biology"
  98/10/20 -- "ferro alfredo" <ferro@dipmat.unict.it>
• International Masters Programme in Computational Logic
  98/10/20 -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• Two PhD Studentships in Logic and Theorem Proving
  98/10/20 -- Renate Schmidt <R.A.Schmidt@doc.mmu.ac.uk>
• Workshop Announcement & First Call for Papers
  98/10/21 -- pkuehnle@lili.uni-bielefeld.de
• Second call for submission/participation
  98/10/22 -- Simone Panka <Simone.Panka@cwi.nl>
• Faculty Positions
  98/10/26 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• LOPSTR'99: call-for-papers
  98/10/26 -- Annalisa Bossi <bossi@dsi.unive.it>
• 6th WoLLIC'99 - 2nd CFP
  98/10/27 -- Ruy de Queiroz <ruy@di.ufpe.br>
• PaCT-99 Conference
  98/10/28 -- PaCT-99 Conference <pact99@ssd2.sscc.ru>
• Research Positions at BRICS Research Centre and Int. PhD School
  98/10/29 -- Uffe Henrik Engberg <engberg@brics.dk>
• 9th SDL FORUM/ Call For Papers
  98/10/29 -- dssouli@IRO.UMontreal.CA (Rachida Dssouli)
• Extension deadline ARTS'99
  98/10/30 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• AI-ED99 news # 1 october 98 (Artificial intelligence and education conference in Le Mans France)
  98/10/30 -- "ai-ed99 Local Organising Commitee" <ai-ed99@lium.univ-lemans.fr>
• (fwd) SPIN98 Workshop -- final details
  98/10/30 -- scollo@cs.utwente.nl (Pippo Scollo)
• PACLP99 Final CFP
  98/10/31 -- info@pap.com
• 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>
• PAAM99 CFP and Conference Update
  98/12/01 -- practical-applications@pap.com
• FMOODS'99 - Grants and Early registration deadlines - REMINDER
  98/12/01 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
• IJCNN'99
  98/12/01 -- "Kitty Ko" <kittyko@commerce.otago.ac.nz>
• CF99
  98/12/01 -- "Kitty Ko" <kittyko@commerce.otago.ac.nz>
• "FEmSys99:_Final_Program"
  98/12/02 -- Axel Poigne <ap@borneo.gmd.de>
• Final Call for Submission CMCS '99
  98/12/02 -- Simone Panka <Simone.Panka@cwi.nl>
• Call for papers CONCUR'99
  98/12/03 -- sjouke@win.tue.nl (Sjouke Mauw)
• Call for Papers CHARME'99
  98/12/04 -- Laurence Pierre <laurence@gyptis.univ-mrs.fr>
• Positions in Programming Theory, University of Bergen
  98/12/09 -- magne@ii.uib.no (Magne Haveraaen local)
• ELAN
  98/12/09 -- Helene Kirchner <Helene.Kirchner@loria.fr>
• TACAS '99 Accepted Papers
  98/12/10 -- Rance Cleaveland <rance@cs.sunysb.edu>
• FCT'99 Announcement and Call For Papers
  98/12/10 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
• [CFP] UML'99
  98/12/11 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• AI-ED99 Le Mans France July 19-23
  98/12/11 -- "ai-ed99 Local Organising Commitee" <ai-ed99@lium.univ-lemans.fr>
• (fwd) PAPM'99
  98/12/12 -- scollo@cs.utwente.nl (Pippo Scollo)
• Reminder, CEC99 Deadline Jan 15, 1999
  98/12/14 -- Bill Punch <punch@cse.msu.edu>
• LOPSTR'99: call-for-papers
  98/12/14 -- Annalisa Bossi <bossi@dsi.unive.it>
• FCT'99 Announcement and Call For Papers
  98/12/14 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
• Research Associate Post, Manchester UK: Hardware Verification
  98/12/16 -- Alan Williams <alanw@cs.man.ac.uk>
• EuroPar 99 / Toulouse
  98/12/17 -- Gilles Motet <motet@dge.insa-tlse.fr>
• CFP - AGTIVE Workshop on Graph Transformation
  98/12/17 -- schuerr@hermes.informatik.unibw-muenchen.de (Andy Schuerr)
• LPNMR'99 Dec 2-4, 1999 (changed date!) CFP
  98/12/18 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
• CONCUR'99 CFP
  98/12/21 -- sjouke@win.tue.nl (Sjouke Mauw)
• WAIT99 - Preliminary Call for Papers
  98/12/21 -- Gabriel Baum <gbaum@sol.info.unlp.edu.ar>
• Book Announcement: Program Development by Refinement - Case Studies using B
  98/12/22 -- Emil Sekerinski <emil@mcmaster.ca>
• PA Expo99 Final Call for Papers
  98/12/31 -- practical-applications@pap.com