AMAST Mail - January 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>