AMAST Mail - January 1999

• Coordination Session in PDPTA'99
  99/01/01 -- Khalil Drira <khalil@laas.fr>
• CFP: Session on Hardware-Software Codesign
  99/01/01 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• MFPS XV Call or Participation
  99/01/01 -- Michael Mislove <mwm@math.tulane.edu>
• Special Issue of FI
  99/01/04 -- Ryszard JANICKI <janicki@mail.CAS.McMaster.CA>
• MTNS 2000 : Perpignan (FRANCE)
  99/01/04 -- "A. EL JAI" <Abdelhaq.Eljai@univ-perp.fr>
• Agent Course: Design of Intelligent Multi-Agent Systems
  99/01/06 -- jonker@cs.vu.nl (CM Jonker)
• "Model-Checking" Software with VeriSoft
  99/01/08 -- god@bell-labs.com
• FMOODS'99, 1-week shift early registration deadline!!!
  99/01/08 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
• MFPS Registration and Travel Information
  99/01/11 -- Mike Mislove <mwm@math.tulane.edu>
• 6th WoLLIC'99 - 3rd Call
  99/01/11 -- Ruy de Queiroz <ruy@di.ufpe.br>
• Second call for papers
  99/01/12 -- pkuehnle <deixis@lili.uni-bielefeld.de>
• TABOO tutorial following FMOODS'99 conference
  99/01/13 -- Alessandro Fantechi <fantechi@dsi.unifi.it>
• PaCT-99 Conference
  99/01/15 -- "PaCT-99 Conference" <pact99@ssd.sscc.ru>
• Academic Positions - CS Dept - Univ of Cyprus
  99/01/16 -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• FM'99 World Congress on Formal Methods: Call for Papers
  99/01/17 -- J.P.Bowen@reading.ac.uk (Jonathan Bowen)
• CfP: CHARME99 (Conf. on Correct Hardware Design and Verification Methods
  99/01/18 -- Thomas Kropf <tkropf@earthlink.net>
• CSL'99 3rd CFP (Text & LaTex versions)
  99/01/18 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• Research Vacancies - CS Dept - Univ of Cyprus
  99/01/18 -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• Permanent Academic Post - CS Dept - Univ of Cyprus
  99/01/18 -- George Angelos Papadopoulos <george@cs.ucy.ac.cy>
• UKPEW'99 - Call For Papers (fwd)
  99/01/18 -- "J.T.Bradley" <bradley@cs.bris.ac.uk>
• 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/01/18 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• ETAPS'99
  99/01/20 -- Simone Panka <Simone.Panka@cwi.nl>
• ETAPS'99 website
  99/01/20 -- Simone Panka <Simone.Panka@cwi.nl>
• SGM v1.1 Released
  99/01/21 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Director of RiskLab
  99/01/21 -- RiskLab Position <position@math.ethz.ch>
• May 3-7, 1999: Summer School in Semantics of Computation
  99/01/25 -- Uffe Henrik Engberg <engberg@brics.dk>
• [CFP] AS'99 - 2nd Int'l Workshop on Action Semantics at ETAPS'99
  99/01/28 -- Peter Mosses <mosses@csl.sri.com>
• CFP: PDPTA-99 Codesign Session
  99/01/28 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Maude 1.00 Release
  99/01/29 -- Jose Meseguer <meseguer@csl.sri.com>
• ETAPS'99, AMSTERDAM -- CALL FOR PARTICIPATION
  99/01/29 -- Don Sannella <dts@dcs.ed.ac.uk>
• An On-Line Repository of Formal Methods Educational Materials
  99/01/29 -- Kathi Fisler <kfisler@cs.rice.edu>
• 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/01/31 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• (fwd) Preprint Announcement
  99/01/31 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Topology in Computer Science Conference.
  99/01/31 -- scollo@cs.utwente.nl (Pippo Scollo)