AMAST Mail 1997

• No Subject
  97/01/05 -- cav97@csa.CS.Technion.AC.IL
• SPIN97 Workshop
  97/01/07 -- Rom Langerak <langerak@cs.utwente.nl>
• BOOK ANNOUNCEMENT
  97/01/13 -- farnik@birkhauser.ch (Claudia Farnik)
• Call for Papers for FORTE/PSTV'97
  97/01/14 -- higashino@ics.es.osaka-u.ac.jp (Teruo Higashino)
• ANNOUNCEMENT OF ACADEMIC POSITIONS -- CS DEPT -- UNIV OF CYPRUS
  97/01/20 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• tacas97 call for participation
  97/01/21 -- nymeyer@cs.utwente.nl (Albert Nijmeijer)
• ITC'97: International Test Conference 1997 - Call for papers.
  97/01/22 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• Extended Deadline: CfP COORDINATION'97
  97/01/22 -- Robert Tolksdorf <tolk@cs.tu-berlin.de>
• FMOODS97 extended deadline CFP
  97/01/26 -- ocf <O.C.Fernandes@ukc.ac.uk>
• Joint Modular Languages Conference 1997
  97/01/29 -- Christoph Steindl <steindl@ssw.uni-linz.ac.at>
• HART'97 reminder
  97/01/30 -- Oded Maler <Oded.Maler@imag.fr>
• ARTS'97 Publicity
  97/01/31 -- Miquel Bertran <100140.2140@compuserve.com>
• Extended Deadline for AIN'97
  97/02/02 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• ASF+SDF'97 -- call for papers
  97/02/03 -- alex@fwi.uva.nl (alex M.P.A. Sellink)
• ESSLLI'97: Student Session (Call for Papers)
  97/02/03 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• PA EXPO97 UPDATE
  97/02/05 -- Steve Cartmell <steve@pap.com>
• [fm@csd.uu.se: Infinite State Systems school]
  97/02/06 -- Yassine Lakhnech <Yassine.Lakhnech@imag.fr>
• No Subject
  97/02/10 -- rds1@doc.ic.ac.uk (Richard David Sandiford)
• Call for papers CESA'98 (fwd)
  97/02/10 -- Wilfrid PERRUQUETTI <perruque@eclia2.ec-lille.fr>
• Journees ELISA'97 Nancy - Club EEA
  97/02/11 -- sibille@cran.u-nancy.fr (Patrick SIBILLE)
• ETW'97: IEEE European Test Workshop - Remind
  97/02/11 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• MFPS Program and Registration
  97/02/12 -- Mike Mislove <mwm@deloaks.tulane.edu>
• MiniConference....
  97/02/12 -- Bob Flagg <flagg@usm.maine.edu>
• MFPS XIII Program and Registration Information
  97/02/12 -- Michael Mislove <mwm@math.tulane.edu>
• TapSoft'97 : 2nd Call For Paper
  97/02/13 -- Marc.Tommasi@lifl.fr
• (ERRATA)TapSoft'97:Call For Participation
  97/02/14 -- Marc.Tommasi@lifl.fr
• AMAST news
  97/02/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• TABLEAUX'97 First Call for Participation
  97/02/17 -- Didier Galmiche <Didier.Galmiche@loria.fr>
• Pratical Application Conferences
  97/02/18 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• CSL '97 second announcement and call for papers
  97/02/18 -- Uffe Henrik Engberg <engberg@brics.dk>
• FEmSys 97 - final-program
  97/02/19 -- Axel Poigne <poigne@gmd.de>
• industrial applications of algebraic specifications
  97/02/19 -- scollo@cs.utwente.nl (Pippo Scollo)
• 3rd IEEE International On-Line Testing Workshop - Call for Participation
  97/02/20 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• Industrial projects using algebraic specifications
  97/02/20 -- Hubert.Garavel@imag.fr (Hubert Garavel)
• Re: industrial applications of algebraic specifications
  97/02/20 -- bwitz@cs.tu-berlin.de (Secr.Prof.Ehrig(Helga Barnewitz))
• industrial applications of AS
  97/02/20 -- Uwe Wolter <wolter@cs.tu-berlin.de>
• [dts@dcs.ed.ac.uk: the wow factor: request for contributions]
  97/02/20 -- Uwe Wolter <wolter@cs.tu-berlin.de>
• [dts@dcs.ed.ac.uk: The WOW factor]
  97/02/20 -- Uwe Wolter <wolter@cs.tu-berlin.de>
• cade14 workshop
  97/02/20 -- Helene Kirchner <Helene.Kirchner@loria.fr>
• HART'97 Call for Participation
  97/02/20 -- Oded Maler <Oded.Maler@imag.fr>
• FME applications database: new release
  97/02/21 -- Nico Plat <Nico.Plat@ACM.org>
• REMINDER - 12th WADT Workshop on Alg.Develop.Techn.
  97/02/21 -- wadt97@dsi.uniroma1.it (12th Workshop on Alg.Develop.Techn.)
• POST-DOC IN SOFTWARE ENGINEERING
  97/02/21 -- sleue@swen.uwaterloo.ca (Stefan Leue)
• CFP: Hawaii Intl Conf on System Sciences - ECCS Minitrack
  97/02/21 -- Massimo Bertozzi <bertozzi@CE.UniPR.IT>
• Re: industrial applications of algebraic specifications
  97/02/22 -- scollo@cs.utwente.nl (Pippo Scollo)
• FEmSys 97 -final -program
  97/02/25 -- Axel Poigne <poigne@gmd.de> (by way of Szameit@gmd.de (Heidi Szameit))
• Re: industrial applications of AS
  97/02/25 -- Uwe Wolter <wolter@cs.tu-berlin.de>
• Call for Paper : ESSLLI 97 workshop
  97/02/25 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• Express97
  97/02/26 -- joachim@sics.se
• ARTS'97: Call For Participation
  97/02/27 -- Miquel Bertran <gsystems@compuserve.com>
• new ToC service, ARTS'97
  97/02/28 -- scollo@cs.utwente.nl (Pippo Scollo)
• Book on semantics of computation
  97/03/02 -- Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
• Lipari 97
  97/03/03 -- LIPARI SCHOOL <SCHOOL@dipmat.unict.it>
• ARTS'97: Call For Participation and Forms.
  97/03/05 -- General Systems Development <gsystems@compuserve.com>
• Announcement of Positions for Postgraduate Studies
  97/03/07 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• Accepted papers for CAV '97
  97/03/09 -- cav97@csa.CS.Technion.AC.IL
• Vacancy in telematics!
  97/03/11 -- "Estherella Carstens" <E.Carstens@trc.nl>
• Annoucement
  97/03/12 -- "ramon jansana" <jansana@cerber.mat.ub.es>
• 3rd Int. Workshop on Thermal investigations of ICs and Microstructures
  97/03/14 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• Preliminary CFP -- ACM SAC'98: Track on Coordination
  97/03/17 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• ESSLLI'97: Student Grants
  97/03/17 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• BRICS International PhD School: Call for Applications
  97/03/18 -- Uffe Henrik Engberg <engberg@brics.dk>
• CAV'97 - registration forms
  97/03/18 -- cav97@csa.CS.Technion.AC.IL
• PRACTICAL APPLICATION EXPO97
  97/03/20 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• Formal Grammar
  97/03/21 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• No Subject
  97/03/24 -- snummila@abo.fi (Sirpa Nummila)
• Announcement of BRICS PhD School
  97/03/25 -- janne@daimi.aau.dk (Janne Christensen)
• TapSoft'97:Last Call For Participation
  97/03/25 -- Marc.Tommasi@lifl.fr
• Position in Munich, Germany
  97/03/27 -- Thorsten Altenkirch <alti@informatik.uni-muenchen.de>
• ETAPS'98 - CALL FOR SUBMISSIONS
  97/04/02 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
• Lectureships
  97/04/02 -- "Matthew Hennessy" <matthewh@cogs.susx.ac.uk>
• 15th IEEE VLSI TEST SYMPOSIUM (VTS 97): TECHNICAL PROGRAM & REGISTRATION FORMS
  97/04/02 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• TapSoft'97:Last Call For Participation
  97/04/03 -- Michael Hollander <mijklh@accessone.com>
• ESSLLI97
  97/04/07 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• PAAM97
  97/04/07 -- info@pap.com
• CSL'97 Deadline Approaching Fast
  97/04/08 -- Uffe Henrik Engberg <engberg@brics.dk>
• SAS'97 (Extended Deadline)
  97/04/08 -- Pascal Van Hentenryck <pvh@cs.brown.edu>
• ESSLLI'97: Best Student Paper Prize
  97/04/10 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• Express97: 2nd CfP (text and LaTeX)
  97/04/11 -- catuscia@disi.unige.it (Catuscia Palamidessi)
• Submission Deadline is extended to April 21, 1997 (FORTE/PSTV'97)
  97/04/14 -- higashino@ics.es.osaka-u.ac.jp (Teruo Higashino)
• ETW'97: Advance Program and Registration information
  97/04/15 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• ESSLLI97 : symposium call for papers
  97/04/15 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• CAV'97 Final program
  97/04/17 -- cav97@csa.CS.Technion.AC.IL
• ICALP'97 - preliminary programme
  97/04/18 -- busi@CS.UniBO.IT (Nadia Busi)
• ICALP'97 - information for participants
  97/04/18 -- busi@CS.UniBO.IT (Nadia Busi)
• FMOODS97 extended deadline CFP
  97/04/19 -- ocf <O.C.Fernandes@ukc.ac.uk>
• ESSLLI 97 : Student session
  97/04/21 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• (latex) 4th Barcelona Logic Meeting
  97/04/26 -- scollo@cs.utwente.nl (Pippo Scollo)
• AIN'97: Final Program and Registration Information
  97/04/27 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• AMAST'97 cfp (text version)
  97/04/27 -- Michael Johnson <mike@macadam.mpce.mq.edu.au>
• AIN'97: Final Program and Registration Information
  97/04/28 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• IC-EATCS Annual Advanced School
  97/04/28 -- catuscia@disi.unige.it (Catuscia Palamidessi)
• No Subject
  97/04/28 -- Egon Boerger <boerger@DI.Unipi.IT>
• ESSLLI97 : FORMAL GRAMMAR
  97/04/29 -- "Ecole d'ete" <esslli97@ura1507.univ-paris13.fr>
• ICALP'97 - preliminary programme
  97/04/29 -- busi@CS.UniBO.IT (Nadia Busi)
• ICALP'97 - information for participants
  97/04/29 -- busi@CS.UniBO.IT (Nadia Busi)
• Announcement of Technical Report
  97/04/29 -- sleue@swen.uwaterloo.ca (Stefan Leue)
• 4th WoLLIC'97 - third call
  97/05/01 -- ruy@di.ufpe.br
• cfp: Mathematics of Program Construction '98
  97/05/06 -- Johan Jeuring <johanj@cs.chalmers.se>
• 1st Call for Participation: COORDINATION'97
  97/05/06 -- Robert Tolksdorf <tolk@cs.tu-berlin.de>
• JOB ANNOUNCEMENT -- CS DEPT -- UNIV OF CYPRUS
  97/05/09 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• ESSLLI97 Call for papers
  97/05/12 -- "Ecole d'ete" <esslli97@lipn.univ-paris13.fr>
• JBOPAD
  97/05/13 -- Alain GRIFFAULT <Alain.Griffault@labri.u-bordeaux.fr>
• ETW'97: Advance Program and Registration information
  97/05/13 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• ICALP'97
  97/05/15 -- gorrieri@CS.UniBO.IT (Roberto Gorrieri)
• CFPs: 2nd Euromicro Work.Conf. on Soft.Maint. & Reeng., Florence
  97/05/16 -- csmr98@aguirre.ing.UNIFI.IT
• CAV'97 Program - Early Registration Reminder
  97/05/18 -- cav97@csa.CS.Technion.AC.IL
• ECSQARU/FAPR'97
  97/05/20 -- Andreas Nonnengart <nonnenga@mpi-sb.mpg.de>
• Last Call
  97/05/21 -- ruy@di.ufpe.br
• TECS workshop Call for paper
  97/05/23 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• IOLTW'97: Advance Program and Registration
  97/05/23 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• fwd: ANNOUNCING: Xy-pic version 3.4 released!
  97/05/23 -- scollo@cs.utwente.nl (Pippo Scollo)
• 9th Nordic Workshop on Programming Theory
  97/05/23 -- Marko Kaaramees <marko@ioc.ee>
• ESSLLI97 : workshop - crash courses
  97/05/23 -- "Ecole d'ete" <esslli97@lipn.univ-paris13.fr>
• Tutorial on Formal Verification Tools and Methods
  97/05/27 -- cav97@csa.CS.Technion.AC.IL
• fwd: ANNOUNCING: Xy-pic version 3.5 released!
  97/05/30 -- scollo@cs.utwente.nl (Pippo Scollo)
• PA EXPO 97 Report
  97/06/06 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• VII WCCEE : 7th WORLD CONFERENCE ON CONTINUING ENGINEERING EDUCATION
  97/06/06 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• Logic and Algorithms - One Year Later
  97/06/09 -- Moshe Vardi <vardi@cs.rice.edu>
• PA EXPO97 Report
  97/06/10 -- info@pap.com
• Workshop on Design and Formal Verification of Security Protocols
  97/06/10 -- "Hilarie K. Orman" <ho@darpa.mil>
• DIMACS Special Year on Network, Workshop on Design and Formal Verification of Security Protocols, September 3-5, 1997, Rutgers University
  97/06/10 -- Barbara Quigley <bquigley@iyar.rutgers.edu>
• DIMACS Workshop Special Year on Logic and Algorithms - One Year Later, Call for Participation and Tentative Program, July 23-25, 1997
  97/06/10 -- Barbara Quigley <bquigley@iyar.rutgers.edu>
• POST-DOC IN SOFTWARE ENGINEERING
  97/06/10 -- sleue@swen.uwaterloo.ca (Stefan Leue)
• AMAST 97 - CFD : for mailing list
  97/06/12 -- Richard Buckland <richardb@mpce.mq.edu.au>
• FMOODS97 Final Call For Participation
  97/06/13 -- fmoods97 <fmoods97@ukc.ac.uk>
• Topology in Computer Science email forum
  97/06/17 -- Philipp Sunderhauf <P.Sunderhauf@doc.ic.ac.uk>
• Call for participants - TPHOLs97
  97/06/19 -- cav97@csa.CS.Technion.AC.IL
• Call for Papers: Hybrid Systems 98
  97/06/20 -- tah@eecs.berkeley.edu (Tom Henzinger)
• CSL'97: Programme and Call for Participation
  97/06/20 -- Uffe Henrik Engberg <engberg@brics.dk>
• Chair, University of South Australia
  97/06/23 -- Chris.Steketee@cis.unisa.edu.au (Chris Steketee)
• INAP 97 CFP
  97/06/24 -- IF Computer Japan Limited <ifcj@IFComputer.co.jp>
• REMINDER: MATHFIT Summer School and Workshop
  97/06/25 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• Welcome to compos97-list
  97/07/01 -- Majordomo@informatik.uni-kiel.de
• WoLLIC'97 - Call for Participation
  97/07/02 -- ruy@di.ufpe.br
• COORDINATION'97 2nd CfParticipation
  97/07/02 -- Robert Tolksdorf <tolk@cs.tu-berlin.de>
• FORMAL GRAMMAR
  97/07/04 -- "Ecole d'ete" <esslli97@ura1507.univ-paris13.fr>
• European School on Graph Transformation
  97/07/11 -- Frank Drewes <drewes@Informatik.Uni-Bremen.DE>
• CFPs:Euromicro Work.Conf.on Soft.Maint.&Reeng. in Florence
  97/07/12 -- csmr98@aguirre.ing.UNIFI.IT
• Research position
  97/07/14 -- pw@montefiore.ulg.ac.be
• The B International Conference
  97/07/16 -- Henri.Habrias@irin.univ-nantes.fr (Henri Habrias)
• Last CFP: ACM SAC'98 - Track on Coordination
  97/07/16 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• fwd: Faculty Positions in Software Engineering
  97/07/17 -- scollo@cs.utwente.nl (Pippo Scollo)
• INAP '97 CFP
  97/07/18 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• IFIP VLSI'97 in Brasil News
  97/07/18 -- Ricardo Reis <reis@inf.ufrgs.br>
• Tenured professorship in Reunion Island
  97/07/21 -- Teodor Knapik <Teodor.Knapik@univ-reunion.fr>
• SAS'97 : Paris, September 8-10
  97/07/23 -- Radhia Cousot <radhia@lix.polytechnique.fr>
• CfPar COORDINATION'97 - Early registration ends soon
  97/07/24 -- Robert Tolksdorf <tolk@cs.tu-berlin.de>
• SAS'97 : Paris, September 8-10
  97/07/28 -- Radhia Cousot <radhia@lix.polytechnique.fr>
• PA EXPO98 Call for Papers
  97/07/29 -- info@pap.com
• IEEE TTTC - ATS'97: Advance Program
  97/07/30 -- tttc@chiusella.polito.it (Paolo Prinetto)
• IEEE TTTC - MTDT'97: Advance Program
  97/07/30 -- tttc@chiusella.polito.it (Paolo Prinetto)
• IEEE TTTC - HLDVT'97: Call For Participation
  97/07/30 -- tttc@chiusella.polito.it (Paolo Prinetto)
• IEEE TTTC - MCM Test IV: Advance Program
  97/07/30 -- tttc@chiusella.polito.it (Paolo Prinetto)
• IEEE TTTC - Mailing list updating
  97/07/30 -- tttc@chiusella.polito.it (Paolo Prinetto)
• Prolamat 98: First Announcement and Call for Papers
  97/08/05 -- Prolamat 1998 <prolamat_owner@lii.unitn.it>
• No Subject
  97/08/05 -- rds1@doc.ic.ac.uk (Richard David Sandiford)
• PRACTICAL APPLICATION EXPO98
  97/08/12 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• Call for papers for TACAS'98 and VISUAL'98: please circulate it locally
  97/08/12 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• PhD program in Munich
  97/08/19 -- Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
• Call for contributions to ACoS'98
  97/08/22 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• IF Computer at IJCAI-97
  97/08/23 -- IF Computer Japan Limited <ifcj@IFComputer.co.jp>
• Announcement on the AMAST mailing list.
  97/08/25 -- Bengt Jonsson <bengt@Elaine.DoCS.UU.SE>
• POSES++ - simulation faster as you believe
  97/09/01 -- POSES++ <poses@gpc.de>
• REMINDER: IFIP Working Conference PROCOMET'98
  97/09/02 -- "Ernst-Ruediger Olderog" <Ernst.Ruediger.Olderog@Informatik.Uni-Oldenburg.DE>
• ETAPS'98 - Call for submissions
  97/09/03 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
• Guest Positions (fwd)
  97/09/03 -- scollo@cs.utwente.nl (Pippo Scollo)
• CRL REPORT ANNOUNCEMENT (fwd)
  97/09/03 -- scollo@cs.utwente.nl (Pippo Scollo)
• CFP FMPPTA'98
  97/09/05 -- Dominique Mery <Dominique.Mery@loria.fr>
• Last Call for Papers: NWPT'97
  97/09/05 -- Marko Kaaramees <marko@ioc.ee>
• AMAST'98 FIRST CFP (Spread the news)
  97/09/09 -- mfrias@inf.puc-rio.br (Marcelo Frias)
• TARK98 CFP
  97/09/15 -- Avi Pfeffer <avi@Robotics.Stanford.EDU>
• IEEE TTTC - 16TH IEEE VLSI TEST SYMPOSIUM : Call for papers
  97/09/16 -- tttc@chiusella.polito.it (Paolo Prinetto)
• FORTE/PSTV'97: CALL FOR PARTICIPATION
  97/09/18 -- higashino@ics.es.osaka-u.ac.jp (Teruo Higashino)
• ICALP '98: Call for Papers and Workshops
  97/09/18 -- Uffe Henrik Engberg <engberg@brics.dk>
• LICS'98 Call for Papers (text & LaTeX)
  97/09/18 -- Leonid Libkin <libkin@research.bell-labs.com>
• CfP Concur98
  97/09/22 -- Robert Desimone <Robert.De_Simone@sophia.inria.fr>
• IEEE TTTC - TECS'97: Advance Program
  97/09/26 -- tttc@chiusella.polito.it (Paolo Prinetto)
• Call for Papers: HYBRID SYSTEMS '98
  97/09/27 -- tah@eecs.berkeley.edu (Tom Henzinger)
• 2nd cfp MPC'98: Mathematics of Program Construction 98
  97/09/29 -- Johan Jeuring <johanj@cs.chalmers.se>
• IEEE TTTC - High Level Design Validation and Test Workshop: Advance Program
  97/09/29 -- tttc@chiusella.polito.it (Paolo Prinetto)
• PA EXPO98
  97/09/30 -- info@pap.com
• [fwd] CFP PAP/PACT98
  97/10/02 -- Oskar Bartenstein <oskar@IFComputer.co.jp>
• Research Positions at BRICS Research Centre and Int. PhD School
  97/10/03 -- Uffe Henrik Engberg <engberg@brics.dk>
• (fwd) Gandalf prover available
  97/10/07 -- scollo@cs.utwente.nl (Pippo Scollo)
• Logic Colloquium '98 Call for papers (LaTeX)
  97/10/14 -- "Logic Colloquium '98" <lc98@math.cas.cz>
• Second Anouncement 4BLM
  97/10/15 -- maria@bianya.crm.es (Maria Julia)
• PA EXPO98
  97/10/18 -- info@pap.com
• CAV'98 Call for Papers
  97/10/20 -- Alan Hu <ajh@cs.ubc.ca>
• LOFT3 conference
  97/10/20 -- Giacomo Bonanno <gfbonanno@ucdavis.edu>
• Final Call for contributions to VISUAL'98 and ACoS'98
  97/10/21 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
• IRW/FMP'98: Call For Papers - Refinement & Formal Methods
  97/11/05 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• Software Process Leaders Needed
  97/11/05 -- Itziar Ortega <Itzi@esi.es>
• CSL98
  97/11/07 -- Computer Science Logic <csl@dbai.tuwien.ac.at>
• FCCM98 Call For Papers
  97/11/10 -- "Jeffrey M. Arnold" <jmarnold@znet.com>
• BRICS Int. PhD School: Call for Admission and Grant Applications
  97/11/11 -- Uffe Henrik Engberg <engberg@brics.dk>
• PART98 Preliminary Announcement
  97/11/11 -- Bert Lisser <Bert.Lisser@cwi.nl>
• PA EXPO98-Final Call For Papers
  97/11/15 -- info@pap.com
• last cfp MPC'98: Mathematics of Program Construction
  97/11/17 -- Johan Jeuring <johanj@cs.chalmers.se>
• PROBMIV'98: Call for Papers
  97/11/17 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• GETGRATS grants: Call for Applications
  97/11/20 -- Andrea Corradini <andrea@DI.Unipi.IT>
• CFP -- EURO-MED NET '98: Internet & WWW in the Mediterranean
  97/11/27 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• 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>