AMAST Mail 1999

• Coordination Session in PDPTA'99
  99/01/01 -- Khalil Drira <khalil@laas.fr>
• CFP: Session on Hardware-Software Codesign
  99/01/01 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• MFPS XV Call or Participation
  99/01/01 -- Michael Mislove <mwm@math.tulane.edu>
• Special Issue of FI
  99/01/04 -- Ryszard JANICKI <janicki@mail.CAS.McMaster.CA>
• MTNS 2000 : Perpignan (FRANCE)
  99/01/04 -- "A. EL JAI" <Abdelhaq.Eljai@univ-perp.fr>
• Agent Course: Design of Intelligent Multi-Agent Systems
  99/01/06 -- jonker@cs.vu.nl (CM Jonker)
• "Model-Checking" Software with VeriSoft
  99/01/08 -- god@bell-labs.com
• FMOODS'99, 1-week shift early registration deadline!!!
  99/01/08 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
• MFPS Registration and Travel Information
  99/01/11 -- Mike Mislove <mwm@math.tulane.edu>
• 6th WoLLIC'99 - 3rd Call
  99/01/11 -- Ruy de Queiroz <ruy@di.ufpe.br>
• Second call for papers
  99/01/12 -- pkuehnle <deixis@lili.uni-bielefeld.de>
• TABOO tutorial following FMOODS'99 conference
  99/01/13 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
• PaCT-99 Conference
  99/01/15 -- "PaCT-99 Conference" <pact99@ssd.sscc.ru>
• Academic Positions - CS Dept - Univ of Cyprus
  99/01/16 -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• FM'99 World Congress on Formal Methods: Call for Papers
  99/01/17 -- J.P.Bowen@reading.ac.uk (Jonathan Bowen)
• CfP: CHARME99 (Conf. on Correct Hardware Design and Verification Methods
  99/01/18 -- Thomas Kropf <tkropf@earthlink.net>
• CSL'99 3rd CFP (Text & LaTex versions)
  99/01/18 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• Research Vacancies - CS Dept - Univ of Cyprus
  99/01/18 -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• Permanent Academic Post - CS Dept - Univ of Cyprus
  99/01/18 -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• UKPEW'99 - Call For Papers (fwd)
  99/01/18 -- "J.T.Bradley" <bradley@cs.bris.ac.uk>
• 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/01/18 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• ETAPS'99
  99/01/20 -- Simone Panka <Simone.Panka@cwi.nl>
• ETAPS'99 website
  99/01/20 -- Simone Panka <Simone.Panka@cwi.nl>
• SGM v1.1 Released
  99/01/21 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Director of RiskLab
  99/01/21 -- RiskLab Position <position@math.ethz.ch>
• May 3-7, 1999: Summer School in Semantics of Computation
  99/01/25 -- Uffe Henrik Engberg <engberg@brics.dk>
• [CFP] AS'99 - 2nd Int'l Workshop on Action Semantics at ETAPS'99
  99/01/28 -- Peter Mosses <mosses@csl.sri.com>
• CFP: PDPTA-99 Codesign Session
  99/01/28 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Maude 1.00 Release
  99/01/29 -- Jose Meseguer <meseguer@csl.sri.com>
• ETAPS'99, AMSTERDAM -- CALL FOR PARTICIPATION
  99/01/29 -- Don Sannella <dts@dcs.ed.ac.uk>
• An On-Line Repository of Formal Methods Educational Materials
  99/01/29 -- Kathi Fisler <kfisler@cs.rice.edu>
• 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/01/31 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• (fwd) Preprint Announcement
  99/01/31 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Topology in Computer Science Conference.
  99/01/31 -- scollo@cs.utwente.nl (Pippo Scollo)
• PSI99 submission deadline extension
  99/02/01 -- Alexandre Zamulin <zam@lri.fr>
• SGM GUI v1.2 Released
  99/02/01 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Positions at Chalmers, Gothenburg, Sweden
  99/02/02 -- Bengt Nordstr|m <bengt@cs.chalmers.se>
• SMC99: Call for Papers
  99/02/02 -- Alessandro Cimatti <cimatti@irst.itc.it>
• LUATCS99 1st announcement
  99/02/03 -- Peter Jipsen <pjipsen@proof.mth.uct.ac.za>
• Research Assisstant opening in Hong Kong
  99/02/04 -- "Dr. Wai Wong" <wwong@Comp.HKBU.Edu.HK>
• List of accepted papers ARTS '99
  99/02/04 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• PROBMIV'99: Preliminary Announcement
  99/02/04 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• Research Officer; PhD Studentship
  99/02/04 -- Ranko Lazic <Ranko.Lazic@comlab.ox.ac.uk>
• CFE for INFORMATION
  99/02/05 -- Jingde Cheng <cheng@csce.kyushu-u.ac.jp>
• TLCA'99 Call for Participation (Text & LaTex versions)
  99/02/05 -- "tlca99.aquila" <tlca99@univaq.it>
• Job Advertisement: Research Fellow in Logic and Automated Reasoning [MMU, UK]
  99/02/05 -- Michael Fisher <M.Fisher@doc.mmu.ac.uk>
• ECOOP99 workshop
  99/02/05 -- lm@di.fct.unl.pt (Luis Monteiro)
• "Final_Call:FEmSys99"
  99/02/05 -- Axel Poigne <ap@borneo.gmd.de>
• VERIMAG is recruiting a research software engineer
  99/02/05 -- Oded Maler <Oded.Maler@imag.fr>
• Announcement Meeting in Barcelona
  99/02/08 -- Rafel Farre i Cirera <farre@grec.upc.es>
• New Book Announcement
  99/02/08 -- Cristian Oara ER <oara@df.op.dlr.de>
• PhD Research Studentships (AiO positions)
  99/02/08 -- Ed Brinksma <brinksma@cs.utwente.nl>
• MFPS XV Update
  99/02/09 -- Michael Mislove <mwm@math.tulane.edu>
• last_call
  99/02/09 -- root <root@Leibniz.lili.uni-bielefeld.de>
• [SOAP @ ECOOP] Semantics of Objects As Processes '99 (CFP)
  99/02/09 -- Uwe Nestmann <uwe@cs.auc.dk>
• PhD positions at Chalmers, Gothenburg, Sweden.
  99/02/11 -- "K. V. S. Prasad" <prasad@cs.chalmers.se>
• Second Call for Papers -- BISFAI'99 (June 23-25, 1999)
  99/02/11 -- "Prof. Martin Charles Golumbic" <golumbic@macs.biu.ac.il>
• Register now for ETAPS'99
  99/02/12 -- Simone Panka <Simone.Panka@cwi.nl>
• Call For Papers, Int'l Conf. PDPTA/CISST/IC-AI'99, Las Vegas, June 28, 1999
  99/02/12 -- Hamid Arabnia <hra@cs.uga.edu>
• TACAS '99 call for participation
  99/02/15 -- Rance Cleaveland <rance@cs.sunysb.edu>
• position in COMPUTER SCIENCE, deadline March 10, 1999
  99/02/15 -- Veronique Bruyere <vero@sun1.umh.ac.be>
• book announcement: Categorical Logic and Type Theory
  99/02/16 -- Bart Jacobs <Bart.Jacobs@cs.kun.nl>
• CFP: FLoC'99 workshop on Run-Time Result Verification
  99/02/18 -- Paolo Traverso <leaf@irst.itc.it>
• CSL'99 Last CFP (Text & LaTex versions)
  99/02/18 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• Final CFP: PDPTA-99 Codesign Session
  99/02/22 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Preliminary Program and Call for Participation: COORDINATION 99
  99/02/22 -- Farhad.Arbab@cwi.nl
• FORTE/PSTV'99 paper submission extension
  99/02/24 -- Samuel Chanson <chanson@cs.ust.hk>
• International Masters Programme in Computational Logic
  99/02/24 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
• CRL Report Announcement
  99/02/24 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• TOOLS USA '99 - Last Call for Submissions
  99/02/24 -- "Karen Ouellette" <karen@tools.com>
• ETAPS'99: register now! NEW: Panel discussion on funding policy
  99/02/25 -- Don Sannella <dts@dcs.ed.ac.uk>
• Ask for Postdoc or Visiting Fellowship or Faculty position: More than 10 yrs research on compound semiconductors, have joined more than 10 projects as team member or project leader, more than thirty papers as first author (most of them were published in English at International Conferences or international
  99/02/26 -- yjhan@red.semi.ac.cn
• CFP LPAR'99: Logic for Programming and Automated Reasoning
  99/02/26 -- Andrei Voronkov <voronkov@csd.uu.se>
• 2nd Annoucemet 5BLM & &KGC
  99/02/27 -- Rafel Farre <farre@grec.upc.es>
• OOSDS'99 CALL FOR PAPERS
  99/03/01 -- Natalia Ioustinova <ustin@informatik.uni-rostock.de>
• Extended Deadline: PDPTA-99 Codesign Session
  99/03/02 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• FSTTCS '99, First Call for Papers
  99/03/02 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• 2nd announcement Meeting in Barcelona
  99/03/04 -- Rafel Farre <farre@grec.upc.es>
• Call-for-Paper JIT99
  99/03/04 -- Jit Conference <jit99@informatik.uni-rostock.de>
• cfp SAS'99 - Venice
  99/03/04 -- Agostino Cortesi <cortesi@dsi.unive.it>
• extended deadline/session on coordination in PDPTA'99
  99/03/05 -- Khalil Drira <khalil@laas.fr>
• 14th WADT - Call for Abstracts
  99/03/05 -- Christine Choppy <christine.choppy@lipn.univ-paris13.fr>
• CHARME'99 - Final Call for Papers
  99/03/05 -- Laurence Pierre <laurence@gyptis.univ-mrs.fr>
• I need information on constraint satisfaction
  99/03/05 -- Gabriela Figueroa Quiroz <gfq@praxis.com.mx>
• FORTE/PSTV'99 - Last Call for Papers
  99/03/08 -- Samuel Chanson <chanson@cs.ust.hk>
• Computer Science Logic Conference (CSL'99)
  99/03/08 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• [CFP:] UML'99 (2nd Call For Paper)
  99/03/08 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• 6thSPIN99: The 6th International SPIN Workshop on Practical Aspects of Model Checking
  99/03/08 -- Stefan Leue <sleue@fee.uwaterloo.ca>
• Report on verification of unknown number of processes
  99/03/10 -- farn@iis.sinica.edu.tw (Farn Wang)
• [CFP:] Special Session on Coordination in Parallel and Distributed Aplications and Activities
  99/03/11 -- Philippe.Hunel@univ-pau.fr (Philippe HUNEL)
• CFPs: METICS99
  99/03/11 -- Paolo Nesi <nesi@ingfi1.ing.unifi.it>
• CRL Report Announcement
  99/03/11 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• CRL Report 371
  99/03/11 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• FCT'99 Final CFP
  99/03/13 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
• *** FLOC-99 --- WORKSHOP AND CONTEST ON INDUCTIVE THEOREM PROVING ***
  99/03/15 -- Dieter Hutter <hutter@dfki.de>
• PA Expo99 (PAAM, PACLP, PAKeM, PA Java, PADD): Call for Participation
  99/03/15 -- info@pap.com
• 2nd CfP: 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/03/15 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• Research scholarships available at Birmingham
  99/03/16 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• CFP: School on Modeling and Verification
  99/03/17 -- Roberto Amadio <amadio@gyptis.univ-mrs.fr>
• PhD grants - GKLI in Munich
  99/03/17 -- Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
• No Subject
  99/03/17 -- Maddux <maddux@iastate.edu>
• PROBMIV'99: Call for Papers
  99/03/18 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• Final CFP: SMC99
  99/03/19 -- Alessandro Cimatti <cimatti@irst.itc.it>
• CFP: High Assurance Systems Engineering (April 7 Deadline)
  99/03/20 -- "David B. Stewart" <dstewart@eng.umd.edu>
• For Amast
  99/03/21 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• Postdoctorate Grant at Dresden University of Technology
  99/03/21 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
• extended deadline ESSLLI'99 Student Session - Computation and Logic&Computation sections
  99/03/22 -- amalia@liia.u-strasbg.fr
• FCT'99 - Deadline Extension !
  99/03/24 -- "FCT'99 Organizing Committee" <fct99@infoiasi.ro>
• Two PhD Studentships in Logic and Theorem Proving
  99/03/25 -- Renate Schmidt <R.A.Schmidt@doc.mmu.ac.uk>
• WAIT99 - Call for Papers
  99/03/25 -- Gabriel Baum <gbaum@sol.info.unlp.edu.ar>
• CRL Report Announcement
  99/03/25 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• FLoC'99 (Federated Logic Conference): Call for Participation
  99/03/29 -- Leonid Libkin <Leonid.Libkin@inria.fr>
• Call for Participation ARTS'99
  99/03/30 -- Tagung Arts99 <arts99@immd7.informatik.uni-erlangen.de>
• DEADLINE EXTENDED: 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/03/31 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• FLOPS'99 - Second Call for Papers
  99/03/31 -- Aart Middeldorp <ami@is.tsukuba.ac.jp>
• [SOAP @ ECOOP] Semantics of Objects As Processes '99 (CFP-Reminder)
  99/03/31 -- Uwe Nestmann <uwe@cs.auc.dk>
• HASE 99: Deadline Extension for Submissions
  99/03/31 -- "David B. Stewart" <dstewart@eng.umd.edu>
• Topology in computer science miniconference.
  99/04/01 -- RDKCC@CUNYVM.CUNY.EDU
• NEW JOURNAL - CALL FOR PAPERS
  99/04/02 -- Nikitas Assimakopoulos <assinik@unipi.gr>
• Call for papers, LPAR'99
  99/04/03 -- Andrei Voronkov <voronkov@cs.man.ac.uk>
• PAKeM99: Programme/Satellite event
  99/04/04 -- info@pap.com
• AI-ED99 NEWS 4
  99/04/08 -- "ai-ed99 Local Organising Commitee" <ai-ed99@lium.univ-lemans.fr>
• ASM2000, preliminary announcement
  99/04/08 -- Application Asm <asm@tik.ee.ethz.ch>
• Topology in computer science miniconference.
  99/04/09 -- RDKCC@CUNYVM.CUNY.EDU
• Searching for Lecturers
  99/04/09 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
• Two Professor Positions at =?iso-8859-1?Q?Universit=E9?= Joseph Fourier/VERIMAG, France
  99/04/12 -- Sergio Yovine <Sergio.Yovine@imag.fr>
• PROBMIV'99: 2nd Call for Papers
  99/04/14 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• [CFP] <<UML>>'99
  99/04/14 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• WMF99 - First CFP
  99/04/14 -- acvm@ime.usp.br
• WAIT99 - Call for Papers
  99/04/19 -- Gabriel Baum <gbaum@sol.info.unlp.edu.ar>
• RTSS99 Call for Papers
  99/04/21 -- Wei Zhao <realtime@cs.tamu.edu>
• LOPSTR'99 - Final call-for-papers
  99/04/21 -- Annalisa Bossi <bossi@oink.dsi.unive.it>
• CASES'99 Call For Participation
  99/04/22 -- Bruce L Jacob <blj@johnson.eng.umd.edu>
• (fwd) CAV'99 Call for Participation
  99/04/23 -- scollo@cs.utwente.nl (Pippo Scollo)
• Research positions
  99/04/23 -- Matthew Hennessy <matthewh@cogs.susx.ac.uk>
• TWLT-15: Interactions in Virtual Worlds
  99/04/23 -- scollo@cs.utwente.nl (Pippo Scollo)
• UKPEW'99 - Final call For Papers
  99/04/23 -- "J.T.Bradley" <bradley@cs.bris.ac.uk>
• Academic Positions - CS Dept - Univ of Cyprus
  99/04/24 -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• Call-for-Paper JIT99
  99/04/26 -- Jit Conference <jit99@informatik.uni-rostock.de>
• CFP: Special Issue on Tabular Expressions in Formal Methods in System Design
  99/04/26 -- Connie Heitmeyer <heitmeye@itd.nrl.navy.mil>
• FLoC'99 Call for Participation
  99/04/28 -- Leonid Libkin <libkin@research.bell-labs.com>
• No Subject
  99/05/02 -- Pierre Deransart <deransar@mikonos.inria.fr>
• OMG Information Days in Europe `99
  99/05/03 -- Melanie Salm <salm@ltt.de>
• Call for Participation ARTS'99 (Register now)
  99/05/03 -- katoen@cs.utwente.nl (Joost-Pieter Katoen)
• FSTTCS 99, Second Call for Papers
  99/05/04 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• LOPSTR'99: Deadline extension
  99/05/04 -- Annalisa Bossi <bossi@oink.dsi.unive.it>
• CFP: ASIAN'99 (Asian Comput. Science Conf.), Dec 10-12,Phuket,Thailand
  99/05/04 -- Roland Yap Hock Chuan <ryap@comp.nus.edu.sg>
• FroCoS'2000: First Call for Papers
  99/05/05 -- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
• 6 OMG Information Day in Central Europe in June
  99/05/05 -- Melanie Salm <salm@ltt.de>
• CFP: ACM SAC 2000 - Track on Coordination
  99/05/05 -- Andrea Omicini <aomicini@deis.unibo.it>
• UKPEW'99 Deadline Extension
  99/05/06 -- "J.T.Bradley" <bradley@cs.bris.ac.uk>
• LPNMR'99 Call for Papers
  99/05/06 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
• 6thSPIN99 ext. deadline May 17, 1999
  99/05/09 -- Stefan Leue <sleue@fee.uwaterloo.ca>
• Call For Participation, CAV'99, Trento, Italy.
  99/05/10 -- Doron Peled <doron@research.bell-labs.com>
• CFP: STACS'2000
  99/05/11 -- Marc Tommasi <tommasi@univ-lille3.fr>
• PROBMIV'99: Final Call for Papers
  99/05/11 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• ETAPS 2000 in Berlin, Call for papers
  99/05/11 -- Doris Faehndrich <doris@cs.tu-berlin.de>
• PA Expo99 Report
  99/05/11 -- info@pap.com
• PA Expo99 Proceedings
  99/05/11 -- info@pap.com
• visiting position
  99/05/12 -- Klaus Keimel <keimel@mathematik.tu-darmstadt.de>
• FLOPS'99
  99/05/13 -- SATO Taisuke <sato@cs.titech.ac.jp>
• a (ESF) PhD studentship
  99/05/14 -- Y.Sun@Queens-Belfast.AC.UK
• AMAST 2000 - Call for Papers
  99/05/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• JOB ANNOUNCEMENT -- CS DEPT -- UNIV OF CYPRUS
  99/05/17 -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• ETAPS 2000 in Berlin, Call for Papers
  99/05/20 -- Doris Faehndrich <doris@cs.tu-berlin.de>
• OOSDS99 Call for papers
  99/05/20 -- Natalia Ioustinova <ustin@informatik.uni-rostock.de>
• LPNMR'99 Final Call for Papers
  99/05/22 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
• THAI-ETIS first call for participation
  99/05/24 -- "G. A. Lanzarone" <lanzarone@mail.varbio.unimi.it>
• VLSI'99: Xth IFIP Conference on VLSI (2nd Call)
  99/05/24 -- Luis Miguel Silveira <lms@inesc.pt>
• FSTTCS 99, Final Call for Papers
  99/05/24 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• LUATCS'99 2nd announcement
  99/05/25 -- Peter Jipsen <pjipsen@proof.mth.uct.ac.za>
• Call for Papers: New ACM Press Journal (TOCL)
  99/05/25 -- George Criscione <criscione@hq.acm.org>
• CAV'99 hotel registration
  99/05/26 -- Doron Peled <doron@research.bell-labs.com>
• Endowed Chair for mid-career person
  99/05/29 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• IEEE Software Special Issue - CFPs
  99/05/29 -- Mohamed Fayad <fayad@cs.unr.edu>
• OOPSLA '99 Workshop on Software Stability - CFPs
  99/05/29 -- Mohamed Fayad <fayad@cs.unr.edu>
• OOPSLA '99 workshop on Enterprise Frameworks
  99/05/31 -- Mohamed Fayad <fayad@cs.unr.edu>
• CONCUR'99 Call for participation
  99/06/01 -- sjouke@win.tue.nl (Sjouke Mauw)
• ASIAN'99 CFP: Phuket, Thailand, Dec 10-12, 1999
  99/06/03 -- Roland Yap Hock Chuan <asian99@iscs.nus.edu.sg>
• CSL'99 Call for Participation
  99/06/04 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• WDS'99 - Deadline estenssion: June 10th, 1999
  99/06/07 -- Gheorghe Stefanescu <ghstef@funinf.math.unibuc.ro>
• CRL Report Announcement
  99/06/09 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• THAI-ETIS Symposium
  99/06/12 -- "G. A. Lanzarone" <lanzarone@mail.varbio.unimi.it>
• FCT'99 Accepted Papers
  99/06/13 -- "FCT'99 Organizing Committee" <fct99@infoiasi.ro>
• ICCSEA 99
  99/06/14 -- Jean-Claude RAULT <rault@cnam.fr>
• temporary position
  99/06/14 -- Giuseppe Longo <Giuseppe.Longo@ens.fr>
• INAP99 last CFP
  99/06/15 -- Oskar Bartenstein <oskar@ifcomputer.co.jp>
• CASES99--Reminder
  99/06/16 -- Bruce L Jacob <blj@imap1.glue.umd.edu>
• CALL FOR PARTICIPATION: 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/06/16 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• New CRL Report Announcement
  99/06/16 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• JASS Journal - Call for Papers
  99/06/17 -- Nikitas Assimakopoulos <assinik@unipi.gr>
• IFIP TC1 TCS Conference Y2000 in Japan
  99/06/18 -- "ito@ito.ecei.tohoku.ac.jp" <ito@ito.ecei.tohoku.ac.jp>
• International Masters Programme in COMPUTATIONAL LOGIC
  99/06/21 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
• No Subject
  99/06/22 -- Agostino Cortesi <cortesi@dsi.unive.it>
• MPC2000: 5th Int. Conf. on Mathematics of Program Construction - CFP
  99/06/23 -- jno@di.uminho.pt (Jose Nuno Oliveira)
• CFP ASIAN'99: Asian Computing Science Conference,Phuket,Dec 10-12,1999
  99/06/23 -- Roland Yap Hock Chuan <asian99@iscs.nus.edu.sg>
• PROBMIV'99: Call for Participation
  99/06/26 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• Call for Papers HS'00 -- for the Amast newsletter
  99/06/26 -- "Bruce H. Krogh" <krogh@ece.cmu.edu>
• No Subject
  99/06/29 -- Raamsdonk van F <femke@cs.vu.nl>
• CSL'99 Programme and CFP
  99/06/30 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• CFP: Workshop on Real-Time Constraints
  99/07/04 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Final CFP: ASIAN'99, Phuket, Dec 10-12, 1999
  99/07/05 -- Roland Yap Hock Chuan <asian99@comp.nus.edu.sg>
• Re: ICONIP'99 workshop and Expo in Dunedin, New Zealand ; AIT'99
  99/07/05 -- Kitty Ko <KittyKo@infoscience.otago.ac.nz>
• Permanent position in foundations of computation
  99/07/07 -- Peter Williams <peterw@cogs.susx.ac.uk>
• [Call for Participation: <<UML>>'99]
  99/07/08 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• Job oportunity at INRIA-Rocquencourt
  99/07/09 -- Pierre Deransart <deransar@mikonos.inria.fr>
• SERG Report Announcement
  99/07/09 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• MONET Special Issue on Multipoint Communication
  99/07/09 -- basagni@utdallas.edu
• CFP: STACS'2000
  99/07/13 -- Marc Tommasi <tommasi@univ-lille3.fr>
• CSL99 Programme and Call for Participation
  99/07/14 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• CHARME'99 - call for participation
  99/07/14 -- Laurence Pierre <laurence@gyptis.univ-mrs.fr>
• FST&TCS'99 -- A workshop on mobile computation
  99/07/20 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• Call for Participation VFM'99
  99/07/20 -- sjouke@win.tue.nl (Sjouke Mauw)
• LOPSTR'99: call-for-participation
  99/07/21 -- Annalisa Bossi <bossi@oink.dsi.unive.it>
• Call for papers: Workshop on Generic Programming 2000
  99/07/21 -- Johan Jeuring <johanj@cs.uu.nl>
• [CFP:] OOPSLA'99 Workshop
  99/07/22 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• TRIMARAN 2.0 Released
  99/07/23 -- Trimaran <trimaran@react-ilp.cs.nyu.edu>
• CATS 2000 Call for Papers
  99/07/23 -- David A Wolfram <daw@cs.anu.edu.au>
• Vacancies @ EUR
  99/07/26 -- "A. de Bruin" <adebruin@few.eur.nl>
• CFP&R: ACM SAC 2000 - Track on COORDINATION
  99/07/29 -- Andrea Omicini <aomicini@deis.unibo.it>
• NETWORKING 2000
  99/07/29 -- Rebecca Morales <Rebecca.Morales@prism.uvsq.fr>
• No Subject
  99/07/30 -- "A. EL JAI" <Abdelhaq.Eljai@univ-perp.fr>
• CFP: Workshop on Distributed System Validation and Verification
  99/08/02 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• PA JAVA 2000 CFP
  99/08/02 -- practical-applications@pap.com
• LOPSTR-SAS 99: CALL FOR PARTICIPATION
  99/08/03 -- Annalisa Bossi <bossi@oink.dsi.unive.it>
• CFP: Workshop on Real-Time Constraints (2nd Call)
  99/08/06 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• PAKeM 2000 CFP
  99/08/06 -- practical-applications@pap.com
• PADD 2000 CFP
  99/08/06 -- practical-applications@pap.com
• TACAS 2000 - Call for Contributions
  99/08/07 -- Tiziana Margaria <tiziana@guiness.cs.uni-dortmund.de>
• Re: WAIT99 (CFP - Preliminar)
  99/08/10 -- wait99 <wait99@sol.info.unlp.edu.ar>
• TCS2000, call for papers
  99/08/12 -- HAGIYA Masami <hagiya@is.s.u-tokyo.ac.jp>
• CADE-17 Preliminary Call For Papers
  99/08/12 -- David McAllester <dmac@research.att.com>
• JMLC2000: Call for Papers
  99/08/16 -- jmlc@inf.ethz.ch
• Remember: CSL'99
  99/08/17 -- csl99org@eucmos.sim.ucm.es
• Haskell99 Call for Participation
  99/08/17 -- "Erik Meijer" <erik@cse.ogi.edu>
• CHARME'99 Early Registration Deadline is tomorrow!
  99/08/17 -- Thomas Kropf <address erased upon request, 29 May 2002>
• FST&TCS'99
  99/08/18 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• CASES'99 Advance Program
  99/08/19 -- Bruce L Jacob <blj@po4.glue.umd.edu>
• Research Position (Univ. of Karlsruhe, Germany)
  99/08/20 -- Klaus Schneider <Klaus.Schneider@ira.uka.de>
• Extended Deadline for RTC-99 (Final CFP)
  99/08/21 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Call for Participation - FORTE/PSTV'99
  99/08/21 -- Samuel Chanson <chanson@cs.ust.hk>
• FCT'99 Call for Participation
  99/08/22 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
• <<UML>>'99: advance program, registration and hotel
  99/08/25 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• SERG Report Announcement
  99/08/25 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• Last CFP: STACS'2000
  99/08/27 -- Marc Tommasi <tommasi@univ-lille3.fr>
• HASE 99 Call for Participation and Advance Program
  99/08/27 -- "David B. Stewart" <dstewart@eng.umd.edu>
• 6thSPIN99 - Call for Participation
  99/08/29 -- Stefan Leue <sleue@fee.uwaterloo.ca>
• CfP Performance Tools (TOOLS 2000)
  99/08/30 -- Joost-Pieter Katoen <katoen@cs.utwente.nl>
• Sixth Barcelona Logic Meeting (1)
  99/08/30 -- "Josep M. Font" <font@mat.ub.es>
• PhD and Postdoc Positions in Software Technologu (Utrecht University)
  99/08/31 -- "Erik Meijer" <erik@cse.ogi.edu>
• PhD opportunity - Policy specification and design in Distributed Systems
  99/08/31 -- "J.Derrick" <J.Derrick@ukc.ac.uk>
• Work-in-Progress RTC-99 Session CFP
  99/09/01 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Sixth Barcelona Logic Meeting (6BLM) : First announcement
  99/09/01 -- "Josep M. Font" <font@mat.ub.es>
• [2nd CFP:] OOPSLA'99 workshop #23
  99/09/02 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• Jelia 2000 Call for Papers
  99/09/02 -- Manuel Ojeda Aciego <aciego@ctima.uma.es>
• ETAPS 2000 in Berlin, 2nd Call for Papers
  99/09/02 -- Doris Faehndrich <doris@cs.tu-berlin.de>
• FroCoS'2000: Third Call for Papers
  99/09/02 -- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
• Invitation From FORTE/PSTV'99
  99/09/03 -- "Yin Xia" <yxia@csnet1.cs.tsinghua.edu.cn>
• Workshop on Ubiquitous Computing
  99/09/03 -- Dr H Mohanty <hmcs@uohyd.ernet.in>
• DISC'99 Registration (Last Call)
  99/09/06 -- DISC 99 <disc99@dcs.fmph.uniba.sk>
• Linux@work: Amsterdam
  99/09/07 -- Roberto Zicari <zicari@ltt.de>
• CFP: DSVV 2000 (International Workshop on Distributed System Validation and Verification)
  99/09/09 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• ACM ICPC Asia Region (Kanpur Site) Contest
  99/09/09 -- "P. Gupta" <pg@iitk.ac.in>
• SAS-LOPSTR'99 Last Call for Participation
  99/09/09 -- Agostino Cortesi <cortesi@dsi.unive.it>
• SERG REPORT ANNOUNCEMENT
  99/09/09 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• CfP: Journal of UCS, Special Issue on RE
  99/09/10 -- recs@informatik.uni-kl.de
• (fwd) Announcing PVS Version 2.3
  99/09/11 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) CfParticipation: CoFI at FM'99
  99/09/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• Mobile Computation: deadline extension
  99/09/14 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• LOFT4: call for papers
  99/09/14 -- Giacomo Bonanno <gfbonanno@ucdavis.edu>
• ICCI2000_Call_for_Papers
  99/09/15 -- almulla@sci.kuniv.edu.kw (Almulla M)
• FMOODS 2000 CFP correction
  99/09/16 -- Carolyn Talcott <clt@Steam.Stanford.EDU>
• Networking2000:SUBMISSION DEADLINE EXTENDED to OCTOBER 1
  99/09/16 -- Rebecca Morales <Rebecca.Morales@prism.uvsq.fr>
• call for papers: ASM2000, March 19th - 24th
  99/09/16 -- Application Asm <asm@tik.ee.ethz.ch>
• CAV 2000 call for papers
  99/09/17 -- "E. Allen Emerson" <emerson@cs.utexas.edu>
• FORTE/PSTV'99 Call for Participation
  99/09/17 -- Jianping Wu <jianping@sea.net.edu.cn>
• PA EXPO 2000 Second Call for Papers
  99/09/20 -- info@pap.com
• Last CFP: FroCoS'2000
  99/09/20 -- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
• CADE-17 Call for Workshops and Tutorials
  99/09/21 -- Michael Kohlhase <kohlhase@ags.uni-sb.de>
• Job Opportunity at INRIA Sophia Antipolis
  99/09/23 -- Isabelle Attali <Isabelle.Attali@sophia.inria.fr>
• TANCS 2000 - First Call for Experimental Papers
  99/09/24 -- "TANCS 2000" <tancs@dis.uniroma1.it>
• for Amast newsletter
  99/09/26 -- "Bruce H. Krogh" <krogh@ece.cmu.edu>
• Linux@work: Amsterdam
  99/09/29 -- Roberto Zicari <zicari@ltt.de>
• POPL '00, List of accepted papers
  99/09/29 -- Thomas Reps <reps@cs.wisc.edu>
• Linux@work: Amsterdam -- reminder
  99/09/30 -- Roberto Zicari <zicari@ltt.de>
• ETAPS'2000: tool demonstrations
  99/10/01 -- Don Sannella <dts@dcs.ed.ac.uk>
• CfP: 5th International Workshop on Formal Methods for Industrial Critical Systems
  99/10/04 -- "A. Rennoch" <rennoch@fokus.gmd.de>
• AMAST 2000 -- reminder
  99/10/04 -- scollo@cs.utwente.nl (Pippo Scollo)
• Faculty positions in computing and software
  99/10/05 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• CFP FMPPTA2000
  99/10/05 -- Dominique Mery <Dominique.Mery@loria.fr>
• ECAI 2000 Call for Tutorial Proposals
  99/10/05 -- Hans-Juergen Buerckert <hjb@dfki.de>
• CFP ACIDCA2000 (www.chez.com/acidca2000)
  99/10/05 -- Khalil DRIRA <khalil@laas.fr>
• FroCoS'2000: EXTENDED DEADLINE (OCTOBER 15, 1999)
  99/10/06 -- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
• MFPS 16
  99/10/06 -- Michael Mislove <mwm@math.tulane.edu>
• SERG Report Announcement
  99/10/06 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• Just Published! Three Books
  99/10/07 -- Mohamed Fayad <fayad@cse.unl.edu>
• 2nd CFP: Special issue of JSC on Symbolic Computation & Automated Deduction
  99/10/07 -- Alessandro Armando <armando@armando.dist.unige.it>
• LPNMR'99 Call for Participation
  99/10/08 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
• TACAS 2000 - Submission deadline approaching!
  99/10/10 -- Tiziana Margaria <tiziana@guiness.cs.uni-dortmund.de>
• ETAPS 2000 in Berlin, Last Call for Papers
  99/10/12 -- Doris =?iso-8859-1?Q?F=E4hndrich?= <doris@cs.tu-berlin.de>
• ICSSEA '99
  99/10/12 -- Jean-Claude RAULT <rault@cnam.fr>
• ECAI2000 WORKSHOP PROPOSALS
  99/10/12 -- cordier marie-odile <Marie-Odile.Cordier@irisa.fr>
• AISB-00: Extended Deadline for SYMPOSIUM PROPOSALS, 29th of October
  99/10/12 -- Mark G Lee <M.G.Lee@cs.bham.ac.uk>
• CEC2000 Electronic Submissions Active
  99/10/12 -- "i.kuscu" <css1ik@mcs.surrey.ac.uk>
• MPC2000: 5th Int.Conf. on Math. of Program Construction - CFP
  99/10/12 -- "Jose N. Oliveira" <jno@seide.di.uminho.pt>
• CSL 2000 -- 1st CFP
  99/10/13 -- Thorsten Altenkirch <alti@informatik.uni-muenchen.de>
• Faculty opening at Western Michigan University
  99/10/13 -- "Ajay Gupta" <ajay.gupta@wmich.edu>
• Workshop on Refinement and Abstraction
  99/10/14 -- HAGIYA Masami <hagiya@is.s.u-tokyo.ac.jp>
• workshop nov 16 you are welcome
  99/10/14 -- Dov Gabbay <dg@dcs.kcl.ac.uk>
• European Conference of AI, Call for Workshop Proposals
  99/10/15 -- Joscha Bach <bach@informatik.hu-berlin.de>
• Call For papers: PDPTA'2000/CISST'2000/IC-AI'2000 Int'l Conf, Las Vegas, June 26-29,2000
  99/10/15 -- Hamid Arabnia <hra@cs.uga.edu>
• Knowledge and Information Systems: Vol 1 No 4 (1999)
  99/10/18 -- Xindong Wu <xwu@gauss.Mines.EDU>
• Deadline for ICLP99 early registration/hotel approaching
  99/10/19 -- Publicity for ICLP 99 <iclp99pub@cs.nmsu.edu>
• SERG Report Announcement
  99/10/19 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• High Assurance Systems Engineering
  99/10/20 -- "David B. Stewart" <dstewart@eng.umd.edu>
• Call for Participation
  99/10/20 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• CMCS2000
  99/10/20 -- Horst Reichel <reichel@tcs.inf.tu-dresden.de>
• PA EXPO 2000 CFP
  99/10/21 -- info@pap.com
• AiML-ICTL 2000: First Call for Papers
  99/10/21 -- mdr@wins.uva.nl (Maarten de Rijke)
• CL2000: 2nd call for papers
  99/10/22 -- femke@cs.vu.nl (Raamsdonk van F)
• Chair: Theory of Automata at TU Dresden
  99/10/25 -- Horst Reichel <reichel@tcs.inf.tu-dresden.de>
• 1999 ECCAI ARTIFICIAL INTELLIGENCE DISSERTATION AWARD
  99/10/27 -- Silvia Miksch <silvia@ifs.tuwien.ac.at>
• LPNMR'99 Call for Participation
  99/10/27 -- "LPNMR'99" <lpnmr99@dbai.tuwien.ac.at>
• [CONCUR 2000] Conference Announcement and Call for Workshops
  99/10/27 -- Uwe Nestmann <uwe@cs.auc.dk>
• ICLP'99: Deadline for Early Registration
  99/10/28 -- Publicity for ICLP 99 <iclp99pub@cs.nmsu.edu>
• FORTE / PSTV 2000 - preliminary CfP
  99/10/29 -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
• CFP: Extended Deadline for DSVV 2000
  99/10/30 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• ASIAN'99 CFP & Preliminary Program, Dec 10-12, Phuket
  99/10/30 -- Roland Yap Hock Chuan <ryap@comp.nus.edu.sg>
• ICALP'00:call for papers
  99/11/03 -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• ECAI 2000 and PAIS 2000: Call for Papers
  99/11/04 -- Joscha Bach <bach@informatik.hu-berlin.de>
• International Masters Programme in COMPUTATIONAL LOGIC
  99/11/04 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
• New data-structure for fully symbolic manipulation of dense-time systems
  99/11/05 -- Farn Wang <farn@iis.sinica.edu.tw>
• CFP NMR2000 -> abduction
  99/11/05 -- Marc Denecker <denecker@cs.uky.edu>
• SAS 2000: First Call for Papers
  99/11/05 -- Dave Schmidt <schmidt@cis.ksu.edu>
• TE2000 Call for Contribution
  99/11/08 -- Jean-Marc.Jezequel@irisa.fr
• call for papers: safety-critical workshop
  99/11/08 -- Robert Zimmer <Robert.Zimmer@brunel.ac.uk>
• Position available
  99/11/09 -- Michael Mislove <mwm@math.tulane.edu>
• CFP ESSLLI-2000 Student Session
  99/11/09 -- Catherine Pilière <Catherine.Piliere@loria.fr>
• Engineering of Intelligent Systems
  99/11/10 -- pascal@icsc.ab.ca
• TCS2000
  99/11/10 -- Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
• PADL'00: Call for Participation
  99/11/10 -- Publicity for ICLP 99 <iclp99pub@cs.nmsu.edu>
• TOPO2000 Announcement0
  99/11/11 -- Dennis Burke <dburke@notch.mathstat.muohio.edu>
• CADE-17 Second Call for Workshops and Tutorials
  99/11/11 -- Michael Kohlhase <kohlhase@ags.uni-sb.de>
• research grants
  99/11/11 -- vogler@orchid.inf.tu-dresden.de (Prof. Dr. Vogler)
• CL2000: call for workshop proposals
  99/11/11 -- femke@cs.vu.nl (Raamsdonk van F)
• ADG 2000 - Call for Papers
  99/11/12 -- Dongming Wang <Dongming.Wang@imag.fr>
• BRICS Int. PhD School: Call for Admission and Grant Applications
  99/11/15 -- Uffe Henrik Engberg <engberg@brics.dk>
• CADE-17 second call for papers
  99/11/15 -- David McAllester <dmac@research.att.com>
• TSD 2000 - Preliminary Announcement
  99/11/16 -- "Robert Batusek" <xbatusek@informatics.muni.cz>
• FMOODS'2000 cfp
  99/11/16 -- Carolyn Talcott <clt@Steam.Stanford.EDU>
• FICS worskhop call for papers
  99/11/17 -- Irene.Guessarian@liafa.jussieu.fr (Irene GUESSARIAN)
• Call for Papers: WAGA'2000
  99/11/18 -- Marjan Mernik <marjan.mernik@uni-mb.si>
• WoLLIC'2000
  99/11/18 -- Ruy de Queiroz <ruy@di.ufpe.br>
• EvoIASP2000: extended deadline and Best Paper Award
  99/11/18 -- cagnoni@CE.UniPR.IT
• PA EXPO 2000 FINAL CFP
  99/11/19 -- info@pap.com
• JMLC2000, 2ND CALL FOR PAPERS
  99/11/22 -- JMLC <jmlc@inf.ethz.ch>
• ASIAN'99 Final CFP, Dec 10-12, 1999, Phuket
  99/11/23 -- Roland Yap Hock Chuan <ryap@comp.nus.edu.sg>
• Call For Papers: DTP'00
  99/11/23 -- Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
• POST-DOC at ENS-LYON
  99/11/24 -- Pierre Lescanne <Pierre.Lescanne@ens-lyon.fr>
• Assistant Professor for Secure Systems
  99/11/25 -- Bernd =?iso-8859-1?Q?Krieg=2DBr=FCckner?= <bkb@informatik.uni-bremen.de>
• 1st Call for Papers
  99/11/25 -- root <root@Leibniz.lili.uni-bielefeld.de>
• LICS 2000, Call for Papers
  99/11/28 -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• PA EXPO 2000 FINAL CALL FOR INDUSTRIAL REPORTS
  99/11/29 -- info@pap.com
• Job Position at Milano University
  99/11/29 -- "Prof. Apolloni Bruno" <apolloni@dsi.unimi.it>
• STACS2000: CFP
  99/12/01 -- Marc.Tommasi@lifl.fr
• (fwd) University Lecturer (UD) vacancy
  99/12/01 -- scollo@cs.utwente.nl (Pippo Scollo)
• SPIN'2000 CFP
  99/12/02 -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• ETAPS 2001: CALL FOR SATELLITE EVENT PROPOSALS
  99/12/02 -- Maura Cerioli <cerioli@disi.unige.it>
• Workshop "Integrating Information ..." (ESSLLI 2000)
  99/12/03 -- "Dr. Dagmar Schmauks" <Dagmar.Schmauks@tu-berlin.de>
• CSL 2000, call for papers
  99/12/04 -- Thorsten Altenkirch <alti@informatik.uni-muenchen.de>
• [Jim.Woodcock@comlab: ICECCS 2000]
  99/12/06 -- Jim Woodcock <Jim.Woodcock@comlab.ox.ac.uk>
• TANCS 2000 - Second Call for Experimental Papers
  99/12/06 -- "TANCS 2000" <tancs@dis.uniroma1.it>
• Preliminary Announcement AMILP2000
  99/12/08 -- Anton Nijholt <anijholt@cs.utwente.nl>
• STACS2000:GRANTS AVAILABLE!!!
  99/12/08 -- Marc.Tommasi@lifl.fr
• Call for papers for the ISADS2000
  99/12/08 -- Reyes Lozano Leo Hendrik <lreyes@gdl.cinvestav.mx>
• GETGRATS grants: Call for Applications
  99/12/09 -- Andrea Corradini <andrea@di.unipi.it>
• AMAST 2000 new due dates
  99/12/09 -- scollo@cs.utwente.nl (Pippo Scollo)
• PhD and Postdoc Grants in Munich
  99/12/10 -- Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
• Welcome to games2000-cs
  99/12/10 -- Majordomo@lists.Stanford.EDU
• correction: AMAST 2000 new due dates
  99/12/10 -- scollo@cs.utwente.nl (Pippo Scollo)
• CP2000 Call for Papers
  99/12/11 -- Martin Henz <henz@comp.nus.edu.sg>
• GAMES-2000
  99/12/11 -- Yoav Shoham <shoham@cs.stanford.edu>
• MPC2000: Last Call for Papers
  99/12/13 -- jno@shiva.di.uminho.pt (Jose Nuno Oliveira)
• CFP: Journal of Theoretical Computer Science, Special Issue on "Dependable Computing"
  99/12/13 -- Gilles Motet <Gilles.Motet@insa-tlse.fr>
• SAS2000: Second Call for Papers
  99/12/13 -- Dave Schmidt <schmidt@cis.ksu.edu>
• CL2000: final call for workshop proposals
  99/12/14 -- femke@cs.vu.nl (Raamsdonk van F)
• 2nd CALL FOR PAPERS -- CSL 2000 (revised)
  99/12/14 -- Thorsten Altenkirch <alti@tcs.informatik.uni-muenchen.de>
• MFCSIT2000 -- First Call for Papers
  99/12/14 -- Tony Seda <aks@ucc.ie>
• ANTS'2000: Call for papers
  99/12/14 -- Marco DORIGO <mdorigo@ulb.ac.be>
• games2000-cs is dead -- long live games2000-cs
  99/12/14 -- Yoav Shoham <shoham@cs.stanford.edu>
• Instructional Course in Quantum Computing
  99/12/15 -- Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
• ECAI 2000/PAIS 2000 - 2nd Call for Papers
  99/12/15 -- "ECAI 2000 Publicity [Markus Hannebauer]" <hannebau@first.gmd.de>
• [CFP:]<<UML>>2000
  99/12/15 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• CfP Reminder: Formal Methods for Industrial Critical Systems
  99/12/15 -- "A. Rennoch" <rennoch@fokus.gmd.de>
• PADL'00: Extended Registration Deadline
  99/12/15 -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• CfP: Wksp. on Graph Transformation and Visual Modeling Techniques
  99/12/16 -- Andrea Corradini <andrea@di.unipi.it>
• ICALP: 2nd CFP
  99/12/17 -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• CONCUR 2000: Call for Papers
  99/12/20 -- Concur2000 <concur2k@cse.psu.edu>
• CAV2000 Second Call for Papers
  99/12/21 -- sistla@surya.eecs.uic.edu
• 6th Barcelona Logic Meeting: Update and financial assistance
  99/12/21 -- "Josep M. Font" <font@mat.ub.es>
• FTRTFT 2000: Call for Papers
  99/12/22 -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• No Subject
  99/12/23 -- Stefano Cagnoni <cagnoni@CE.UniPR.IT>
• FIRST CfP FORTE/PSTV 2000 and Workshop announcement
  99/12/23 -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
• ECAI 2000 WS on Balancing Reactivity and Social Deliberation in MAS
  99/12/27 -- Markus Hannebauer <hannebau@first.gmd.de>
• PADL'00
  99/12/27 -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• New FTRTFT Dates
  99/12/28 -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• LICS 2000 - Last Call for Papers
  99/12/28 -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• Lipari School 2000 - E-Commerce and On-line Algorithms
  99/12/29 -- "ferro alfredo" <ferro@dipmat.unict.it>