The pre-proceedings of FoVeOOS 2011 have been published by KIT in the Karlsruhe Reports in Informatics series. They are available here:
All reimbursement claims for Aalborg have been received and are being processed.
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.
1-10 of 15