AMAST Mail - November 1997

• IRW/FMP'98: Call For Papers - Refinement & Formal Methods
  97/11/05 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• Software Process Leaders Needed
  97/11/05 -- Itziar Ortega <Itzi@esi.es>
• CSL98
  97/11/07 -- Computer Science Logic <csl@dbai.tuwien.ac.at>
• FCCM98 Call For Papers
  97/11/10 -- "Jeffrey M. Arnold" <jmarnold@znet.com>
• BRICS Int. PhD School: Call for Admission and Grant Applications
  97/11/11 -- Uffe Henrik Engberg <engberg@brics.dk>
• PART98 Preliminary Announcement
  97/11/11 -- Bert Lisser <Bert.Lisser@cwi.nl>
• PA EXPO98-Final Call For Papers
  97/11/15 -- info@pap.com
• last cfp MPC'98: Mathematics of Program Construction
  97/11/17 -- Johan Jeuring <johanj@cs.chalmers.se>
• PROBMIV'98: Call for Papers
  97/11/17 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• GETGRATS grants: Call for Applications
  97/11/20 -- Andrea Corradini <andrea@DI.Unipi.IT>
• CFP -- EURO-MED NET '98: Internet & WWW in the Mediterranean
  97/11/27 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>