AMAST Mail - March 1998

• CFP - Computer Communications Special issue on FDTs in Practice
  98/03/02 -- Dr Richard Lai <lai@ubd.edu.bn>
• FSTTCS 98, 1st Call for Papers
  98/03/02 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• CFP: Sixth CALCULEMUS and TYPES Workshop
  98/03/06 -- Calculemus and Types 98 <calc@win.tue.nl>
• PROBMIV'98: Final CFP
  98/03/06 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• (fwd) ANNOUNCING: Xy-pic version 3.6 released!
  98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
• (fwd) Two Assistant Professor positions at IT Dept. of DTU, Lyngby, Denmark
  98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
• (fwd) 2nd CfP: *** FM-TRENDS 98 ***
  98/03/06 -- scollo@arena.sci.univr.it (Giuseppe Scollo)
• PA EXPO98-Final Call for Participation
  98/03/10 -- info@pap.com
• INFINITY'98: last call for papers
  98/03/10 -- Javier Esparza <esparza@informatik.tu-muenchen.de>
• SAS and PLILP/ALP 98, 2nd CFP
  98/03/11 -- Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
• FORTE/PSTV'98 -- 2nd Call for Papers
  98/03/11 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
• 5th WoLLIC'98 - 3rd Call
  98/03/11 -- Ruy de Queiroz <ruy@di.ufpe.br>
• CFP - Special session in FORTE/PSTV'98
  98/03/11 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
• XIII SBMicro
  98/03/11 -- Ivan Jorge Chueiri <chueiri@lac.copel.br>
• Revised CFP TARK98
  98/03/13 -- Avi Pfeffer <avi@Robotics.Stanford.EDU>
• (fwd) 10th Int'l Lipari School: Distributed Systems and Security
  98/03/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) AMAST'98 FIRST CFP (Spread the news)
  98/03/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• CFP Graph Drawing '98
  98/03/16 -- Roberto Tamassia <rt@cs.brown.edu>
• 2nd CFP - IEEE Real-Time Systems Symposium 1998 (RTSS '98)
  98/03/16 -- Richard Gerber <rich@cs.umd.edu>
• Ann: School on Specification, Refinement, and Verification
  98/03/16 -- Johan.Lilius@abo.fi
• FLoC'99
  98/03/16 -- Alan Hu <ajh@cs.ubc.ca>
• PA EXPO98 Conference and Exhibition Details
  98/03/16 -- info@pap.com
• CSL-98 Call For Papers
  98/03/17 -- Computer Science Logic <csl@dbai.tuwien.ac.at>
• ICALP '98: List of Accepted Papers
  98/03/17 -- Uffe Henrik Engberg <engberg@brics.dk>
• (fwd) Having an influence on funding for basic research in Framework 5
  98/03/17 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Call for participation: MPC'98
  98/03/17 -- scollo@cs.utwente.nl (Pippo Scollo)
• CfP: Estelle'98 - Int. Workshop on the FDT Estelle
  98/03/17 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>
• (fwd) AMAST'98 First CFP, Corrected Dates
  98/03/18 -- scollo@cs.utwente.nl (Pippo Scollo)
• WESIC'98 - Call for participation
  98/03/18 -- Joaquim Armengol Llobet <armengol@silver.udg.es>
• FMOODS '99: call for papers
  98/03/19 -- mascolo@CS.UniBO.IT (Cecilia Mascolo)
• 2nd CfP PAPM98
  98/03/20 -- Corrado Priami <priami@biotech.sci.univr.it>
• WRLA'98 CALL FOR PAPERS
  98/03/26 -- Helene Kirchner <Helene.Kirchner@loria.fr>
• Second Call for Participation TABLEAUX'98
  98/03/26 -- "H. de Swart" <H.C.M.deSwart@kub.nl>
• FV benchmarks - http://godel.ece.utexas.edu/texas97-benchmarks/
  98/03/26 -- Adnan Aziz <adnan@tarski.ece.utexas.edu>
• IRW/FMP'98 Final Call For Papers (Completed Work Category)
  98/03/27 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• IRW/FMP'98 Correction Final Call For Papers (Completed Work Category)
  98/03/30 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>