The pre-proceedings of FoVeOOS 2011 have been published by KIT in the Karlsruhe Reports in Informatics series. They are available here:
http://digbib.ubka.uni-karlsruhe.de/volltexte/1000024780

All reimbursement claims for Aalborg have been received and are being processed.

The FoVeOOS 2010 post-conference proceedings published by Springer as volume 6528 in the LNCS series are now available in print and online.

for Action Chair and Action Secretary (see the Contact page). 

has been made world-readable. Also, anyone with an Action account can upload problems.

is in the internal area of the website. This should clarify the process for the visitors.

Preliminary registration is now open for the 3rd MC and WG Meeting, Lisbon, June 11-13, 2009 (new dates!). Deadline for expressing the wish for reimbursement is April 14th.

We now have a poster for our Action. You can find it under "Downloads".

Application for the COST Winter School on Verification of Object-Oriented Programs in Viinistu, Estonia, 25-29 January 2009 is now open. Application deadline is December 5th.

Marieke Huisman (U Twente, NL) and Matthew Parkinson (U Cambridge, UK) have joined the Management Committee.