AMAST Mail - February 1997

• Extended Deadline for AIN'97
  97/02/02 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• ASF+SDF'97 -- call for papers
  97/02/03 -- alex@fwi.uva.nl (alex M.P.A. Sellink)
• ESSLLI'97: Student Session (Call for Papers)
  97/02/03 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• PA EXPO97 UPDATE
  97/02/05 -- Steve Cartmell <steve@pap.com>
• [fm@csd.uu.se: Infinite State Systems school]
  97/02/06 -- Yassine Lakhnech <Yassine.Lakhnech@imag.fr>
• No Subject
  97/02/10 -- rds1@doc.ic.ac.uk (Richard David Sandiford)
• Call for papers CESA'98 (fwd)
  97/02/10 -- Wilfrid PERRUQUETTI <perruque@eclia2.ec-lille.fr>
• Journees ELISA'97 Nancy - Club EEA
  97/02/11 -- sibille@cran.u-nancy.fr (Patrick SIBILLE)
• ETW'97: IEEE European Test Workshop - Remind
  97/02/11 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• MFPS Program and Registration
  97/02/12 -- Mike Mislove <mwm@deloaks.tulane.edu>
• MiniConference....
  97/02/12 -- Bob Flagg <flagg@usm.maine.edu>
• MFPS XIII Program and Registration Information
  97/02/12 -- Michael Mislove <mwm@math.tulane.edu>
• TapSoft'97 : 2nd Call For Paper
  97/02/13 -- Marc.Tommasi@lifl.fr
• (ERRATA)TapSoft'97:Call For Participation
  97/02/14 -- Marc.Tommasi@lifl.fr
• AMAST news
  97/02/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• TABLEAUX'97 First Call for Participation
  97/02/17 -- Didier Galmiche <Didier.Galmiche@loria.fr>
• Pratical Application Conferences
  97/02/18 -- Robin.Drogemuller@jcu.edu.au (Robin Drogemuller)
• CSL '97 second announcement and call for papers
  97/02/18 -- Uffe Henrik Engberg <engberg@brics.dk>
• FEmSys 97 - final-program
  97/02/19 -- Axel Poigne <poigne@gmd.de>
• industrial applications of algebraic specifications
  97/02/19 -- scollo@cs.utwente.nl (Pippo Scollo)
• 3rd IEEE International On-Line Testing Workshop - Call for Participation
  97/02/20 -- prinetto@chiusella.polito.it (Paolo Prinetto)
• Industrial projects using algebraic specifications
  97/02/20 -- Hubert.Garavel@imag.fr (Hubert Garavel)
• Re: industrial applications of algebraic specifications
  97/02/20 -- bwitz@cs.tu-berlin.de (Secr.Prof.Ehrig(Helga Barnewitz))
• industrial applications of AS
  97/02/20 -- Uwe Wolter <wolter@cs.tu-berlin.de>
• [dts@dcs.ed.ac.uk: the wow factor: request for contributions]
  97/02/20 -- Uwe Wolter <wolter@cs.tu-berlin.de>
• [dts@dcs.ed.ac.uk: The WOW factor]
  97/02/20 -- Uwe Wolter <wolter@cs.tu-berlin.de>
• cade14 workshop
  97/02/20 -- Helene Kirchner <Helene.Kirchner@loria.fr>
• HART'97 Call for Participation
  97/02/20 -- Oded Maler <Oded.Maler@imag.fr>
• FME applications database: new release
  97/02/21 -- Nico Plat <Nico.Plat@ACM.org>
• REMINDER - 12th WADT Workshop on Alg.Develop.Techn.
  97/02/21 -- wadt97@dsi.uniroma1.it (12th Workshop on Alg.Develop.Techn.)
• POST-DOC IN SOFTWARE ENGINEERING
  97/02/21 -- sleue@swen.uwaterloo.ca (Stefan Leue)
• CFP: Hawaii Intl Conf on System Sciences - ECCS Minitrack
  97/02/21 -- Massimo Bertozzi <bertozzi@CE.UniPR.IT>
• Re: industrial applications of algebraic specifications
  97/02/22 -- scollo@cs.utwente.nl (Pippo Scollo)
• FEmSys 97 -final -program
  97/02/25 -- Axel Poigne <poigne@gmd.de> (by way of Szameit@gmd.de (Heidi Szameit))
• Re: industrial applications of AS
  97/02/25 -- Uwe Wolter <wolter@cs.tu-berlin.de>
• Call for Paper : ESSLLI 97 workshop
  97/02/25 -- esslli97@ura1507.univ-paris13.fr (Ecole d'ete)
• Express97
  97/02/26 -- joachim@sics.se
• ARTS'97: Call For Participation
  97/02/27 -- Miquel Bertran <gsystems@compuserve.com>
• new ToC service, ARTS'97
  97/02/28 -- scollo@cs.utwente.nl (Pippo Scollo)