|
|
Size
|
BCS-FACS Evening Seminar by Prof. Chris Johnson: Public Safety, Counter Terrorism and the Mathematics of Proof, 12 May 2008, BCS London Offices
|
Fri, 21 Mar 2008 22:40:23 +0000 |
67 lines |
FM'08 -- SECOND CALL FOR PARTICIPATION
|
Thu, 20 Mar 2008 01:46:25 +0100 |
154 lines |
Postdoc research positions [formal methods, verification, hybrid systems, agents, declarative programming...]
|
Tue, 18 Mar 2008 09:24:41 +0000 |
66 lines |
SPIN 2008: Final Call for Papers
|
Sun, 16 Mar 2008 20:53:15 -0700 |
158 lines |
Call for short presentations: ABZ 2008 Conference, London, 16-18 September 2008
|
Sat, 15 Mar 2008 20:58:31 -0000 |
104 lines |
CFP ICE'08 - Interaction and Concurrency Experience (an ICALP '08 workshop)
|
Fri, 14 Mar 2008 17:12:29 +0100 |
191 lines |
Final Call for Papers: ABZ 2008 Conference, London, UK, 16-18 September 2008
|
Sat, 1 Mar 2008 23:55:09 -0000 |
205 lines |