News

Pre-proceedings of FoVeOOS 2011 available for download

posted Oct 18, 2011, 12:10 PM by Bernhard Beckert   [ updated Oct 18, 2011, 12:11 PM ]

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

posted Mar 17, 2011, 8:11 AM by Vladimir Klebanov

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

FoVeOOS 2010 post-conference proceedings

posted Jan 22, 2011, 5:11 AM by Bernhard Beckert   [ updated Jan 22, 2011, 5:15 AM ]

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

New contact details

posted Feb 23, 2010, 5:25 AM by Vladimir Klebanov

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

The example repository

posted Jul 27, 2009, 6:26 AM by Vladimir Klebanov

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

New summary of STSM procedures

posted Jul 27, 2009, 6:24 AM by Vladimir Klebanov

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

Registration open (and changed dates)

posted Apr 2, 2009, 8:01 AM by Vladimir Klebanov   [ updated Apr 2, 2009, 8:05 AM ]

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.

Action Poster

posted Nov 29, 2008, 3:57 AM by Bernhard Beckert   [ updated Nov 29, 2008, 4:50 AM ]

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

Apply for the COST Winter School now

posted Nov 17, 2008, 3:52 AM by Vladimir Klebanov

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

posted Oct 16, 2008, 4:47 AM by Vladimir Klebanov

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

1-10 of 15