AMAST Mail 2000

• 2nd CFP: Workshop "Integrating Information ..."
  Tue, 4 Jan 2000 13:55:27 +0100 (MET) -- root <root@Leibniz.lili.uni-bielefeld.de>
• CADE-17 submission deadline is January 15
  Tue, 4 Jan 2000 16:30:45 +0100 (MET) -- David McAllester <dmac@research.att.com>
• Announcement: EXTENDED DEADLINE FOR CMCS'2000
  Wed, 5 Jan 2000 13:22:47 +0100 (MET) -- Jan Rutten <Jan.Rutten@cwi.nl>
• CL2000: 3rd call for papers
  Wed, 5 Jan 2000 13:54:14 +0100 (MET) -- "Raamsdonk van F" <femke@skiff.cs.vu.nl>
• STACS 2000: Program and registration
  Thu, 6 Jan 2000 09:20:45 +0100 (MET) -- Marc.Tommasi@lifl.fr
• SAS2000 submission reminder
  Fri, 7 Jan 2000 00:16:32 +0100 (MET) -- Dave Schmidt <schmidt@cis.ksu.edu>
• Reminder: ICALP call for paper
  Fri, 7 Jan 2000 15:57:41 +0100 (MET) -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• reminder: AMAST 2000 submission duedate
  Fri, 7 Jan 2000 22:51:29 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• ICALP: dead line extended to january 24th.
  Mon, 10 Jan 2000 10:35:41 +0100 (MET) -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• Call for Registration EEF-Summerschool on Formal Methods and Performance Analysis (FMPA 2000)
  Mon, 10 Jan 2000 12:28:42 +0100 (MET) -- Joost-Pieter Katoen <katoen@cs.utwente.nl>
• Agent Course: Design of Intelligent Multi-Agent Systems
  Mon, 10 Jan 2000 14:48:37 +0100 (MET) -- jonker@cs.vu.nl (CM Jonker)
• new logic programming journal
  Mon, 10 Jan 2000 14:54:57 +0100 (MET) -- K.R.Apt@cwi.nl
• Final call for papers: Formal methods for Industial Critical Systems
  Mon, 10 Jan 2000 15:36:50 +0100 (MET) -- "A. Rennoch" <rennoch@fokus.gmd.de>
• HASE 2000 cfp
  Mon, 10 Jan 2000 18:29:05 +0100 (MET) -- Diego Latella <Diego.Latella@cnuce.cnr.it>
• Correction: SAS2000 deadline extended
  Tue, 11 Jan 2000 00:23:33 +0100 (MET) -- Dave Schmidt <schmidt@cis.ksu.edu>
• 2nd Call for papers: Workshop on Generic Programming 2000
  Tue, 11 Jan 2000 14:01:47 +0100 (MET) -- Johan Jeuring <johanj@cs.uu.nl>
• Reminder: CFP NMR2000, abduction
  Tue, 11 Jan 2000 14:55:10 +0100 (MET) -- Marc Denecker <Marc.Denecker@cs.kuleuven.ac.be>
• Academic Positions - CS Dept - Univ of Cyprus
  Wed, 12 Jan 2000 09:50:56 +0100 (MET) -- George Angelos Papadopoulos <george@ada.cs.ucy.ac.cy>
• DISC 2000 CFP
  Wed, 12 Jan 2000 15:37:30 +0100 (MET) -- Maurice Herlihy <mph@cs.brown.edu>
• Workshop on Issues in the Theory of Security (WITS '00)
  Thu, 13 Jan 2000 19:00:13 +0100 (MET) -- Riccardo Focardi <focardi@dsi.unive.it>
• CfP: ESAW'00 Workshop at ECAI 2000
  Thu, 13 Jan 2000 19:04:01 +0100 (MET) -- Andrea Omicini <aomicini@deis.unibo.it>
• Call For Papers: Int'l MultiConf, Las Vegas, June 26-29, PDPTA + CISST + IC-AI + ...
  Thu, 13 Jan 2000 21:56:51 +0100 (MET) -- Hamid Arabnia <hra@cs.uga.edu>
• Book announcement
  Fri, 14 Jan 2000 15:41:54 +0100 (MET) -- Steve Schneider <steve@dcs.rhbnc.ac.uk>
• FICS'2000 Call for Papers
  Fri, 14 Jan 2000 17:57:16 +0100 (MET) -- ig@liafa.jussieu.fr (Irene GUESSARIAN)
• TCS2000 -- Call For Papers --
  Sat, 15 Jan 2000 10:13:46 +0100 (MET) -- Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
• Asia-Pacific Conference on Quality Software
  Mon, 17 Jan 2000 08:26:39 +0100 (MET) -- tse@csis.hku.hk
• ICALP 2000: last cfp
  Mon, 17 Jan 2000 10:35:24 +0100 (MET) -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• Final Call for Papers - HoloMAS2000
  Mon, 17 Jan 2000 15:55:21 +0100 (MET) -- "Michal Pechoucek" <pechouc@labe.felk.cvut.cz>
• CADE-17 submission deadline extended to January 31
  Mon, 17 Jan 2000 16:53:58 +0100 (MET) -- David McAllester <dmac@research.att.com>
• model checking at CADE-17
  Mon, 17 Jan 2000 19:12:25 +0100 (MET) -- David McAllester <dmac@research.att.com>
• CADE deadline correction --- January 31 not 15
  Mon, 17 Jan 2000 20:13:08 +0100 (MET) -- David McAllester <dmac@research.att.com>
• Hybrid Systems: Computation and Control: Call for Participation
  Tue, 18 Jan 2000 00:59:29 +0100 (MET) -- Howard Wong-Toi <howard@cadence.com>
• ECAI 2000 and PAIS 2000 Final Call for Papers
  Tue, 18 Jan 2000 14:27:23 +0100 (MET) -- "ECAI 2000 Publicity [Markus Hannebauer]" <hannebau@first.gmd.de>
• CFP ESSLLI-2000
  Thu, 20 Jan 2000 15:10:50 +0100 (MET) -- Catherine Piliere <Catherine.Piliere@loria.fr>
• CFP: CADE-17 WORKSHOP ON AUTOMATION OF PROOFS BY MATHEMATICAL INDUCTION
  Thu, 20 Jan 2000 16:37:57 +0100 (MET) -- Carsten Schuermann <carsten@cs.cmu.edu>
• I: Lipari School 2000 - E-Commerce and On-line Algorithms
  Thu, 20 Jan 2000 17:10:54 +0100 (MET) -- "ferro alfredo" <ferro@dmi.unict.it>
• Applied Semantics Summer School APPSEM'2000
  Thu, 20 Jan 2000 19:53:05 +0100 (MET) -- Simao Desousa <Simao.Desousa@sophia.inria.fr>
• CP2000: Call for Workshop Proposals
  Fri, 21 Jan 2000 02:55:30 +0100 (MET) -- Martin Henz <henz@comp.nus.edu.sg>
• CP2000: Second Call for Papers
  Fri, 21 Jan 2000 06:45:47 +0100 (MET) -- Martin Henz <henz@comp.nus.edu.sg>
• 2nd Call for papers: WAGA'2000
  Fri, 21 Jan 2000 09:44:03 +0100 (MET) -- Marjan Mernik <marjan.mernik@uni-mb.si>
• The LINEAR International Summer School
  Fri, 21 Jan 2000 12:55:03 +0100 (MET) -- Nuno Barreiro <nbar@di.fc.ul.pt>
• Final CFP: CSL 2000
  Fri, 21 Jan 2000 15:32:06 +0100 (MET) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
• TANCS 2000 - Deadline Extension - February 4, 2000
  Fri, 21 Jan 2000 20:38:19 +0100 (MET) -- "TANCS 2000" <tancs@dis.uniroma1.it>
• AMiLP 2000: Call for Contributions
  Fri, 21 Jan 2000 23:47:42 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• Call for Papers: APAQS 2000
  Sun, 23 Jan 2000 03:06:11 +0100 (MET) -- tse@csis.hku.hk
• FMOODS'2000 cfp
  Mon, 24 Jan 2000 00:13:48 +0100 (MET) -- Carolyn Talcott <clt@Steam.Stanford.EDU>
• CFP CADE-17 Workshop "Type-theoretic Languages: Proof search and Semantics"
  Mon, 24 Jan 2000 10:17:53 +0100 (MET) -- Didier Galmiche <galmiche@poncelet.loria.fr>
• IEEE Infocom 2000
  Mon, 24 Jan 2000 11:49:30 +0100 (MET) -- Guy Pujolle <guy@pujolle.com>
• Final CFP: Integrating Information from Different Channels...
  Mon, 24 Jan 2000 13:59:35 +0100 (MET) -- root <root@Leibniz.lili.uni-bielefeld.de>
• SERG REPORT - Deriving Real-Time Monitors from System Requirements Documentation
  Mon, 24 Jan 2000 16:33:40 +0100 (MET) -- Doris Burns <burns@raid.cas.mcmaster.ca>
• New book: Model checking, by Clarke, Grumberg, Peled
  Mon, 24 Jan 2000 23:29:22 +0100 (MET) -- Doron Peled <doron@research.bell-labs.com>
• call for participation: ASM2000, March 19th - March 24th
  Thu, 27 Jan 2000 05:02:33 +0100 (MET) -- Application Asm <asm@tik.ee.ethz.ch>
• FroCoS'2000: Call for Participation
  Thu, 27 Jan 2000 16:34:32 +0100 (MET) -- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
• STACS 2000
  Fri, 28 Jan 2000 10:55:37 +0100 (MET) -- Marc.Tommasi@lifl.fr
• ETAPS 2000 - Call for Participation
  Fri, 28 Jan 2000 19:09:25 +0100 (MET) -- Doris Faehndrich <doris@cs.tu-berlin.de>
• ASCM
  Mon, 31 Jan 2000 09:02:53 +0100 (MET) -- gao s <gao@cs.twsu.edu>
• CP-AI-OR'00: Call for Participation
  Mon, 31 Jan 2000 19:20:28 +0100 (MET) -- Stefan Tschoeke <sts@uni-paderborn.de>
• [CFP:]<<UML>>2000 (2nd Call)
  Tue, 1 Feb 2000 17:41:15 +0100 (MET) -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• CSL 2000 : Deadline extension until Feb 7
  Tue, 1 Feb 2000 18:19:49 +0100 (MET) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
• It's time to register for Middleware 2000
  Tue, 1 Feb 2000 20:56:45 +0100 (MET) -- banavar@us.ibm.com
• AiML-ICTL 2000: Second Call for Papers
  Tue, 1 Feb 2000 23:34:20 +0100 (MET) -- Advances in Modal Logic <mdr@acm.org>
• random2000: cfp
  Wed, 2 Feb 2000 11:28:19 +0100 (MET) -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• Deadline has moved
  Wed, 2 Feb 2000 11:57:34 +0100 (MET) -- root <root@Leibniz.lili.uni-bielefeld.de>
• CL2000: deadline postponed to February 21st
  Thu, 3 Feb 2000 14:54:39 +0100 (MET) -- "Raamsdonk van F" <femke@skiff.cs.vu.nl>
• Call for Systems-Session at NMR 2000
  Sat, 5 Feb 2000 14:20:19 +0100 (MET) -- Juergen Dix <dix@uni-koblenz.de>
• New PhD positions at Chalmers
  Mon, 7 Feb 2000 17:10:33 +0100 (MET) -- "K. V. S. Prasad" <prasad@cs.chalmers.se>
• Try Constraint Handling Rules Online
  Wed, 9 Feb 2000 11:49:06 +0100 (MET) -- Thom Fruehwirth <fruehwir@informatik.uni-muenchen.de>
• FMOODS'2000 cfp - WITH SUBMISSION INSTRUCTIONS!
  Wed, 9 Feb 2000 17:58:13 +0100 (MET) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• Verification tool announcement: RED v.1.0
  Thu, 10 Feb 2000 05:16:25 +0100 (MET) -- farn@iis.sinica.edu.tw (Farn Wang)
• CfP: ECOOP 2000 Workshop on Formal Techniques for Java Programs
  Thu, 10 Feb 2000 09:10:21 +0100 (MET) -- Peter Mueller <Peter.Mueller@FernUni-Hagen.de>
• WFLP'2000
  Thu, 10 Feb 2000 10:04:58 +0100 (MET) -- Salvador Lucas Alba <slucas@dsic.upv.es>
• CfP #2: Wksp. on Graph Transformation and Visual Modeling Techniques @ ICALP2000
  Thu, 10 Feb 2000 19:05:04 +0100 (MET) -- Andrea Corradini <andrea@di.unipi.it>
• CFP: Formal Methods and Computer Security
  Thu, 10 Feb 2000 22:12:59 +0100 (MET) -- Helmut Veith <veith@ux8.sp.cs.cmu.edu>
• PhD Postion / PostDoc / Assistant Professor at Freiburg
  Thu, 10 Feb 2000 22:46:11 +0100 (MET) -- Stefan Leue <leue@informatik.uni-freiburg.de>
• Job Announcement -- C.S. Dept. -- Univ. of Cyprus
  Fri, 11 Feb 2000 13:11:35 +0100 (MET) -- George Angelos Papadopoulos <george@ada.cs.ucy.ac.cy>
• Vacancy at Manchester University
  Fri, 11 Feb 2000 18:31:09 +0100 (MET) -- Renate Schmidt <schmidt@rspc.cs.man.ac.uk>
• Call For Papers: Int'l Conf, Las Vegas, June 26-29,2000: PDPTA + CISST + IC-AI + ...
  Fri, 11 Feb 2000 20:09:47 +0100 (MET) -- Hamid Arabnia <hra@cs.uga.edu>
• It's time to register for Middleware 2000!
  Mon, 14 Feb 2000 07:18:49 +0100 (MET) -- banavar@us.ibm.com
• Postdoc-position in a european project at University Paris 13
  Tue, 15 Feb 2000 20:00:42 +0100 (MET) -- Philippe Dague <Philippe.Dague@lipn.univ-paris13.fr>
• Assistant professorship and PhD position(s)
  Wed, 16 Feb 2000 15:24:17 +0100 (MET) -- Joost-Pieter Katoen <katoen@cs.utwente.nl>
• Two open research positions
  Wed, 16 Feb 2000 16:18:04 +0100 (MET) -- Torsten Schaub <torsten@cs.uni-potsdam.de>
• FST TCS 2000 --- cfpo ascii version --
  Thu, 17 Feb 2000 08:00:54 +0100 (MET) -- Sanjiva Prasad <sanjiva@CSE.IITD.ERNET.IN>
• ETAPS >> FMICS programme
  Thu, 17 Feb 2000 10:03:43 +0100 (MET) -- "A. Rennoch" <rennoch@fokus.gmd.de>
• International Masters Programme in COMPUTATIONAL LOGIC
  Thu, 17 Feb 2000 11:44:10 +0100 (MET) -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• No Subject
  Thu, 17 Feb 2000 22:15:56 +0100 (MET) -- Stefano Cagnoni <cagnoni@CE.UniPR.IT>
• TCS Special Issue: Call for Papers
  Fri, 18 Feb 2000 08:49:13 +0100 (MET) -- David A Wolfram <David.Wolfram@cs.anu.edu.au>
• CFP: EXPRESS'00 workshop
  Fri, 18 Feb 2000 13:11:58 +0100 (MET) -- Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
• Research scholarships available at Birmingham
  Fri, 18 Feb 2000 14:58:13 +0100 (MET) -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• ESSLLI-2000
  Fri, 18 Feb 2000 17:38:07 +0100 (MET) -- Catherine Piliere <Catherine.Piliere@loria.fr>
• CONCUR 2000: Second Call for Papers
  Sat, 19 Feb 2000 22:16:35 +0100 (MET) -- Concur2000 <concur2k@cse.psu.edu>
• CP2000: Final Call for Papers
  Tue, 22 Feb 2000 04:09:10 +0100 (MET) -- Martin Henz <henz@comp.nus.edu.sg>
• CfReg FMPA 2000: Euro-Summerschool on Formal Methods and Performance Analysis
  Tue, 22 Feb 2000 11:04:02 +0100 (MET) -- hermanns@cs.utwente.nl (Holger Hermanns)
• TOOLS USA 2000 Call for contributions
  Tue, 22 Feb 2000 23:38:47 +0100 (MET) -- "TOOLS Conferences" <announce@tools.com>
• CFP: Domain-Specific Languages for Software Engineering
  Wed, 23 Feb 2000 09:52:54 +0100 (MET) -- Marjan Mernik <marjan.mernik@uni-mb.si>
• FMOODS'2000 submission deadline is near
  Wed, 23 Feb 2000 21:04:03 +0100 (MET) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• No Subject
  Thu, 24 Feb 2000 03:01:08 +0100 (MET) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• MFPS 16 Call for Participation
  Thu, 24 Feb 2000 22:09:39 +0100 (MET) -- Michael Mislove <mwm@math.tulane.edu>
• MFPS 16 Hotel Deadline March 13!
  Fri, 25 Feb 2000 00:49:01 +0100 (MET) -- Michael Mislove <mwm@math.tulane.edu>
• CfP #3 [Deadline Extension]: Wksp. on Graph Transformation and Visual Modeling Techniques @ ICALP2000
  Mon, 28 Feb 2000 15:42:54 +0100 (MET) -- Andrea Corradini <andrea@di.unipi.it>
• Knowledge and Information Systems: Vol 2 No 1 (2000)
  Mon, 28 Feb 2000 19:20:36 +0100 (MET) -- Xindong Wu <xwu@gauss.Mines.EDU>
• Middleware 2000 early registration deadline is March 2nd
  Tue, 29 Feb 2000 15:40:31 +0100 (MET) -- banavar@us.ibm.com
• FMOODS 2000 Submission Deadline Extension
  Tue, 29 Feb 2000 23:40:39 +0100 (MET) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• SPIN2000 CFP
  Wed, 1 Mar 2000 21:51:13 +0100 (MET) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• LICS 2000 - Call for Short Presentations
  Wed, 1 Mar 2000 22:15:51 +0100 (MET) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• The LINEAR International Summer School
  Thu, 2 Mar 2000 00:50:15 +0100 (MET) -- Nuno Barreiro <nbar@di.fc.ul.pt> (by way of =?iso-8859-1?Q?Jos=E9?= Luiz Fiadeiro)
• 7th WoLLIC'2000
  Thu, 2 Mar 2000 15:38:30 +0100 (MET) -- Ruy de Queiroz <ruy@di.ufpe.br>
• 2nd cfp: FMCAD 2000 (formal methods in computer aided design)
  Thu, 2 Mar 2000 22:16:24 +0100 (MET) -- Steve Johnson <sjohnson@cs.indiana.edu>
• FTRTFT 2000: Second Call for Papers
  Fri, 3 Mar 2000 04:42:32 +0100 (MET) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• ITiCSE2000 Call for Workshop Participation
  Fri, 3 Mar 2000 13:43:48 +0100 (MET) -- Neville Dean <nd1@artemis.anglia.ac.uk>
• Enterprise Frameworks - CFPs
  Sat, 4 Mar 2000 22:42:22 +0100 (MET) -- Mohamed Fayad <fayad@cse.unl.edu>
• Topo2000 in July
  Sun, 5 Mar 2000 03:52:50 +0100 (MET) -- Dennis Burke <dburke@notch.mathstat.muohio.edu>
• TSD 2000 - Submission Deadline Approaching
  Mon, 6 Mar 2000 15:10:10 +0100 (MET) -- "Robert Batusek" <xbatusek@informatics.muni.cz>
• ETAPS 2000 - 2nd Call for Participation
  Mon, 6 Mar 2000 18:26:06 +0100 (MET) -- Doris Faehndrich <doris@cs.tu-berlin.de>
• MetaML release version 1.0
  Mon, 6 Mar 2000 20:02:58 +0100 (MET) -- "Zino Benaissa" <benaissa@cse.ogi.edu>
• 2nd CfP: ECOOP 2000 Workshop on Formal Techniques for Java Programs
  Tue, 7 Mar 2000 10:22:03 +0100 (MET) -- Peter Mueller <Peter.Mueller@FernUni-Hagen.de>
• Reminder: IDMS 2000 deadline is March 15
  Tue, 7 Mar 2000 20:13:39 +0100 (MET) -- Clever Ricardo Guareis de Farias <farias@cs.utwente.nl>
• CP2000: Final Call for Papers [NEW SUBMISSION DATES]
  Wed, 8 Mar 2000 10:46:25 +0100 (MET) -- Martin Henz <henz@comp.nus.edu.sg>
• FORTE/PSTV 2000 DEADLINE EXTENSION
  Wed, 8 Mar 2000 17:14:13 +0100 (MET) -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
• MFPS 16 Program & Registration
  Thu, 9 Mar 2000 01:04:55 +0100 (MET) -- Michael Mislove <mwm@math.tulane.edu>
• MFCS 2000 - Submission Deadline Approaching
  Thu, 9 Mar 2000 13:17:50 +0100 (MET) -- MFCS 2000 <mfcs2000@dcs.fmph.uniba.sk>
• CFP: CADE-17 WORKSHOP ON AUTOMATION OF PROOFS BY MATHEMATICAL INDUCTION
  Thu, 9 Mar 2000 19:28:50 +0100 (MET) -- Carsten Schuermann <carsten+@cs.cmu.edu>
• Final FMICS programme in Berlin
  Fri, 10 Mar 2000 11:09:08 +0100 (MET) -- "A. Rennoch" <rennoch@fokus.gmd.de>
• Vacancies in Computer Science at Royal Holloway, Univ of London
  Fri, 10 Mar 2000 14:44:05 +0100 (MET) -- Steve Schneider <steve@dcs.rhbnc.ac.uk>
• Conference: Mathematical Foundations of CS & IT
  Fri, 10 Mar 2000 15:55:33 +0100 (MET) -- Michel Schellekens <mpcs@cs.ucc.ie>
• Chair/Professor, Senior Lecturers and Lecturers in Computing at the OU
  Fri, 10 Mar 2000 16:32:07 +0100 (MET) -- Pat Hall <p.a.v.hall@open.ac.uk>
• reminder -- FMOODS 2000 Submission Deadline March 15
  Sat, 11 Mar 2000 06:57:35 +0100 (MET) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• PA EXPO 2000 Update
  Mon, 13 Mar 2000 17:57:23 +0100 (MET) -- info@pap.com
• FOSAD -- school on security
  Mon, 13 Mar 2000 23:54:00 +0100 (MET) -- Roberto Gorrieri <gorrieri@CS.UniBO.IT>
• CFP: APAQS 2000 Second Call for Papers
  Wed, 15 Mar 2000 06:10:26 +0100 (MET) -- tse@csis.hku.hk
• DSVV: Call For Participation
  Wed, 15 Mar 2000 06:35:01 +0100 (MET) -- Pao-Ann Hsiung <eric@iis.sinica.edu.tw>
• IDMS'2000: deadline extension
  Wed, 15 Mar 2000 10:47:00 +0100 (MET) -- Clever Ricardo Guareis de Farias <farias@cs.utwente.nl>
• announcement of a new book
  Wed, 15 Mar 2000 22:57:44 +0100 (MET) -- Egon Boerger <boerger@Di.Unipi.IT>
• FW: IIZUKA2000-Deadlines Approaching
  Thu, 16 Mar 2000 02:18:53 +0100 (MET) -- Kitty Ko <KittyKo@infoscience.otago.ac.nz>
• SAM2000 --- Grenoble --- june, 26-28, 2000 call for papers
  Thu, 16 Mar 2000 19:41:21 +0100 (MET) -- Susanne Graf <Susanne.Graf@imag.fr>
• Applied Semantics Summer School APPSEM'2000
  Fri, 17 Mar 2000 13:01:13 +0100 (MET) -- Simao Desousa <Simao.Desousa@sophia.inria.fr>
• CADE-17 ACCEPTED PAPERS
  Fri, 17 Mar 2000 17:53:54 +0100 (MET) -- David McAllester <dmac@research.att.com>
• (fwd) [CFP:] ECOOP'2000 wkshp on UML semantics
  Fri, 17 Mar 2000 22:39:26 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Spin Newsletter, No. 28
  Fri, 17 Mar 2000 22:45:27 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• AMiLP 2000 : Preliminary Call for Participation
  Fri, 17 Mar 2000 23:47:59 +0100 (MET) -- Pippo Scollo <scollo@aci.dmi.unict.it>
• Ph.D. thesis: "Real-Time Reactive System Development - A Formal Approach Based on UML and PVS."
  Sat, 18 Mar 2000 17:47:49 +0100 (MET) -- "ALAGAR v." <alagar@cs.concordia.ca>
• CASES 2000 Call for Participation
  Sun, 19 Mar 2000 19:06:40 +0100 (MET) -- Vincent Mooney <vincent.mooney@ece.gatech.edu>
• 2nd CFP CADE-17 Workshop "Type-theoretic Languages: Proof-search and Semantics"
  Sun, 19 Mar 2000 20:21:02 +0100 (MET) -- Didier Galmiche <galmiche@poncelet.loria.fr>
• Lipari School 2000 deadline on E-commerce and On-line Alg. is April 10
  Mon, 20 Mar 2000 10:43:58 +0100 (MET) -- "Prof. Alfredo Ferro" <ferro@dmi.unict.it>
• ECAI 2000 Call for Participation
  Mon, 20 Mar 2000 10:58:14 +0100 (MET) -- "ECAI 2000 Publicity [Markus Hannebauer]" <hannebau@first.gmd.de>
• ESSLLI-2000
  Mon, 20 Mar 2000 15:58:46 +0100 (MET) -- Catherine Piliere <Catherine.Piliere@loria.fr>
• No Subject
  Tue, 21 Mar 2000 08:57:13 +0100 (MET) -- "E. Allen Emerson" <cav2k@cs.utexas.edu>
• FTRTFT 2000: Third and Final Call for Papers
  Wed, 22 Mar 2000 05:05:55 +0100 (MET) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• Final CfP: ESAW'00 Workshop at ECAI 2000
  Fri, 24 Mar 2000 13:31:45 +0100 (MET) -- Andrea Omicini <aomicini@deis.unibo.it>
• PA EXPO 2000 Call for Participation
  Fri, 24 Mar 2000 17:08:49 +0100 (MET) -- info@pap.com
• 征求網站交換連接
  Sat, 25 Mar 2000 12:51:37 +0100 (MET) -- Maxpro Technology Company <mail@maxpro.com.hk>
• FME 2001: Call for Papers
  Mon, 27 Mar 2000 16:09:44 +0200 (MET DST) -- "J. Nuno Oliveira" <jno@di.uminho.pt>
• No Subject
  Tue, 28 Mar 2000 22:53:05 +0200 (MET DST) -- Stefano Cagnoni <cagnoni@CE.UniPR.IT>
• CFP: Workshop on Advances in VErification (Post-CAV 2000)
  Tue, 28 Mar 2000 23:12:05 +0200 (MET DST) -- "Ganesh C. Gopalakrishnan" <ganesh@cs.utah.edu>
• LICS 2000 - Short Presentations Deadline is March 31
  Wed, 29 Mar 2000 11:45:04 +0200 (MET DST) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• CfP: COORDINATION 2000
  Wed, 29 Mar 2000 15:21:22 +0200 (MET DST) -- Andrea Omicini <aomicini@deis.unibo.it>
• PA EXPO 2000 Update.
  Thu, 30 Mar 2000 12:36:26 +0200 (MET DST) -- info@pap.com
• Searching for Lecturers
  Thu, 30 Mar 2000 15:09:09 +0200 (MET DST) -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• POPL2001: Call for Papers
  Thu, 30 Mar 2000 21:58:13 +0200 (MET DST) -- Dave Schmidt <schmidt@cis.ksu.edu>
• icalp2000-program and registration
  Fri, 31 Mar 2000 12:58:57 +0200 (MET DST) -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• Report Announcement: A Table Checking Tool
  Fri, 31 Mar 2000 22:20:57 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>
• MPC2000: call for participation
  Mon, 3 Apr 2000 11:04:45 +0200 (MET DST) -- Jose Bernardo Barros <jbb@di.uminho.pt>
• ECAI 2000 WS on Balancing Reactivity and Social Deliberation in MAS
  Mon, 3 Apr 2000 11:54:05 +0200 (MET DST) -- Markus Hannebauer <hannebau@first.gmd.de>
• Verteiler
  Mon, 3 Apr 2000 12:28:40 +0200 (MET DST) -- Ralf Ziegenbein <24razi@wiwi.uni-muenster.de>
• Extended Deadline for FTRTFT
  Mon, 3 Apr 2000 14:29:13 +0200 (MET DST) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• offre d'emploi
  Mon, 3 Apr 2000 17:19:51 +0200 (MET DST) -- Maryse Renaud <Maryse.Renaud@sophia.inria.fr>
• WITS'00 -- last call for paper
  Wed, 5 Apr 2000 12:39:22 +0200 (MET DST) -- Riccardo Focardi <focardi@dsi.unive.it>
• CFPs: IEEE ICECCS
  Wed, 5 Apr 2000 13:02:23 +0200 (MET DST) -- Paolo Nesi <nesi@ingfi1.ing.unifi.it>
• No Subject
  Thu, 6 Apr 2000 08:36:28 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
• TOOLS Europe 2000 - Call for participation
  Thu, 6 Apr 2000 09:56:21 +0200 (MET DST) -- Jean-Marc Jezequel <Jean-Marc.Jezequel@irisa.fr>
• CADE-17: Call for Participation
  Thu, 6 Apr 2000 19:14:39 +0200 (MET DST) -- Frank Pfenning <Frank_Pfenning@raw.fox.cs.cmu.edu>
• (CFP) TRICS: Techniques foR Implementing Constraint programming Systems
  Fri, 7 Apr 2000 00:56:12 +0200 (MET DST) -- Christian Schulte <schulte@ps.uni-sb.de>
• CFP: EXPRESS'00 workshop
  Fri, 7 Apr 2000 08:56:46 +0200 (MET DST) -- Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
• Rewriting Logic Workshop (WRLA) 2000, cfp
  Sat, 8 Apr 2000 07:15:41 +0200 (MET DST) -- "Ataru T. Nakagawa" <nakagawa@sra.co.jp>
• Deadline Extension: ESAW'00 Workshop at ECAI 2000
  Mon, 10 Apr 2000 18:54:38 +0200 (MET DST) -- Andrea Omicini <aomicini@deis.unibo.it>
• CFP: ASM 2001 Workshop
  Fri, 14 Apr 2000 10:05:06 +0200 (MET DST) -- =?iso-8859-1?Q?Uwe_Gl=E4sser?= <glaesser@uni-paderborn.de>
• LPAR'2000: call for papers
  Fri, 14 Apr 2000 16:21:43 +0200 (MET DST) -- parigot@logique.jussieu.fr
• FMICS proceedings online
  Mon, 17 Apr 2000 17:18:58 +0200 (MET DST) -- "A. Rennoch" <rennoch@fokus.gmd.de>
• Final CFP: FMCAD 2000 -- Formal Methods in Computer-aided design
  Mon, 17 Apr 2000 19:19:17 +0200 (MET DST) -- Steve Johnson <sjohnson@cs.indiana.edu>
• AMiLP 2000: Programme
  Mon, 17 Apr 2000 23:57:03 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• AMAST 2000: Call for Participation
  Mon, 17 Apr 2000 23:57:48 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• IPL special issue on process algebra
  Tue, 18 Apr 2000 13:05:04 +0200 (MET DST) -- Wan.Fokkink@cwi.nl
• JoRMiCS - electronic Journal on Relational Methods in Computer Science
  Tue, 18 Apr 2000 14:15:22 +0200 (MET DST) -- Gunther Schmidt <schmidt@informatik.unibw-muenchen.de>
• Call for 10 minute slots: Workshop on Generic Programming 2000
  Wed, 19 Apr 2000 16:19:18 +0200 (MET DST) -- Johan Jeuring <johanj@cs.uu.nl>
• IFIP TCS2000 INFORMATION
  Thu, 20 Apr 2000 04:28:49 +0200 (MET DST) -- Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
• 1st CFP FLOPS2001
  Thu, 20 Apr 2000 09:56:28 +0200 (MET DST) -- Herbert Kuchen <kuchen@uni-muenster.de>
• Lectureships in Computer Science at Birmingham
  Thu, 20 Apr 2000 16:48:49 +0200 (MET DST) -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• Final CFP: Workshop on Advances in VErification (Post-CAV 2000)
  Thu, 20 Apr 2000 21:48:11 +0200 (MET DST) -- "Ganesh C. Gopalakrishnan" <ganesh@cs.utah.edu>
• No Subject
  Fri, 21 Apr 2000 04:07:46 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• FORMAL METHODS *ELSEwHeRE* --second CfP
  Fri, 21 Apr 2000 16:19:56 +0200 (MET DST) -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
• Extended Deadline for early registration to APPSEM'2000 Summer school
  Fri, 21 Apr 2000 17:19:26 +0200 (MET DST) -- Simao Desousa <Simao.Desousa@sophia.inria.fr>
• LICS 2000 Call for Participation and Preliminary Program
  Sat, 22 Apr 2000 17:08:58 +0200 (MET DST) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• JELIA 2000 Final call
  Mon, 24 Apr 2000 14:53:52 +0200 (MET DST) -- "JELIA'2000" <jelia@ctima.uma.es>
• FMCS Deadline Extended
  Mon, 24 Apr 2000 17:44:24 +0200 (MET DST) -- Helmut Veith <veith@ux8.sp.cs.cmu.edu>
• SAS2000: Call for Participation
  Tue, 25 Apr 2000 02:29:37 +0200 (MET DST) -- Dave Schmidt <schmidt@cis.ksu.edu>
• workshop Autrans (France) June 14th-15th Specification and Validation of reactive systems
  Tue, 25 Apr 2000 14:56:03 +0200 (MET DST) -- Andre MARTIN <Andre.Martin@imag.fr>
• TABLEAUX 2000: Call for Participation
  Wed, 26 Apr 2000 12:28:25 +0200 (MET DST) -- Roy Dyckhoff <rd@dcs.st-and.ac.uk>
• Associate Professorship in Logic in Computer Science, Aarhus, DK
  Wed, 26 Apr 2000 16:22:04 +0200 (MET DST) -- Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?= <karenkm@daimi.au.dk>
• WFLP'2000 (Extended Deadline)
  Thu, 27 Apr 2000 14:10:59 +0200 (MET DST) -- Salvador Lucas Alba <slucas@dsic.upv.es>
• AiML-ICTL 2000: Final Call for Papers
  Mon, 1 May 2000 22:33:19 +0200 (MET DST) -- Advances in Modal Logic <aiml@mac.com>
• MPC2000 - 2nd Call for Participation
  Tue, 2 May 2000 17:27:56 +0200 (MET DST) -- lsb@di.uminho.pt
• two new books by L. Wos and G.W. Pieper
  Tue, 2 May 2000 17:59:00 +0200 (MET DST) -- wei chen <wchen@wspc.com>
• Extended Deadline: ECAI 2000 WS on Balancing Reactivity and Social Deliberation in MAS
  Tue, 2 May 2000 18:32:26 +0200 (MET DST) -- Markus Hannebauer <hannebau@first.gmd.de>
• reminder: AMiLP 2000 getting close
  Tue, 2 May 2000 22:33:03 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• reminder: AMAST 2000 getting close
  Tue, 2 May 2000 22:33:41 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• SPIN'2000
  Tue, 2 May 2000 23:11:20 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• LINEAR Summer School (2nd call)
  Wed, 3 May 2000 05:33:37 +0200 (MET DST) -- Nuno Barreiro <nbar@di.fc.ul.pt>
• CSL2000 - 1st call for participation
  Wed, 3 May 2000 14:09:23 +0200 (MET DST) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
• NOTERE'2000 : Premier appel a contributions
  Fri, 5 May 2000 20:04:14 +0200 (MET DST) -- Notere 2000 <notere@ENST.fr>
• Knowledge and Information Systems: Vol 2 No 2 (2000)
  Sun, 7 May 2000 21:08:27 +0200 (MET DST) -- Xindong Wu <xwu@gauss.Mines.EDU>
• the deadline of WRLA2000 paper submission is extended]
  Mon, 8 May 2000 03:42:32 +0200 (MET DST) -- kokichi@jaist.ac.jp
• CFCs - SW Arch., Components, and Frameworks
  Mon, 8 May 2000 04:56:55 +0200 (MET DST) -- Mohamed Fayad <fayad@cse.unl.edu>
• CFP: Workshop on Program Generation
  Mon, 8 May 2000 13:26:58 +0200 (MET DST) -- Walid Taha <taha@cs.chalmers.se>
• DTP00---Call for Participation
  Tue, 9 May 2000 12:45:29 +0200 (MET DST) -- Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
• Please update TOOLS references on your pages
  Tue, 9 May 2000 23:11:54 +0200 (MET DST) -- Bertrand_Meyer@eiffel.com
• Call for Papers: CATS 2001
  Thu, 11 May 2000 09:36:06 +0200 (MET DST) -- CATS 01 Conference <cats01@it.uq.edu.au>
• MSCS special issue
  Thu, 11 May 2000 12:47:51 +0200 (MET DST) -- Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
• ASIAN'00: Call for Papers
  Fri, 12 May 2000 07:08:06 +0200 (MET DST) -- masahiko@kuis.kyoto-u.ac.jp
• FME 2001: Call for Papers
  Fri, 12 May 2000 20:04:38 +0200 (MET DST) -- "Jose N. Oliveira" <jno@di.uminho.pt>
• TOOLS EUROPE & TOOLS USA Conference Programs
  Tue, 16 May 2000 19:31:15 +0200 (MET DST) -- TOOLS Conferences <info@tools-conferences.com>
• AMAST 2000 latest news
  Tue, 16 May 2000 22:31:35 +0200 (MET DST) -- scollo@cs.utwente.nl (Pippo Scollo)
• IFIP TCS2000
  Wed, 17 May 2000 09:01:48 +0200 (MET DST) -- Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
• International Masters Programme in COMPUTATIONAL LOGIC
  Wed, 17 May 2000 11:50:14 +0200 (MET DST) -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• Project PhD studentship available at Birmingham
  Wed, 17 May 2000 18:31:25 +0200 (MET DST) -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• CGIM 2000 (Symposium on GEOMETRIC DESIGN)
  Thu, 18 May 2000 09:36:32 +0200 (MET DST) -- "M. Sarfraz" <sarfraz@kfupm.edu.sa>
• LINEAR Summer School
  Fri, 19 May 2000 01:14:41 +0200 (MET DST) -- Nuno Barreiro <nbar@di.fc.ul.pt>
• FSTTCS 2000: revised Call for Papers
  Fri, 19 May 2000 14:08:05 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
• CADE-17 - 2nd Call for Participation
  Fri, 19 May 2000 14:20:56 +0200 (MET DST) -- Frank Pfenning <fp@cs.cmu.edu>
• the final CFP for WRLA2000
  Sun, 21 May 2000 18:24:21 +0200 (MET DST) -- kokichi@jaist.ac.jp
• FTP 2000 and TABLEAUX 2000 - Call for Participation
  Mon, 22 May 2000 14:36:07 +0200 (MET DST) -- Peter Baumgartner <peter@uni-koblenz.de>
• SAM2000 - June,26-28,2000 Grenoble - Call for Participation
  Tue, 23 May 2000 13:51:44 +0200 (MET DST) -- =?iso-8859-1?Q?Andr=E9?= MARTIN <andre.martin@imag.fr>
• Call for participation
  Tue, 23 May 2000 14:33:50 +0200 (MET DST) -- =?iso-8859-1?Q?Andr=E9?= MARTIN <andre.martin@imag.fr>
• CAV 2000 advance program and registration info
  Wed, 24 May 2000 07:01:03 +0200 (MET DST) -- "E. Allen Emerson" <emerson@cs.utexas.edu>
• Faculty Positions
  Wed, 24 May 2000 10:10:57 +0200 (MET DST) -- "Ian Cloete" <ian.cloete@i-u.de>
• ICALP'2000:registration reminder
  Wed, 24 May 2000 10:18:20 +0200 (MET DST) -- POWELL Olivier <olivier.powell@cui.unige.ch>
• SAIG Deadline Extended to June 5th
  Wed, 24 May 2000 18:19:08 +0200 (MET DST) -- Walid Taha <taha@cs.chalmers.se>
• SERG Report Announcement
  Wed, 24 May 2000 20:54:13 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>
• NWPT'00 - 12th Nordic workshop on programming theory
  Thu, 25 May 2000 10:46:39 +0200 (MET DST) -- nwpt00@ii.uib.no
• Distributed Constraint Satisfaction (Workshop CFP Reminder)
  Fri, 26 May 2000 11:50:01 +0200 (MET DST) -- Marius-Calin Silaghi <silaghi@lia.di.epfl.ch>
• CFP: LPAR'2000, Reunion Island, France
  Fri, 26 May 2000 18:54:25 +0200 (MET DST) -- Andrei Voronkov <voronkov@cs.man.ac.uk>
• RULE 2000
  Mon, 29 May 2000 19:09:36 +0200 (MET DST) -- Horatiu Cirstea <Horatiu.Cirstea@loria.fr>
• FST TCS 2000: One week extension on the submission deadline
  Tue, 30 May 2000 14:27:10 +0200 (MET DST) -- Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
• Special Issues of JASS journal
  Tue, 30 May 2000 15:37:46 +0200 (MET DST) -- Nikitas Assimakopoulos <assinik@unipi.gr>
• Postdoc Position in Automated Verification
  Tue, 30 May 2000 17:42:31 +0200 (MET DST) -- Ulrich Ultes-Nitsche <uun@ecs.soton.ac.uk>
• announcement
  Wed, 31 May 2000 09:24:50 +0200 (MET DST) -- Chikoidze <chiko@contsys.acnet.ge>
• call for participation: WITS '00
  Thu, 1 Jun 2000 19:23:28 +0200 (MET DST) -- Riccardo Focardi <focardi@dsi.unive.it>
• Post-doc position at LSV, ENS de Cachan, France
  Fri, 2 Jun 2000 10:09:18 +0200 (MET DST) -- Laure Petrucci <petrucci@lsv.ens-cachan.fr>
• LPAR'2000: deadline extension
  Fri, 2 Jun 2000 14:22:17 +0200 (MET DST) -- Andrei Voronkov <voronkov@cs.man.ac.uk>
• ECAI 2000 2nd Call for Participation [15th of June Early Registration Deadline]
  Fri, 2 Jun 2000 14:38:26 +0200 (MET DST) -- "ECAI 2000 Publicity [Markus Hannebauer]" <hannebau@first.gmd.de>
• Four lectureships in Nottingham
  Fri, 2 Jun 2000 15:50:39 +0200 (MET DST) -- gmh@Cs.Nott.AC.UK
• RTA 2000 Call for Participation (Early registration deadline)
  Sun, 4 Jun 2000 18:52:38 +0200 (MET DST) -- Richard Kennaway <jrk@sys.uea.ac.uk>
• WITS announcement -- addendum
  Mon, 5 Jun 2000 11:59:01 +0200 (MET DST) -- Riccardo Focardi <focardi@dsi.unive.it>
• CSL2000 : Early Registration ends 7/6/00 !
  Mon, 5 Jun 2000 13:25:26 +0200 (MET DST) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
• PhD grant at INRIA Sophia Antipolis
  Mon, 5 Jun 2000 15:54:48 +0200 (MET DST) -- Yves Bertot <Yves.Bertot@sophia.inria.fr>
• Conference Notice
  Tue, 6 Jun 2000 02:33:22 +0200 (MET DST) -- "Mariya G." <alienna@prodigy.net>
• ASCM
  Tue, 6 Jun 2000 04:54:31 +0200 (MET DST) -- ASCM <ascm@mmrc.iss.ac.cn>
• ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
  Tue, 6 Jun 2000 16:13:57 +0200 (MET DST) -- etaps2001@disi.unige.it (Etaps 2001)
• Faculty post in foundations of computer science
  Tue, 6 Jun 2000 16:22:42 +0200 (MET DST) -- Peter Williams <peterw@cogs.susx.ac.uk>
• CFP ISADS 2001, August 15 Deadline
  Tue, 6 Jun 2000 20:12:46 +0200 (MET DST) -- jcobb@utdallas.edu
• FTRTFT 2000: list of Accepted Papers
  Wed, 7 Jun 2000 08:00:11 +0200 (MET DST) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• CFP&R: ACM SAC 2001 - Track on COORDINATION
  Thu, 8 Jun 2000 16:29:40 +0200 (MET DST) -- Andrea Omicini <aomicini@deis.unibo.it>
• Re: LINEAR Summer School (Last call)
  Thu, 8 Jun 2000 18:01:45 +0200 (MET DST) -- Nuno Barreiro <nbar@di.fc.ul.pt>
• ADG '2000 update
  Thu, 8 Jun 2000 18:58:42 +0200 (MET DST) -- Dongming Wang <Dongming.Wang@imag.fr>
• Call for Papers STACS 2001
  Fri, 9 Jun 2000 11:31:19 +0200 (MET DST) -- "Horst Reichel" <reichel@tcs.inf.tu-dresden.de>
• CONCUR 2000: Call for Participation and Final Program
  Mon, 12 Jun 2000 19:21:08 +0200 (MET DST) -- Catuscia Palamidessi <catuscia@cse.psu.edu>
• CAV2000 --- Deadline for Registration, JUNE 23
  Mon, 12 Jun 2000 21:28:31 +0200 (MET DST) -- sistla@surya.eecs.uic.edu
• ANNOUNCEMENT Tbilisi Summer School
  Tue, 13 Jun 2000 09:52:46 +0200 (MET DST) -- besick dundua <b_dundua@yahoo.com>
• CALL FOR PAPERS-ICSSEA 2000
  Tue, 13 Jun 2000 19:15:54 +0200 (MET DST) -- Jean Claude RAULT <rault@cnam.fr>
• Festival Workshop in Foundations and Computations
  Wed, 14 Jun 2000 20:50:28 +0200 (MET DST) -- Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
• Notere'2000 : Deuxieme appel a contributions
  Thu, 15 Jun 2000 17:33:40 +0200 (MET DST) -- Conference Notere 2000 <notere@enst.fr>
• 2nd CFP FLOPS 2001
  Fri, 16 Jun 2000 08:49:14 +0200 (MET DST) -- Herbert Kuchen <kuchen@uni-muenster.de>
• Reminder -- RTA 2000/WESTAPP 2000 Call for Participation
  Mon, 19 Jun 2000 16:41:04 +0200 (MET DST) -- Richard Kennaway <jrk@sys.uea.ac.uk>
• <<UML>>2000: Preliminary Call For Participation
  Mon, 19 Jun 2000 17:13:55 +0200 (MET DST) -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• CFP: CP2000, 18-22 September, Singapore, 2000
  Tue, 20 Jun 2000 14:12:38 +0200 (MET DST) -- Roland Yap Hock Chuan <cp2000@comp.nus.edu.sg>
• FLOC 2002 - Preliminary Announcement
  Tue, 20 Jun 2000 22:24:49 +0200 (MET DST) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• CFP: Formal Methods for Engineering Special-Purpose Parallel Systems
  Thu, 22 Jun 2000 09:55:02 +0200 (MET DST) -- Ali Abdallah <A.Abdallah@sbu.ac.uk>
• UML'2000, Workshop on Formal Design Techniques for Real-Time
  Thu, 22 Jun 2000 18:44:52 +0200 (MET DST) -- Udo Brockmeyer <udo.brockmeyer@offis.de>
• POPL'01 reminder: submissions due 17 July
  Sat, 24 Jun 2000 20:31:01 +0200 (MET DST) -- Dave Schmidt <schmidt@cis.ksu.edu>
• FICS workshop
  Mon, 26 Jun 2000 10:56:35 +0200 (MET DST) -- Irene.Guessarian@liafa.jussieu.fr (Irene GUESSARIAN)
• Final CfP: 2nd Workshop on Rule-Based Constraint Reasoning and Programming at CP2000 Singapore
  Mon, 26 Jun 2000 16:55:20 +0200 (MET DST) -- Thom Fruehwirth <fruehwir@informatik.uni-muenchen.de>
• "FEmSys'01"
  Thu, 29 Jun 2000 10:50:37 +0200 (MET DST) -- Axel Poigne <ap@borneo.gmd.de>
• WITS'00 proceedings
  Thu, 29 Jun 2000 15:27:50 +0200 (MET DST) -- Riccardo Focardi <focardi@dsi.unive.it>
• Job opportunity at INRIA Sophia Antipolis
  Fri, 30 Jun 2000 10:41:49 +0200 (MET DST) -- Isabelle Attali <Isabelle.Attali@sophia.inria.fr>
• CSMR2001 call for papers
  Fri, 30 Jun 2000 16:32:05 +0200 (MET DST) -- =?iso-8859-1?Q?Miguel_Goul=E3o?= <miguel.goulao@di.fct.unl.pt>
• MFCS 2000 - Call for Participation
  Fri, 30 Jun 2000 17:07:31 +0200 (MET DST) -- MFCS 2000 <mfcs2000@dcs.fmph.uniba.sk>
• UML'2000 WORKSHOP: DYNAMIC BEHAVIOUR IN UML MODELS
  Fri, 30 Jun 2000 17:37:06 +0200 (MET DST) -- reggio@disi.unige.it (Gianna Reggio)
• Final reminder -- RTA 2000/WESTAPP 2000 Call for Participation
  Mon, 3 Jul 2000 09:33:41 +0200 (MET DST) -- Richard Kennaway <jrk@sys.uea.ac.uk>
• International Masters Programme in COMPUTATIONAL LOGIC
  Mon, 3 Jul 2000 18:54:30 +0200 (MET DST) -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• RULE 2000 final call for papers
  Tue, 4 Jul 2000 11:58:22 +0200 (MET DST) -- Claude Kirchner <Claude.Kirchner@loria.fr>
• FMOODS 2000 Call for Participation, Demos, and Posters
  Tue, 4 Jul 2000 16:00:05 +0200 (MET DST) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• FORTE/PSTV 2000 - Call for Participation & Poster Contribution
  Tue, 4 Jul 2000 16:15:11 +0200 (MET DST) -- Tommaso Bolognesi <t.bolognesi@IEI.PI.CNR.IT>
• WFLP'2000 (Call for attendance)
  Tue, 4 Jul 2000 19:12:09 +0200 (MET DST) -- Salvador Lucas Alba <slucas@dsic.upv.es>
• LICS 2001 Preliminary Call for Papers
  Wed, 5 Jul 2000 14:17:50 +0200 (MET DST) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• New programs ... conference, Paris
  Thu, 6 Jul 2000 10:44:54 +0200 (MET DST) -- Giuseppe Longo <Giuseppe.Longo@ens.fr>
• SPIN 2000 - Call for Participation
  Thu, 6 Jul 2000 21:06:19 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• Computer-Supported Collaborative Learning Conference
  Fri, 7 Jul 2000 02:39:46 +0200 (MET DST) -- Info@proacte.com (Info Proacte)
• FTRTFT 2000: Call for Participation
  Fri, 7 Jul 2000 06:17:03 +0200 (MET DST) -- Purandar Bhaduri <pbhaduri@pune.tcs.co.in>
• Conference Announcement STACS 2001
  Fri, 7 Jul 2000 15:12:33 +0200 (MET DST) -- Kerstin Achtruth <achtruth@tcs.inf.tu-dresden.de>
• COORDINATION 2000 (Call for Participation)
  Mon, 10 Jul 2000 11:43:53 +0200 (MET DST) -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• *** Faculty Positions: University of Cyprus ***
  Mon, 10 Jul 2000 12:25:57 +0200 (MET DST) -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• APAQS 2000 Advance Program
  Tue, 11 Jul 2000 05:34:38 +0200 (MET DST) -- tse@csis.hku.hk
• PA EXPO 2001 Provisional Announcement of the CFP's
  Tue, 11 Jul 2000 12:17:42 +0200 (MET DST) -- info@pap.com
• CWB-NC Release Announcement
  Tue, 11 Jul 2000 16:57:20 +0200 (MET DST) -- Rance Cleaveland <rance@cs.sunysb.edu>
• [EJNDP:] 1Oth Issue - July 2000
  Wed, 12 Jul 2000 21:13:02 +0200 (MET DST) -- Annig.Lacayrelle@univ-pau.fr (Annig Le Parc - Lacayrelle)
• AFRICA'S TOP IT CONFERENCE AT SUN CITY SOUTH AFRICA
  Sat, 15 Jul 2000 03:05:03 +0200 (MET DST) -- andrew@aitecafrica.com
• DISC 2000 Call for Participation
  Sat, 15 Jul 2000 04:23:06 +0200 (MET DST) -- Maurice Herlihy <herlihy@cs.brown.edu>
• CFP: CP2000, Sept 18-22, Singapore, 2000
  Sat, 15 Jul 2000 05:17:26 +0200 (MET DST) -- Martin Henz <henz@comp.nus.edu.sg>
• ECAI 2000 Final Call for Participation [1st of August Late Registration Deadline]
  Sun, 16 Jul 2000 19:33:34 +0200 (MET DST) -- "ECAI 2000 Publicity [Markus Hannebauer]" <hannebau@first.gmd.de>
• Call for participation & Schedule
  Mon, 17 Jul 2000 14:25:37 +0200 (MET DST) -- JELIA 2000 <jelia@ctima.uma.es>
• Conference in New York City
  Tue, 18 Jul 2000 13:45:08 +0200 (MET DST) -- Rohit Parikh <RIPBC@CUNYVM.CUNY.EDU>
• WoLLIC'2000 - Programme
  Tue, 18 Jul 2000 16:07:00 +0200 (MET DST) -- Ruy de Queiroz <ruy@cin.ufpe.br>
• WSCG'2001 - Int.Conf.on Graphics, Visualization & Computer Vision
  Wed, 19 Jul 2000 08:18:38 +0200 (MET DST) -- "Vaclav Skala" <skala@kiv.zcu.cz>
• Summer School
  Wed, 19 Jul 2000 09:07:00 +0200 (MET DST) -- Chikoidze <chiko@contsys.acnet.ge>
• WRLA2000 CALL FOR PARTICIPATION
  Thu, 20 Jul 2000 08:26:04 +0200 (MET DST) -- Helene Kirchner <Helene.Kirchner@loria.fr>
• Post-doc position at LSV, ENS de Cachan, France
  Thu, 20 Jul 2000 14:51:25 +0200 (MET DST) -- Laure Petrucci <petrucci@lsv.ens-cachan.fr>
• ICSSEA 2000 - CALL FOR PAPERS
  Thu, 20 Jul 2000 19:27:53 +0200 (MET DST) -- Jean Claude RAULT <rault@cnam.fr>
• Call for Papers: LDTA'2001
  Fri, 21 Jul 2000 11:00:48 +0200 (MET DST) -- Marjan Mernik <marjan.mernik@uni-mb.si>
• UML'2000 WORKSHOP: DYNAMIC BEHAVIOUR IN UML MODELS
  Fri, 21 Jul 2000 11:11:31 +0200 (MET DST) -- reggio@disi.unige.it (Gianna Reggio)
• Knowledge and Information Systems: Vol 2 No 3 (2000)
  Sat, 22 Jul 2000 21:46:57 +0200 (MET DST) -- Xindong Wu <xwu@gauss.Mines.EDU>
• ASIAN'00: Call for Papers
  Mon, 24 Jul 2000 07:37:04 +0200 (MET DST) -- masahiko@kuis.kyoto-u.ac.jp
• IDMS 2000: Call for Participation
  Mon, 24 Jul 2000 14:15:24 +0200 (MET DST) -- Clever Ricardo Guareis de Farias <farias@cs.utwente.nl>
• FW: IDEAL2000
  Mon, 24 Jul 2000 23:20:55 +0200 (MET DST) -- Kitty Ko <KittyKo@infoscience.otago.ac.nz>
• reminder FMOODS2000 early registration and other deadlines
  Wed, 26 Jul 2000 07:46:37 +0200 (MET DST) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• Extended Deadline - UML'2000 WORKSHOP DYNAMIC BEHAVIOUR IN UML MODELS
  Wed, 26 Jul 2000 13:41:24 +0200 (MET DST) -- Gianna Reggio <reggio@disi.unige.it>
• LICS 2001 Call for Affiliated Workshops
  Wed, 26 Jul 2000 15:40:56 +0200 (MET DST) -- Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
• Workshop on Answer Set Programming
  Wed, 26 Jul 2000 17:56:00 +0200 (MET DST) -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• SERG Report Announcement
  Wed, 26 Jul 2000 18:03:49 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>
• WFLP'2000 (Preliminary program)
  Fri, 28 Jul 2000 08:39:17 +0200 (MET DST) -- Salvador Lucas Alba <slucas@dsic.upv.es>
• LPNMR'01: First Call for Papers
  Fri, 28 Jul 2000 17:31:38 +0200 (MET DST) -- Wolfgang Faber <faber@kr.tuwien.ac.at>
• IEEE Data Mining 2001: Call for Papers
  Sat, 29 Jul 2000 10:20:48 +0200 (MET DST) -- Ning Zhong <zhong@maebashi-it.ac.jp>
• final call for participation to WRLA2000; Kanazawa, Japan
  Tue, 1 Aug 2000 02:30:07 +0200 (MET DST) -- kokichi@jaist.ac.jp
• Reconfigurability going Mainstream in Embedded Systems
  Tue, 1 Aug 2000 03:34:25 +0200 (MET DST) -- Vincent Mooney <vincent.mooney@ece.gatech.edu>
• Position Available, Fall, 2001
  Tue, 1 Aug 2000 22:52:25 +0200 (MET DST) -- Michael Mislove <mwm@math.tulane.edu>
• WSCG'2001 CALL for PAPERS Graphics, Visualization, Computer Vision etc. - GROUPS
  Wed, 2 Aug 2000 13:10:02 +0200 (MET DST) -- "Vaclav Skala" <skala@kiv.zcu.cz>
• Postdoc grant available
  Wed, 2 Aug 2000 14:44:04 +0200 (MET DST) -- Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
• Last Call for Participation
  Wed, 2 Aug 2000 19:22:39 +0200 (MET DST) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
• SPIN 2000 - Second Call for Participation
  Thu, 3 Aug 2000 01:49:42 +0200 (MET DST) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• Deadline approaching, Autonomous Decentralized Systems Symposium CFP
  Thu, 3 Aug 2000 08:13:59 +0200 (MET DST) -- jcobb@utdallas.edu
• <<UML>>2000: Call For Participation
  Thu, 3 Aug 2000 17:54:42 +0200 (MET DST) -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• APAQS 2000 Change of Deadline for Early Birds
  Fri, 4 Aug 2000 06:28:09 +0200 (MET DST) -- tse@csis.hku.hk
• Call For Papers: EvoIASP2001
  Fri, 4 Aug 2000 13:37:58 +0200 (MET DST) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• FMOODS2000 early registration Monday Aug 7!
  Fri, 4 Aug 2000 15:14:47 +0200 (MET DST) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• Research/Study in Logics, Types, Rewriting, & Applications
  Wed, 9 Aug 2000 00:26:43 +0200 (MET DST) -- Joe Wells <jbw@cee.hw.ac.uk>
• Workshop on formal spec and verif methods for shared memory systems
  Wed, 9 Aug 2000 20:34:29 +0200 (MET DST) -- "Ganesh C. Gopalakrishnan" <ganesh@cs.utah.edu>
• TACAS 2001 - First Call for Contributions
  Fri, 11 Aug 2000 15:09:07 +0200 (MET DST) -- Tiziana Margaria <tiziana@guiness.cs.uni-dortmund.de>
• CP2000: Call for Registration
  Sat, 12 Aug 2000 05:53:45 +0200 (MET DST) -- Martin Henz <henz@comp.nus.edu.sg>
• 3-vol. Book - Extended Deadline
  Mon, 14 Aug 2000 08:08:44 +0200 (MET DST) -- Mohamed Fayad <fayad@cse.unl.edu>
• RTA 2001 - First Call for Papers
  Tue, 15 Aug 2000 02:39:39 +0200 (MET DST) -- Aart Middeldorp <ami@score.is.tsukuba.ac.jp>
• SERG NEW REPORT ANNOUNCEMENT
  Thu, 17 Aug 2000 19:49:14 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>
• AiML-ICTL 2000 Call for Participation
  Fri, 18 Aug 2000 20:35:37 +0200 (MET DST) -- Advances in Modal Logic <aiml@mac.com>
• CFP: IJCAR 2001 - International Joint Conference on Automated Reasoning
  Tue, 22 Aug 2000 19:58:58 +0200 (MET DST) -- IJCAR Publicity Chair <ijcar-publicity@dii.unisi.it>
• Job openings at INRIA
  Wed, 23 Aug 2000 16:00:47 +0200 (MET DST) -- Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
• postdoc/postgrad positions available
  Thu, 24 Aug 2000 15:05:46 +0200 (MET DST) -- James Power <James.Power@May.ie>
• jMocha Release Announcement
  Thu, 24 Aug 2000 16:46:49 +0200 (MET DST) -- Radu Grosu <radu@cs.sunysb.edu>
• DEADLINE APPROACHING -- ACM SAC 2001 COORDINATION TRACK
  Thu, 24 Aug 2000 17:40:06 +0200 (MET DST) -- Andrea Omicini <aomicini@deis.unibo.it>
• CFP: ESOP and CC 2001. Deadline 20th October.
  Fri, 25 Aug 2000 14:09:59 +0200 (MET DST) -- esop01@cs.chalmers.se
• ESSLLI 2001 FIRST ANNOUNCEMENT
  Fri, 25 Aug 2000 15:26:53 +0200 (MET DST) -- Ahti Pietarinen <ess_lli@cc.helsinki.fi>
• FMCAD 2000 conference announcement
  Sun, 27 Aug 2000 23:53:42 +0200 (MET DST) -- Steve Johnson <sjohnson@cs.indiana.edu>
• Job opening at Utrecht: Generic Haskell
  Mon, 28 Aug 2000 11:01:57 +0200 (MET DST) -- Johan Jeuring <johanj@cs.uu.nl>
• Lecturing positions in CS at RMIT, Melbourne, Australia
  Mon, 28 Aug 2000 16:25:44 +0200 (MET DST) -- James Harland <jah@cs.rmit.edu.au>
• Technology research positions at living systems, Donaueschingen, Germany
  Tue, 29 Aug 2000 12:06:18 +0200 (MET DST) -- Norbert.Nopper@living-systems.de
• CFP for a Special Issue on Computational Logic
  Wed, 30 Aug 2000 11:20:07 +0200 (MET DST) -- Juergen Dix <dix@uni-koblenz.de>
• RULE2000 preliminary program
  Wed, 30 Aug 2000 15:28:12 +0200 (MET DST) -- Claude Kirchner <Claude.Kirchner@loria.fr>
• Middleware 2001 Call for Participation
  Fri, 1 Sep 2000 16:54:43 +0200 (MET DST) -- sventek@labs.agilent.com
• PADO-II call for papers
  Sat, 2 Sep 2000 21:53:16 +0200 (MET DST) -- Symposium on Program as Data Objects <pado2@brics.dk>
• Advanced Program for ISWC - International Symposium on Wearable Computers
  Tue, 5 Sep 2000 04:08:57 +0200 (MET DST) -- "Dr. Bruce Thomas" <mabht@graceland.levels.unisa.edu.au>
• Call for papers - ICACSD'2001
  Tue, 5 Sep 2000 10:31:34 +0200 (MET DST) -- Maciej Koutny <Maciej.Koutny@ncl.ac.uk>
• Call for papers - ICATPN'2001
  Tue, 5 Sep 2000 10:32:28 +0200 (MET DST) -- Maciej Koutny <Maciej.Koutny@ncl.ac.uk>
• PhD Student Position Announcement
  Tue, 5 Sep 2000 14:00:55 +0200 (MET DST) -- Farhad.Arbab@cwi.nl
• SCC2000 minisymposium CFP
  Thu, 7 Sep 2000 15:11:37 +0200 (MET DST) -- "W.J. Toetenel" <W.J.Toetenel@its.tudelft.nl>
• Reminder NWPT'00 - 12th Nordic workshop on programming theory.
  Thu, 7 Sep 2000 16:22:08 +0200 (MET DST) -- nwpt00@ii.uib.no
• ETAPS 2001: SECOND ANNOUNCEMENT & CALL FOR SUBMISSIONS
  Thu, 7 Sep 2000 17:42:05 +0200 (MET DST) -- Etaps 2001 <etaps2001@disi.unige.it>
• FLOPS 2001, Final Call for Papers
  Fri, 8 Sep 2000 09:38:54 +0200 (MET DST) -- Herbert Kuchen <kuchen@uni-muenster.de>
• Professorship in Software Engineering
  Fri, 8 Sep 2000 11:08:04 +0200 (MET DST) -- Bengt Nordstrom <bengt@cs.chalmers.se>
• Please forward to finishing PhD students
  Fri, 8 Sep 2000 19:03:17 +0200 (MET DST) -- Mark D Ryan <M.D.Ryan@cs.bham.ac.uk>
• Landelijk Architectuur Congres : http://www.architecture-forum.org
  Sat, 9 Sep 2000 09:55:56 +0200 (MET DST) -- "Daan Rijsenbrij" <daan.rijsenbrij@capgemini.nl>
• Call For Papers: EvoIASP2001
  Mon, 11 Sep 2000 22:52:59 +0200 (MET DST) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• Mobile Agents for Telecommunication Applications, Paris, France
  Tue, 12 Sep 2000 12:23:17 +0200 (MET DST) -- "Eric Horlait" <eric.horlait@lip6.fr>
• Research Assistant/PhD Vacancy
  Wed, 13 Sep 2000 10:20:12 +0200 (MET DST) -- nipkow@informatik.tu-muenchen.de
• Lipari Summer School 2001
  Wed, 13 Sep 2000 18:19:13 +0200 (MET DST) -- Vladimiro Sassone <vs@dmi.unict.it>
• 2nd CFP: PADL'01
  Wed, 13 Sep 2000 21:58:19 +0200 (MET DST) -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• AiML-ICTL: Final Call for Participation
  Thu, 14 Sep 2000 23:46:10 +0200 (MET DST) -- Advances in Modal Logic <aiml@mac.com>
• PA EXPO 2001
  Fri, 15 Sep 2000 12:47:48 +0200 (MET DST) -- expo@pap.com
• SCASE-2: Deadline Extended
  Sat, 16 Sep 2000 03:17:16 +0200 (MET DST) -- "Jens H. Jahnke" <jens@acm.org>
• Special Issue of JASS journal
  Mon, 18 Sep 2000 10:40:51 +0200 (MET DST) -- Nikitas Assimakopoulos <assinik@unipi.gr>
• Reminder/Deadline extension NWPT'00 - 12th Nordic workshop on programming theory
  Mon, 18 Sep 2000 14:55:10 +0200 (MET DST) -- nwpt00@ii.uib.no
• CFPs: IEEE Int. Conf. on Software Maint., Florence, Italy
  Tue, 19 Sep 2000 09:51:24 +0200 (MET DST) -- icsm2001 (NESI) <icsm2001@dsi.unifi.it>
• New programs ... conference
  Tue, 19 Sep 2000 16:38:18 +0200 (MET DST) -- Giuseppe Longo <Giuseppe.Longo@ens.fr>
• ETAPS-2002: Call for Affiliated Workshops
  Tue, 19 Sep 2000 18:47:11 +0200 (MET DST) -- Rachid Echahed <Rachid.Echahed@imag.fr>
• Por si interesare...
  Wed, 20 Sep 2000 20:47:25 +0200 (MET DST) -- "Rafael Corchuelo" <corcho@cica.es>
• WSCG2001 - Int.Conf.on Graphics, Visualization & Computer Vision - REMINDER
  Sat, 23 Sep 2000 12:01:15 +0200 (MET DST) -- "Vaclav Skala" <skala@kiv.zcu.cz>
• BI-DIALOG 2001, 1st Call for Papers
  Sun, 24 Sep 2000 13:07:54 +0200 (MET DST) -- root <root@Leibniz.lili.uni-bielefeld.de>
• Last call for participation
  Mon, 25 Sep 2000 09:58:21 +0200 (MET DST) -- Manuel Ojeda Aciego <aciego@ctima.uma.es>
• PhD & postdoc positions available
  Mon, 25 Sep 2000 14:58:47 +0200 (MET DST) -- Bart Jacobs <Bart.Jacobs@cs.kun.nl>
• Practical Aspects of Declarative Languages: CFP
  Mon, 25 Sep 2000 17:35:46 +0200 (MET DST) -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• Call for Workshop Proposals, IJCAI-01
  Wed, 27 Sep 2000 15:49:02 +0200 (MET DST) -- Peter van Beek <vanbeek@logos.math.uwaterloo.ca>
• CFP: Workshop on Computer-Aided Verification (CAV'01)
  Wed, 27 Sep 2000 19:35:54 +0200 (MET DST) -- Laure Petrucci <petrucci@lsv.ens-cachan.fr>
• 2. CFP: ASM Workshop at EUROCAST 2001
  Thu, 28 Sep 2000 11:05:57 +0200 (MET DST) -- =?iso-8859-1?Q?Uwe_Gl=E4sser?= <glaesser@uni-paderborn.de>
• WADT/CoFI 2001: Call for abstracts
  Fri, 29 Sep 2000 17:29:28 +0200 (MET DST) -- WADT 2001 <wadt2001@disi.unige.it>
• CASES 2000 Advanced Program
  Fri, 29 Sep 2000 22:09:01 +0200 (MET DST) -- Vincent Mooney <vincent.mooney@ece.gatech.edu>
• upcoming submission deadline CIMA
  Sat, 30 Sep 2000 13:03:12 +0200 (MET DST) -- "ICSC-NAISO" <naiso2@wtc.ab.ca>
• TACS 2001 CFP
  Mon, 2 Oct 2000 19:54:27 +0200 (MET DST) -- "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
• Practical Aspects of Declarative Languages '01: Final CFP
  Mon, 2 Oct 2000 23:27:25 +0200 (MET DST) -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• Open position at City University Graduate Center
  Tue, 3 Oct 2000 13:10:57 +0200 (MET DST) -- Rohit Parikh <RIPBC@CUNYVM.CUNY.EDU>
• New Report: Data Network Language Design
  Tue, 3 Oct 2000 17:50:24 +0200 (MET DST) -- Doris Burns <burns@raid.cas.mcmaster.ca>
• call for demos: ETAPS 2001
  Tue, 3 Oct 2000 18:00:45 +0200 (MET DST) -- Don Sannella <dts@dcs.ed.ac.uk>
• TACAS 2001 - Online Submission opened
  Tue, 3 Oct 2000 19:56:13 +0200 (MET DST) -- Tiziana Margaria <tiziana@guiness.cs.uni-dortmund.de>
• Web Intelligence (WI'2001): 2nd Call for Papers
  Wed, 4 Oct 2000 12:49:36 +0200 (MET DST) -- Ning Zhong <zhong@maebashi-it.ac.jp>
• LDTA'2001 Remainder
  Thu, 5 Oct 2000 09:17:08 +0200 (MET DST) -- Marjan Mernik <marjan.mernik@uni-mb.si>
• ITCC 2001: Special Session on Adaptiveness in Web and Hypermedia Systems - CfP
  Thu, 5 Oct 2000 17:24:49 +0200 (MET DST) -- Mario Cannataro <cannataro@si.deis.unical.it>
• HSCC 2001 - Final call for papers
  Thu, 5 Oct 2000 18:15:24 +0200 (MET DST) -- Hybrid Systems Computation and Control <hscc2001@parades.rm.cnr.it>
• Job opportunities at Intel TDC - Austin
  Fri, 6 Oct 2000 00:28:37 +0200 (MET DST) -- "Andersen, Flemming L" <flemming.l.andersen@intel.com>
• ICATPN 2001 - Reminder
  Sun, 8 Oct 2000 14:03:23 +0200 (MET DST) -- Maciej Koutny <Maciej.Koutny@ncl.ac.uk>
• ACSD 2001 - Reminder
  Sun, 8 Oct 2000 14:04:12 +0200 (MET DST) -- Maciej Koutny <Maciej.Koutny@ncl.ac.uk>
• ISWC2000 Next Week
  Mon, 9 Oct 2000 13:07:59 +0200 (MET DST) -- mabht@graceland.levels.unisa.edu.au (Dr. Bruce Thomas)
• PADL'01: Deadline Extended
  Mon, 9 Oct 2000 22:57:20 +0200 (MET DST) -- Compulog Americas <iclp99pub@cs.nmsu.edu>
• NOTERE 2000 - Appel a demonstration d'outils
  Tue, 10 Oct 2000 17:29:17 +0200 (MET DST) -- Conference Notere 2000 <notere@enst.fr>
• Call For Papers: EvoWorkshops2001
  Wed, 11 Oct 2000 13:29:46 +0200 (MET DST) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• ESOP 2001. Deadline for Submissions Nearing.
  Mon, 16 Oct 2000 12:22:43 +0200 (MET DST) -- David Sands <dave@cs.chalmers.se>
• ETAPS 2001: Deadline Approaching
  Tue, 17 Oct 2000 15:33:15 +0200 (MET DST) -- Etaps 2001 <etaps2001@disi.unige.it>
• TARK VIII announcement
  Tue, 17 Oct 2000 19:59:25 +0200 (MET DST) -- Joseph Halpern <halpern@CS.Cornell.EDU>
• Ph.D./postdoc positions available at the intersection of coordina tion languages, component-based development, software architecture and de pendable systems
  Wed, 18 Oct 2000 16:00:14 +0200 (MET DST) -- m.r.v.chaudron@TUE.nl
• ICSSEA 2000 -- CALL FOR PARTICIPATIO
  Wed, 18 Oct 2000 19:20:37 +0200 (MET DST) -- Jean Claude RAULT <rault@cnam.fr>
• 2 PhD students in Automated Verification
  Thu, 19 Oct 2000 14:49:18 +0200 (MET DST) -- Jaco van de Pol <Jaco.van.de.Pol@cwi.nl>
• MFPS XVII
  Thu, 19 Oct 2000 16:31:08 +0200 (MET DST) -- "Michael Mislove" <mwm@math.tulane.edu>
• LACL 2001
  Fri, 20 Oct 2000 10:47:51 +0200 (MET DST) -- Catherine Piliere <Catherine.Piliere@loria.fr>
• Re: Postdoc-position in a european project at University Paris 13
  Fri, 20 Oct 2000 10:52:52 +0200 (MET DST) -- Philippe Dague <Philippe.Dague@lipn.univ-paris13.fr>
• TACAS 2001 - Submission still open!
  Sat, 21 Oct 2000 22:47:21 +0200 (MET DST) -- Tiziana Margaria <tiziana@guiness.cs.uni-dortmund.de>
• Intelligent Agent Technology (IAT-2001): 2nd CFP
  Mon, 23 Oct 2000 12:44:28 +0200 (MET DST) -- iat01@kis.maebashi-it.ac.jp
• PADO-II CFP -- reminder
  Mon, 23 Oct 2000 22:10:41 +0200 (MET DST) -- Symposium on Program as Data Objects <pado2@brics.dk>
• CFP:ASCM2001(The Fifth Asian Symposium on Computer Mathematics)
  Mon, 23 Oct 2000 22:24:51 +0200 (MET DST) -- ascm2001 <ascm2001@hpc.cs.ehime-u.ac.jp>
• PhD positions, Post Doc positions, Research Fellows
  Tue, 24 Oct 2000 14:52:04 +0200 (MET DST) -- Kaisa Sere <Kaisa.Sere@abo.fi>
• DATELINE EXTENSION: IPDPS-2001 Workshop on PDC Issues in WNMC
  Thu, 26 Oct 2000 08:28:14 +0200 (MET DST) -- Kwan-Wu Chin <kwchin@arc.corp.mot.com>
• Informal notice about coming vacancies here in beautiful Bergen, Norway
  Thu, 26 Oct 2000 15:01:30 +0200 (MET DST) -- "Konrad Morgan" <konrad@ifi.uib.no>
• CASES 2000: please reserve hotel by phone
  Thu, 26 Oct 2000 22:52:21 +0200 (MET DST) -- Vincent Mooney <vincent.mooney@ece.gatech.edu>
• PaCT-2001 CfP
  Fri, 27 Oct 2000 08:26:06 +0200 (MET DST) -- PaCT-2001 Conference <pact2001@ssd2.sscc.ru>
• Distance Education
  Fri, 27 Oct 2000 13:52:58 +0200 (MET DST) -- Steve Wheeler <S.Wheeler@plymouth.ac.uk>
• NOTERE 2000 - Appel a participation
  Fri, 27 Oct 2000 19:30:45 +0200 (MET DST) -- Conference Notere 2000 <notere@enst.fr>
• Internationa Computer Science Conventions
  Sat, 28 Oct 2000 06:01:00 +0200 (MET DST) -- "Nadine Gisler" <nadine@wtc.ab.ca>
• FMPPTA 2001 CFP
  Sun, 29 Oct 2000 02:51:57 +0100 (MET) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• DGNMR'01 CFP
  Mon, 30 Oct 2000 15:33:25 +0100 (MET) -- Kewen Wang <kewen@cs.uni-potsdam.de>
• JFPLC'2001 call for paper
  Mon, 30 Oct 2000 21:14:01 +0100 (MET) -- Pierre.Deransart@inria.fr
• Research Associateship in Metaprogramming Languages
  Wed, 1 Nov 2000 12:51:40 +0100 (MET) -- Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
• Bi-Dialog 2001, 2nd CfP
  Thu, 2 Nov 2000 08:54:21 +0100 (MET) -- root <root@Leibniz.lili.uni-bielefeld.de>
• Final Call For Papers: EvoWorkshops2001
  Thu, 2 Nov 2000 20:59:08 +0100 (MET) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• RTA 2001 *NEW VENUE* - 2nd call for papers and workshops
  Fri, 3 Nov 2000 01:19:16 +0100 (MET) -- rta2001-publicity@csl.sri.com
• POPL'01 Call for Participation
  Fri, 3 Nov 2000 20:37:32 +0100 (MET) -- Dave Schmidt <schmidt@cis.ksu.edu>
• 1st Call for Papers
  Mon, 6 Nov 2000 18:49:55 +0100 (MET) -- Kristina Striegnitz <kris@coli.uni-sb.de>
• TENURE TRACKs AVAILABLE AT UTA
  Tue, 7 Nov 2000 07:11:51 +0100 (MET) -- Kwan-Wu Chin <kwchin@arc.corp.mot.com>
• LPNMR'01: Second Call for Papers
  Tue, 7 Nov 2000 22:38:32 +0100 (MET) -- Wolfgang Faber <faber@kr.tuwien.ac.at>
• LICS 2001 Call for Papers
  Wed, 8 Nov 2000 22:00:38 +0100 (MET) -- Martin Grohe <lics@math.uic.edu>
• KI-2001: First Call for Papers
  Fri, 10 Nov 2000 17:51:58 +0100 (MET) -- Wolfgang Faber <faber@kr.tuwien.ac.at>
• CFP - 11th EUROPEAN - JAPANESE CONF. ON INFORMATION MODELLING AND KNOWLEDGE BASES
  Fri, 10 Nov 2000 18:56:07 +0100 (MET) -- Hannu Kangassalo <hk@cs.uta.fi>
• EvoWorkshops2001: DEADLINE EXTENSION TO NOVEMBER 25
  Fri, 10 Nov 2000 20:22:24 +0100 (MET) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• CFP (2nd): IJCAR 2001 - International Joint Conference on Automated Reasoning
  Mon, 13 Nov 2000 16:34:31 +0100 (MET) -- IJCAR Publicity Chair <ijcar-publicity@dii.unisi.it>
• NOTERE 2000 - Appel a participation
  Mon, 13 Nov 2000 18:48:18 +0100 (MET) -- Conference Notere 2000 <notere@enst.fr>
• ETAPS 2002 - Call for Satellite Events
  Mon, 13 Nov 2000 19:54:23 +0100 (MET) -- Etaps 2002 <etaps02@ormelune.imag.fr>
• extended deadline for PADO-II
  Tue, 14 Nov 2000 01:11:16 +0100 (MET) -- Symposium on Program as Data Objects <pado2@brics.dk>
• International Masters Programme in COMPUTATIONAL LOGIC
  Tue, 14 Nov 2000 13:55:42 +0100 (MET) -- CL Advertisement <cladv@inf.tu-dresden.de>
• Call for Participation STACS 2001
  Fri, 17 Nov 2000 14:10:48 +0100 (MET) -- Kerstin Achtruth <achtruth@tcs.inf.tu-dresden.de>
• CONCUR 2001 -- PRELIMINARY CALL FOR PAPERS
  Fri, 17 Nov 2000 14:34:28 +0100 (MET) -- Anna Ingolfsdottir <annai@cs.auc.dk>
• (fwd) 1st CfP: Workshop "Coordination & Action"
  Sat, 18 Nov 2000 17:54:13 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) SOCO/ISFI 2001 - Call for Papers
  Sat, 18 Nov 2000 18:17:12 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• contribution to the AMAST mailing list
  Mon, 20 Nov 2000 10:11:15 +0100 (MET) -- Inge Bethke <inge@wins.uva.nl>
• WADT/CoFI 2001 - SECOND CALL FOR ABSTRACTS
  Mon, 20 Nov 2000 16:45:43 +0100 (MET) -- WADT 2001 <wadt2001@disi.unige.it>
• LACL 2001 Second Call for Papers
  Tue, 21 Nov 2000 13:57:06 +0100 (MET) -- Catherine Piliere <Catherine.Piliere@loria.fr>
• CFP: "Information Stucture, Discourse Structure and Discourse Semantics" -Workshop at ESSLLI 2001
  Tue, 21 Nov 2000 14:06:49 +0100 (MET) -- "Ivana Kruijff-Korbayova" <ivana@cogsci.ed.ac.uk>
• Static Analysis Symposium 2001, Paris : 1st CfP
  Tue, 21 Nov 2000 16:15:58 +0100 (MET) -- Radhia Cousot <radhia@lix.polytechnique.fr>
• ASIAN'00: Call for Papers
  Wed, 22 Nov 2000 03:22:29 +0100 (MET) -- masahiko@kuis.kyoto-u.ac.jp
• RelMiS 2001 --- Call for Papers
  Wed, 22 Nov 2000 10:07:31 +0100 (MET) -- kahl@heraklit.informatik.UniBw-Muenchen.de
• [GOOAL.net] Call for Papers VLFM'01
  Wed, 22 Nov 2000 21:48:11 +0100 (MET) -- Mark Minas <Mark.Minas@informatik.uni-erlangen.de>
• CMCS 2001 - Call for Papers
  Thu, 23 Nov 2000 09:52:26 +0100 (MET) -- Andrea Corradini <andrea@di.unipi.it>
• Four lectureships in Nottingham
  Fri, 24 Nov 2000 11:13:16 +0100 (MET) -- gmh@marian.cs.nott.ac.uk
• MCU'2001 - FINAL Call for Papers
  Fri, 24 Nov 2000 14:51:38 +0100 (MET) -- Gabriel Ciobanu <gabriel@comp.nus.edu.sg>
• "Semantic Knowledge Acquisition and Categorisation" - Workshop at ESSLLI 2001
  Sat, 25 Nov 2000 17:12:41 +0100 (MET) -- Alessandro Lenci <lenci@ilc.pi.cnr.it>
• Change in Knowledge Bases - Special Issue of Theory and Practice of Logic Programming journal on
  Sat, 25 Nov 2000 20:56:51 +0100 (MET) -- Luis Moniz Pereira <lmp@di.fct.unl.pt>
• International Conference on Computational Intelligence for Modell ing, Control and Automation - CIMCA'2001
  Mon, 27 Nov 2000 04:39:29 +0100 (MET) -- "Conference, CIMCA" <CIMCA@ise.canberra.edu.au>
• IEEE Int.Conf. Software Maintenance., Florence,Italy,ICSM2001
  Tue, 28 Nov 2000 21:33:14 +0100 (MET) -- icsm2001 (NESI) <icsm2001@dsi.unifi.it>
• CFP: ICECCS 2001
  Wed, 29 Nov 2000 00:11:40 +0100 (MET) -- Frank Stomp <fstomp@cs.wayne.edu>
• Call for Papers: PAPM-PROBMIV 2001, Aachen, Germany.
  Thu, 30 Nov 2000 18:27:14 +0100 (MET) -- Stephen Gilmore <stg@dcs.ed.ac.uk>
• Post-Docs at OGI
  Fri, 1 Dec 2000 20:27:23 +0100 (MET) -- Andy Moran <moran@cse.ogi.edu>
• CfParticipation: CATS 2001, Australia
  Tue, 5 Dec 2000 00:41:08 +0100 (MET) -- CATS 01 Conference <cats01@svrc.uq.edu.au>
• Call for papers: Haskell Workshop 2001
  Tue, 5 Dec 2000 15:21:54 +0100 (MET) -- Johan Jeuring <johanj@cs.uu.nl>
• RTA 2001 Final CFP
  Tue, 5 Dec 2000 17:43:27 +0100 (MET) -- rta2001-publicity@csl.sri.com
• Faculty Positions Available
  Wed, 6 Dec 2000 14:43:19 +0100 (MET) -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• JFPLC'2001 Last Call for Papers
  Thu, 7 Dec 2000 19:15:52 +0100 (MET) -- Pierre.Deransart@inria.fr
• CfP PSI2001
  Thu, 7 Dec 2000 21:53:05 +0100 (MET) -- "F. Parisi-Presicce" <fparisi@ise.gmu.edu>
• Advanced MSc course in Computer Science
  Sat, 9 Dec 2000 10:02:21 +0100 (MET) -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>