|
|
April 13, 2005
- PDMC'05 Deadline Extension, Martin Leucker
- CFP - NETCA Workshop on Verification and Theorem Proving for Continuous Systems, Hanne Gottliebsen
- RA position at Royal Holloway, Univ of London, Zhaohui Luo
- ARSPA'05: Deadline Extended (Workshop on Automated Reasoning for Security Protocol Analysis, co-located with ICALP'05), lvigano-gy3b+zu4XSAfv37vnLkPlQ
- GTTSE Summer School: Early registration deadline April 15, GTTSE 2005
- Post-doc position in Martin Odersky's group, EPFL, Switzerland, Martin Odersky
- PDPAR'05: Submission deadline extended to April 18, 2005, Alessandro Cimatti
- Call for Papers - ICTAC05 (Hanoi), Bernhard K. Aichernig
- research positions 2005-8, Carlos Martin-Vide
- Formal Methods 2005: Call for Participation, events-admin-UYyDbajZw9Ng9hUCZPvPmw
- Announcing SMT-COMP, Clark Barrett
|
|