FM'99 World Congress poster

FM'99
World Congress
on Formal Methods

User Group Meetings & Workshops

The FM'99 World Congress will feature User Group Meetings and Workshops and related events. In particular, an IEEE Formal Methods Planning Group Birds of a Feather Meeting will take place as a plenary session in the main auditorium on Thursday 23 September at 5.15pm. The following meetings are scheduled to take place:

  1. ASM (Abstract State Machines) - Egon.Boerger@di.unipi.it
  2. B-Method - Ken.Robinson@serg.cse.unsw.edu.au, Didier.Bert@imag.fr
  3. CoFI Working Group - Don Sannella: dts@dcs.ed.ac.uk
  4. Coq - Christine Paulin-Mohring: Christine.Paulin@lri.fr
  5. Larch - Gary Leavens: leavens@cs.iastate.edu
  6. OBJ/CafeOBJ/Maude - Kokichi Futatsugi: kokichi@pepper.jaist.ac.jp
  7. ProCoS (Provably Correct Systems) - Jonathan Bowen: J.P.Bowen@reading.ac.uk
  8. PVS - Dave Stringer-Calvert: dave_sc@csl.sri.com
  9. SPIN Workshop - sleue@uwaterloo.ca
  10. TLA+ (Temporal Logic of Actions) - Dominique.Mery@loria.fr
  11. VDM-SL - John.Fitzgerald@newcastle.ac.uk
  12. Z User Group (ZUG) - Jonathan Bowen: J.P.Bowen@reading.ac.uk

  13. Safety (pre SAFECOMP'99 meeting)
  14. IEEE Formal Methods Planning Group Birds of a Feather Meeting

Related events

The following conferences are co-located in Toulouse and will be held before/after FM'99:
  1. Euro-Par'99, 31 August - 3 September 1999
  2. ESEC/FSE'99, 6-10 September 1999
  3. SAFECOMP'99, 27-29 September 1999
See also a Symposium in Celebration of the work of Tony Hoare, Oxford, UK, 13-15 September 1999, just before FM'99.

Congress Public Relations Officer: Jonathan Bowen
(last updated 16/6/99)