AMAST Mail - March 1999

• OOSDS'99 CALL FOR PAPERS
  99/03/01 -- Natalia Ioustinova <ustin@informatik.uni-rostock.de>
• Extended Deadline: PDPTA-99 Codesign Session
  99/03/02 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• FSTTCS '99, First Call for Papers
  99/03/02 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• 2nd announcement Meeting in Barcelona
  99/03/04 -- Rafel Farre <farre@grec.upc.es>
• Call-for-Paper JIT99
  99/03/04 -- Jit Conference <jit99@informatik.uni-rostock.de>
• cfp SAS'99 - Venice
  99/03/04 -- Agostino Cortesi <cortesi@dsi.unive.it>
• extended deadline/session on coordination in PDPTA'99
  99/03/05 -- Khalil Drira <khalil@laas.fr>
• 14th WADT - Call for Abstracts
  99/03/05 -- Christine Choppy <christine.choppy@lipn.univ-paris13.fr>
• CHARME'99 - Final Call for Papers
  99/03/05 -- Laurence Pierre <laurence@gyptis.univ-mrs.fr>
• I need information on constraint satisfaction
  99/03/05 -- Gabriela Figueroa Quiroz <gfq@praxis.com.mx>
• FORTE/PSTV'99 - Last Call for Papers
  99/03/08 -- Samuel Chanson <chanson@cs.ust.hk>
• Computer Science Logic Conference (CSL'99)
  99/03/08 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• [CFP:] UML'99 (2nd Call For Paper)
  99/03/08 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• 6thSPIN99: The 6th International SPIN Workshop on Practical Aspects of Model Checking
  99/03/08 -- Stefan Leue <sleue@fee.uwaterloo.ca>
• Report on verification of unknown number of processes
  99/03/10 -- farn@iis.sinica.edu.tw (Farn Wang)
• [CFP:] Special Session on Coordination in Parallel and Distributed Aplications and Activities
  99/03/11 -- Philippe.Hunel@univ-pau.fr (Philippe HUNEL)
• CFPs: METICS99
  99/03/11 -- Paolo Nesi <nesi@ingfi1.ing.unifi.it>
• CRL Report Announcement
  99/03/11 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• CRL Report 371
  99/03/11 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• FCT'99 Final CFP
  99/03/13 -- Gabriel Ciobanu <gabriel@thor.infoiasi.ro>
• *** FLOC-99 --- WORKSHOP AND CONTEST ON INDUCTIVE THEOREM PROVING ***
  99/03/15 -- Dieter Hutter <hutter@dfki.de>
• PA Expo99 (PAAM, PACLP, PAKeM, PA Java, PADD): Call for Participation
  99/03/15 -- info@pap.com
• 2nd CfP: 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/03/15 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• Research scholarships available at Birmingham
  99/03/16 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• CFP: School on Modeling and Verification
  99/03/17 -- Roberto Amadio <amadio@gyptis.univ-mrs.fr>
• PhD grants - GKLI in Munich
  99/03/17 -- Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
• No Subject
  99/03/17 -- Maddux <maddux@iastate.edu>
• PROBMIV'99: Call for Papers
  99/03/18 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• Final CFP: SMC99
  99/03/19 -- Alessandro Cimatti <cimatti@irst.itc.it>
• CFP: High Assurance Systems Engineering (April 7 Deadline)
  99/03/20 -- "David B. Stewart" <dstewart@eng.umd.edu>
• For Amast
  99/03/21 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• Postdoctorate Grant at Dresden University of Technology
  99/03/21 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
• extended deadline ESSLLI'99 Student Session - Computation and Logic&Computation sections
  99/03/22 -- amalia@liia.u-strasbg.fr
• FCT'99 - Deadline Extension !
  99/03/24 -- "FCT'99 Organizing Committee" <fct99@infoiasi.ro>
• Two PhD Studentships in Logic and Theorem Proving
  99/03/25 -- Renate Schmidt <R.A.Schmidt@doc.mmu.ac.uk>
• WAIT99 - Call for Papers
  99/03/25 -- Gabriel Baum <gbaum@sol.info.unlp.edu.ar>
• CRL Report Announcement
  99/03/25 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• FLoC'99 (Federated Logic Conference): Call for Participation
  99/03/29 -- Leonid Libkin <Leonid.Libkin@inria.fr>
• Call for Participation ARTS'99
  99/03/30 -- Tagung Arts99 <arts99@immd7.informatik.uni-erlangen.de>
• DEADLINE EXTENDED: 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/03/31 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• FLOPS'99 - Second Call for Papers
  99/03/31 -- Aart Middeldorp <ami@is.tsukuba.ac.jp>
• [SOAP @ ECOOP] Semantics of Objects As Processes '99 (CFP-Reminder)
  99/03/31 -- Uwe Nestmann <uwe@cs.auc.dk>
• HASE 99: Deadline Extension for Submissions
  99/03/31 -- "David B. Stewart" <dstewart@eng.umd.edu>