AMAST Mail - November 2000

• Research Associateship in Metaprogramming Languages
  Wed, 1 Nov 2000 12:51:40 +0100 (MET) -- Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
• Bi-Dialog 2001, 2nd CfP
  Thu, 2 Nov 2000 08:54:21 +0100 (MET) -- root <root@Leibniz.lili.uni-bielefeld.de>
• Final Call For Papers: EvoWorkshops2001
  Thu, 2 Nov 2000 20:59:08 +0100 (MET) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• RTA 2001 *NEW VENUE* - 2nd call for papers and workshops
  Fri, 3 Nov 2000 01:19:16 +0100 (MET) -- rta2001-publicity@csl.sri.com
• POPL'01 Call for Participation
  Fri, 3 Nov 2000 20:37:32 +0100 (MET) -- Dave Schmidt <schmidt@cis.ksu.edu>
• 1st Call for Papers
  Mon, 6 Nov 2000 18:49:55 +0100 (MET) -- Kristina Striegnitz <kris@coli.uni-sb.de>
• TENURE TRACKs AVAILABLE AT UTA
  Tue, 7 Nov 2000 07:11:51 +0100 (MET) -- Kwan-Wu Chin <kwchin@arc.corp.mot.com>
• LPNMR'01: Second Call for Papers
  Tue, 7 Nov 2000 22:38:32 +0100 (MET) -- Wolfgang Faber <faber@kr.tuwien.ac.at>
• LICS 2001 Call for Papers
  Wed, 8 Nov 2000 22:00:38 +0100 (MET) -- Martin Grohe <lics@math.uic.edu>
• KI-2001: First Call for Papers
  Fri, 10 Nov 2000 17:51:58 +0100 (MET) -- Wolfgang Faber <faber@kr.tuwien.ac.at>
• CFP - 11th EUROPEAN - JAPANESE CONF. ON INFORMATION MODELLING AND KNOWLEDGE BASES
  Fri, 10 Nov 2000 18:56:07 +0100 (MET) -- Hannu Kangassalo <hk@cs.uta.fi>
• EvoWorkshops2001: DEADLINE EXTENSION TO NOVEMBER 25
  Fri, 10 Nov 2000 20:22:24 +0100 (MET) -- Stefano Cagnoni <cagnoni@ce.unipr.it>
• CFP (2nd): IJCAR 2001 - International Joint Conference on Automated Reasoning
  Mon, 13 Nov 2000 16:34:31 +0100 (MET) -- IJCAR Publicity Chair <ijcar-publicity@dii.unisi.it>
• NOTERE 2000 - Appel a participation
  Mon, 13 Nov 2000 18:48:18 +0100 (MET) -- Conference Notere 2000 <notere@enst.fr>
• ETAPS 2002 - Call for Satellite Events
  Mon, 13 Nov 2000 19:54:23 +0100 (MET) -- Etaps 2002 <etaps02@ormelune.imag.fr>
• extended deadline for PADO-II
  Tue, 14 Nov 2000 01:11:16 +0100 (MET) -- Symposium on Program as Data Objects <pado2@brics.dk>
• International Masters Programme in COMPUTATIONAL LOGIC
  Tue, 14 Nov 2000 13:55:42 +0100 (MET) -- CL Advertisement <cladv@inf.tu-dresden.de>
• Call for Participation STACS 2001
  Fri, 17 Nov 2000 14:10:48 +0100 (MET) -- Kerstin Achtruth <achtruth@tcs.inf.tu-dresden.de>
• CONCUR 2001 -- PRELIMINARY CALL FOR PAPERS
  Fri, 17 Nov 2000 14:34:28 +0100 (MET) -- Anna Ingolfsdottir <annai@cs.auc.dk>
• (fwd) 1st CfP: Workshop "Coordination & Action"
  Sat, 18 Nov 2000 17:54:13 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) SOCO/ISFI 2001 - Call for Papers
  Sat, 18 Nov 2000 18:17:12 +0100 (MET) -- scollo@cs.utwente.nl (Pippo Scollo)
• contribution to the AMAST mailing list
  Mon, 20 Nov 2000 10:11:15 +0100 (MET) -- Inge Bethke <inge@wins.uva.nl>
• WADT/CoFI 2001 - SECOND CALL FOR ABSTRACTS
  Mon, 20 Nov 2000 16:45:43 +0100 (MET) -- WADT 2001 <wadt2001@disi.unige.it>
• LACL 2001 Second Call for Papers
  Tue, 21 Nov 2000 13:57:06 +0100 (MET) -- Catherine Piliere <Catherine.Piliere@loria.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>
• Static Analysis Symposium 2001, Paris : 1st CfP
  Tue, 21 Nov 2000 16:15:58 +0100 (MET) -- Radhia Cousot <radhia@lix.polytechnique.fr>
• ASIAN'00: Call for Papers
  Wed, 22 Nov 2000 03:22:29 +0100 (MET) -- masahiko@kuis.kyoto-u.ac.jp
• RelMiS 2001 --- Call for Papers
  Wed, 22 Nov 2000 10:07:31 +0100 (MET) -- kahl@heraklit.informatik.UniBw-Muenchen.de
• [GOOAL.net] Call for Papers VLFM'01
  Wed, 22 Nov 2000 21:48:11 +0100 (MET) -- Mark Minas <Mark.Minas@informatik.uni-erlangen.de>
• CMCS 2001 - Call for Papers
  Thu, 23 Nov 2000 09:52:26 +0100 (MET) -- Andrea Corradini <andrea@di.unipi.it>
• Four lectureships in Nottingham
  Fri, 24 Nov 2000 11:13:16 +0100 (MET) -- gmh@marian.cs.nott.ac.uk
• MCU'2001 - FINAL Call for Papers
  Fri, 24 Nov 2000 14:51:38 +0100 (MET) -- Gabriel Ciobanu <gabriel@comp.nus.edu.sg>
• "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>
• 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>
• 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>
• IEEE Int.Conf. Software Maintenance., Florence,Italy,ICSM2001
  Tue, 28 Nov 2000 21:33:14 +0100 (MET) -- icsm2001 (NESI) <icsm2001@dsi.unifi.it>
• CFP: ICECCS 2001
  Wed, 29 Nov 2000 00:11:40 +0100 (MET) -- Frank Stomp <fstomp@cs.wayne.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>