AMAST Mail Latest Update

• Advanced MSc course in Computer Science
  Sat, 9 Dec 2000 10:02:21 +0100 (MET) -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• CfP PSI2001
  Thu, 7 Dec 2000 21:53:05 +0100 (MET) -- "F. Parisi-Presicce" <fparisi@ise.gmu.edu>
• JFPLC'2001 Last Call for Papers
  Thu, 7 Dec 2000 19:15:52 +0100 (MET) -- Pierre.Deransart@inria.fr
• Faculty Positions Available
  Wed, 6 Dec 2000 14:43:19 +0100 (MET) -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• RTA 2001 Final CFP
  Tue, 5 Dec 2000 17:43:27 +0100 (MET) -- rta2001-publicity@csl.sri.com
• Call for papers: Haskell Workshop 2001
  Tue, 5 Dec 2000 15:21:54 +0100 (MET) -- Johan Jeuring <johanj@cs.uu.nl>
• CfParticipation: CATS 2001, Australia
  Tue, 5 Dec 2000 00:41:08 +0100 (MET) -- CATS 01 Conference <cats01@svrc.uq.edu.au>
• Post-Docs at OGI
  Fri, 1 Dec 2000 20:27:23 +0100 (MET) -- Andy Moran <moran@cse.ogi.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>
• CFP: ICECCS 2001
  Wed, 29 Nov 2000 00:11:40 +0100 (MET) -- Frank Stomp <fstomp@cs.wayne.edu>
• IEEE Int.Conf. Software Maintenance., Florence,Italy,ICSM2001
  Tue, 28 Nov 2000 21:33:14 +0100 (MET) -- icsm2001 (NESI) <icsm2001@dsi.unifi.it>
• 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>
• 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>
• "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>
• MCU'2001 - FINAL Call for Papers
  Fri, 24 Nov 2000 14:51:38 +0100 (MET) -- Gabriel Ciobanu <gabriel@comp.nus.edu.sg>
• Four lectureships in Nottingham
  Fri, 24 Nov 2000 11:13:16 +0100 (MET) -- gmh@marian.cs.nott.ac.uk
• CMCS 2001 - Call for Papers
  Thu, 23 Nov 2000 09:52:26 +0100 (MET) -- Andrea Corradini <andrea@di.unipi.it>
• [GOOAL.net] Call for Papers VLFM'01
  Wed, 22 Nov 2000 21:48:11 +0100 (MET) -- Mark Minas <Mark.Minas@informatik.uni-erlangen.de>
• RelMiS 2001 --- Call for Papers
  Wed, 22 Nov 2000 10:07:31 +0100 (MET) -- kahl@heraklit.informatik.UniBw-Muenchen.de
• ASIAN'00: Call for Papers
  Wed, 22 Nov 2000 03:22:29 +0100 (MET) -- masahiko@kuis.kyoto-u.ac.jp
• Static Analysis Symposium 2001, Paris : 1st CfP
  Tue, 21 Nov 2000 16:15:58 +0100 (MET) -- Radhia Cousot <radhia@lix.polytechnique.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>
• LACL 2001 Second Call for Papers
  Tue, 21 Nov 2000 13:57:06 +0100 (MET) -- Catherine Piliere <Catherine.Piliere@loria.fr>
• WADT/CoFI 2001 - SECOND CALL FOR ABSTRACTS
  Mon, 20 Nov 2000 16:45:43 +0100 (MET) -- WADT 2001 <wadt2001@disi.unige.it>
• contribution to the AMAST mailing list
  Mon, 20 Nov 2000 10:11:15 +0100 (MET) -- Inge Bethke <inge@wins.uva.nl>