News
Pre-proceedings of FoVeOOS 2011 available for download
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 |
Aalborg meeting reimbursement is being processed
All reimbursement claims for Aalborg have been received and are being processed. |
The example repository
has been made world-readable. Also, anyone with an Action account can upload problems. |
New summary of STSM procedures
is in the internal area of the website. This should clarify the process for the visitors. |
Registration open (and changed dates)
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. |
Apply for the COST Winter School now
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. |
New MC Members
Marieke Huisman (U Twente, NL) and Matthew Parkinson (U Cambridge, UK) have joined the Management Committee. |
1-10 of 15