Action IC0701
Search all sites
Navigation
Home
About IC0701
Participating Research Groups
Working Groups
Action Meetings
STSMs
Downloads
Contact
Recent site activity
Resources
Related Events
Project List
Tool List
Teaching Materials
Internal Area
VerifyThis Repository
VerifyThus Tool Distribution
2245
days since
9th MC and WG Meeting
News
>
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.
Comments