AMAST Mail - January 2000
Last updated: Tue Feb 08 23:16:25 100
57 messages in chronological order
-
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>
[
December 1999 |
February 2000 |
Latest Update |
AMAST Mail Meta-Index |
AMAST Mail 2000 |
AMAST
]
Mail converted by MHonArc 1.2.3