AMAST Mail - February 2000

• [CFP:]<<UML>>2000 (2nd Call)
  Tue, 1 Feb 2000 17:41:15 +0100 (MET) -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• CSL 2000 : Deadline extension until Feb 7
  Tue, 1 Feb 2000 18:19:49 +0100 (MET) -- Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
• It's time to register for Middleware 2000
  Tue, 1 Feb 2000 20:56:45 +0100 (MET) -- banavar@us.ibm.com
• AiML-ICTL 2000: Second Call for Papers
  Tue, 1 Feb 2000 23:34:20 +0100 (MET) -- Advances in Modal Logic <mdr@acm.org>
• random2000: cfp
  Wed, 2 Feb 2000 11:28:19 +0100 (MET) -- POWELL Olivier <Olivier.Powell@cui.unige.ch>
• Deadline has moved
  Wed, 2 Feb 2000 11:57:34 +0100 (MET) -- root <root@Leibniz.lili.uni-bielefeld.de>
• CL2000: deadline postponed to February 21st
  Thu, 3 Feb 2000 14:54:39 +0100 (MET) -- "Raamsdonk van F" <femke@skiff.cs.vu.nl>
• Call for Systems-Session at NMR 2000
  Sat, 5 Feb 2000 14:20:19 +0100 (MET) -- Juergen Dix <dix@uni-koblenz.de>
• New PhD positions at Chalmers
  Mon, 7 Feb 2000 17:10:33 +0100 (MET) -- "K. V. S. Prasad" <prasad@cs.chalmers.se>
• Try Constraint Handling Rules Online
  Wed, 9 Feb 2000 11:49:06 +0100 (MET) -- Thom Fruehwirth <fruehwir@informatik.uni-muenchen.de>
• FMOODS'2000 cfp - WITH SUBMISSION INSTRUCTIONS!
  Wed, 9 Feb 2000 17:58:13 +0100 (MET) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• Verification tool announcement: RED v.1.0
  Thu, 10 Feb 2000 05:16:25 +0100 (MET) -- farn@iis.sinica.edu.tw (Farn Wang)
• CfP: ECOOP 2000 Workshop on Formal Techniques for Java Programs
  Thu, 10 Feb 2000 09:10:21 +0100 (MET) -- Peter Mueller <Peter.Mueller@FernUni-Hagen.de>
• WFLP'2000
  Thu, 10 Feb 2000 10:04:58 +0100 (MET) -- Salvador Lucas Alba <slucas@dsic.upv.es>
• CfP #2: Wksp. on Graph Transformation and Visual Modeling Techniques @ ICALP2000
  Thu, 10 Feb 2000 19:05:04 +0100 (MET) -- Andrea Corradini <andrea@di.unipi.it>
• CFP: Formal Methods and Computer Security
  Thu, 10 Feb 2000 22:12:59 +0100 (MET) -- Helmut Veith <veith@ux8.sp.cs.cmu.edu>
• PhD Postion / PostDoc / Assistant Professor at Freiburg
  Thu, 10 Feb 2000 22:46:11 +0100 (MET) -- Stefan Leue <leue@informatik.uni-freiburg.de>
• Job Announcement -- C.S. Dept. -- Univ. of Cyprus
  Fri, 11 Feb 2000 13:11:35 +0100 (MET) -- George Angelos Papadopoulos <george@ada.cs.ucy.ac.cy>
• Vacancy at Manchester University
  Fri, 11 Feb 2000 18:31:09 +0100 (MET) -- Renate Schmidt <schmidt@rspc.cs.man.ac.uk>
• Call For Papers: Int'l Conf, Las Vegas, June 26-29,2000: PDPTA + CISST + IC-AI + ...
  Fri, 11 Feb 2000 20:09:47 +0100 (MET) -- Hamid Arabnia <hra@cs.uga.edu>
• It's time to register for Middleware 2000!
  Mon, 14 Feb 2000 07:18:49 +0100 (MET) -- banavar@us.ibm.com
• Postdoc-position in a european project at University Paris 13
  Tue, 15 Feb 2000 20:00:42 +0100 (MET) -- Philippe Dague <Philippe.Dague@lipn.univ-paris13.fr>
• Assistant professorship and PhD position(s)
  Wed, 16 Feb 2000 15:24:17 +0100 (MET) -- Joost-Pieter Katoen <katoen@cs.utwente.nl>
• Two open research positions
  Wed, 16 Feb 2000 16:18:04 +0100 (MET) -- Torsten Schaub <torsten@cs.uni-potsdam.de>
• FST TCS 2000 --- cfpo ascii version --
  Thu, 17 Feb 2000 08:00:54 +0100 (MET) -- Sanjiva Prasad <sanjiva@CSE.IITD.ERNET.IN>
• ETAPS >> FMICS programme
  Thu, 17 Feb 2000 10:03:43 +0100 (MET) -- "A. Rennoch" <rennoch@fokus.gmd.de>
• International Masters Programme in COMPUTATIONAL LOGIC
  Thu, 17 Feb 2000 11:44:10 +0100 (MET) -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• No Subject
  Thu, 17 Feb 2000 22:15:56 +0100 (MET) -- Stefano Cagnoni <cagnoni@CE.UniPR.IT>
• TCS Special Issue: Call for Papers
  Fri, 18 Feb 2000 08:49:13 +0100 (MET) -- David A Wolfram <David.Wolfram@cs.anu.edu.au>
• CFP: EXPRESS'00 workshop
  Fri, 18 Feb 2000 13:11:58 +0100 (MET) -- Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
• Research scholarships available at Birmingham
  Fri, 18 Feb 2000 14:58:13 +0100 (MET) -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• ESSLLI-2000
  Fri, 18 Feb 2000 17:38:07 +0100 (MET) -- Catherine Piliere <Catherine.Piliere@loria.fr>
• CONCUR 2000: Second Call for Papers
  Sat, 19 Feb 2000 22:16:35 +0100 (MET) -- Concur2000 <concur2k@cse.psu.edu>
• CP2000: Final Call for Papers
  Tue, 22 Feb 2000 04:09:10 +0100 (MET) -- Martin Henz <henz@comp.nus.edu.sg>
• CfReg FMPA 2000: Euro-Summerschool on Formal Methods and Performance Analysis
  Tue, 22 Feb 2000 11:04:02 +0100 (MET) -- hermanns@cs.utwente.nl (Holger Hermanns)
• TOOLS USA 2000 Call for contributions
  Tue, 22 Feb 2000 23:38:47 +0100 (MET) -- "TOOLS Conferences" <announce@tools.com>
• CFP: Domain-Specific Languages for Software Engineering
  Wed, 23 Feb 2000 09:52:54 +0100 (MET) -- Marjan Mernik <marjan.mernik@uni-mb.si>
• FMOODS'2000 submission deadline is near
  Wed, 23 Feb 2000 21:04:03 +0100 (MET) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
• No Subject
  Thu, 24 Feb 2000 03:01:08 +0100 (MET) -- Klaus Havelund <havelund@ptolemy.arc.nasa.gov>
• MFPS 16 Call for Participation
  Thu, 24 Feb 2000 22:09:39 +0100 (MET) -- Michael Mislove <mwm@math.tulane.edu>
• MFPS 16 Hotel Deadline March 13!
  Fri, 25 Feb 2000 00:49:01 +0100 (MET) -- Michael Mislove <mwm@math.tulane.edu>
• CfP #3 [Deadline Extension]: Wksp. on Graph Transformation and Visual Modeling Techniques @ ICALP2000
  Mon, 28 Feb 2000 15:42:54 +0100 (MET) -- Andrea Corradini <andrea@di.unipi.it>
• Knowledge and Information Systems: Vol 2 No 1 (2000)
  Mon, 28 Feb 2000 19:20:36 +0100 (MET) -- Xindong Wu <xwu@gauss.Mines.EDU>
• Middleware 2000 early registration deadline is March 2nd
  Tue, 29 Feb 2000 15:40:31 +0100 (MET) -- banavar@us.ibm.com
• FMOODS 2000 Submission Deadline Extension
  Tue, 29 Feb 2000 23:40:39 +0100 (MET) -- Fmoods Mailbox <fmoods@Steam.Stanford.EDU>