posted Jul 27, 2009 6:26 AM by Vladimir Klebanov
has been made world-readable. Also, anyone with an Action account can upload problems. |
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.
|
posted Apr 2, 2009 8:01 AM by Vladimir Klebanov
[
updated Apr 2, 2009 8:05 AM
]
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".
|
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.
|
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.
|
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. |
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.
|
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.
|
posted Mar 28, 2008 7:37 AM by Vladimir Klebanov
[
updated May 20, 2008 10:30 AM
]
June 2nd-4th in Gothenburg, Sweden. Please visit the meeting site.
|
|
