AMAST Mail - May 1998

• ARTS'99 Preliminary Call for Papers (plain text)
  98/05/01 -- scollo@cs.utwente.nl (Pippo Scollo)
• PROBMIV'98: Call for Participation
  98/05/01 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• CFP: ACM SAC'99 - Track on Coordination
  98/05/05 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• FSTTCS 98, Deadline Extended, Final Call for Papers (ASCII)
  98/05/06 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• PROCOMET'98 registration extended
  98/05/07 -- "Rance Cleaveland" <rance@eos.ncsu.edu>
• ICALP'98: Call for Participation
  98/05/07 -- Uffe Henrik Engberg <engberg@brics.dk>
• RealComp'98: CFP and preliminary programme
  98/05/08 -- Philipp Suenderhauf <suenderh@dag.uni-sb.de>
• Reminders: FLoC'99 call for workshops and LICS'98 early registration
  98/05/08 -- Leonid Libkin <libkin@research.bell-labs.com>
• WRLA'98 last call
  98/05/10 -- Helene Kirchner <Helene.Kirchner@loria.fr>
• POPL99 Call for Papers
  98/05/11 -- Alex Aiken <aiken@cs.berkeley.edu>
• PAPM98 - Last Remainder
  98/05/11 -- Corrado Priami <priami@sci.univr.it>
• FEmSys'99 - First Announcement/Call for Exhibitors
  98/05/12 -- Axel Poigne <ap@borneo.gmd.de>
• Announce 3 AFP
  98/05/12 -- lsb@di.uminho.pt (Luis Soares Barbosa)
• CAV'98 Tutorials
  98/05/14 -- Alan Hu <ajh@cs.ubc.ca>
• CONCUR '98: ACCEPTED PAPERS (and general infos)
  98/05/20 -- Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
• School Announcement
  98/05/21 -- Sergio Yovine <sergio@PATH.Berkeley.EDU>
• COCL'98 Final Call for Papers
  98/05/22 -- P M Hill <hill@scs.leeds.ac.uk>
• Tool exhibition STTT'98 - Int. Workshop on Software Tools for Technology Transfer
  98/05/22 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>
• ICALP'98: 2nd Call for Participation
  98/05/25 -- Uffe Henrik Engberg <engberg@brics.dk>
• FSTTCS 98, Final Reminder
  98/05/26 -- 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
• No Subject
  98/05/28 -- Francesca Levi <flevi@sophia.inria.fr>
• Design of Intelligent Multi-Agent Systems
  98/05/28 -- jonker@cs.vu.nl (CM Jonker)
• COCL'98 EXTENDED DEADLINE
  98/05/28 -- P M Hill <hill@scs.leeds.ac.uk>
• Preliminary Announcement and CFP: COORDINATION 99
  98/05/29 -- Farhad.Arbab@cwi.nl
• Semantics of Objects as Processes - SOAP (satellite of ICALP'98)
  98/05/29 -- Uwe Nestmann <uwe@cs.auc.dk>
• FM'99: World Congress on Formal Methods
  98/05/29 -- Dines Bjorner <db@it.dtu.dk>
• Last CFP: WS on Principles of Abstract Machines
  98/05/29 -- Stephan Diehl <diehl@cs.uni-sb.de>
• Guest Positions
  98/05/29 -- Steffen Hoelldobler <sh@star7.inf.tu-dresden.de>
• TARK VII - CALL FOR PARTICIPATION
  98/05/29 -- Avi Pfeffer <avi@Robotics.Stanford.EDU>