AMAST Mail - December 1999

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