AMAST Mail - November 1999

• 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>