News (Action IC0701)

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.

Registration open

posted Sep 25, 2008 5:00 PM by Vladimir Klebanov

2nd MC and WG Meeting, Madrid, December 1-3, 2008. Deadline for expressing the wish for reimbursement is October 10th.

New signatory: Switzerland

posted Aug 13, 2008 7:05 AM by Vladimir Klebanov [ updated Oct 17, 2008 8:28 AM ]

Viktor Kuncak from EPF Lausanne and Peter Müller from ETH Zürich have now been officially nominated as representatives of Switzerland for the Management Committee.

Financial Report and MC Meeting minutes available

posted Aug 4, 2008 7:21 AM by Vladimir Klebanov [ updated Aug 13, 2008 7:04 AM ]

The draft 1st MC Meeting minutes and the Financial Report for the 1st reporting period (April-June 2008) are available now. MC members can access the documents in the Documents section (top row of links) after logging in.

Action IC0701

Navigation

Resources

News