Annual General Meeting and Celebration of Formal Methods. Four invited speakers will give presentations on current research in a day that promises to be both enjoyable and informative. For general inqueries and registration see website.

Frank de Boer (CWI and LIACS, NL) will talk about Run-Time Assertion Checking
of Data- and Protocol-Oriented Properties of Java Programs.

Marieke Huisman (University of Twente, NL) will talk about Verification of
Concurrent Data Structures.

Ana Cavalcanti (University of York, UK) will talk about Safety-Critical Java
Programs from Circus Models.

Michael Jackson (Open University and University of Newcastle, UK) will talk
about Formalism and Intuition in Software Development.