|
|
|
Size
|
Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr '10
|
Eduardo Zambon |
Mon, 30 Nov 2009 15:49:51 +0100 |
271 lines |
VSTTE 2010: Verified Software -- Second Call for Papers
|
Gudmund Grov |
Mon, 23 Nov 2009 10:11:40 +0000 |
193 lines |
Reminder:FACS/LMS Evening Seminar: Forward with Hoare, 1 December 2009, London Mathematical Society, Demorgan House
|
Paul Boca |
Sun, 22 Nov 2009 21:48:51 +0000 |
60 lines |
5 members of ProCoS on Academia.edu
|
Richard Price |
Wed, 18 Nov 2009 23:27:20 +0000 |
25 lines |
QAPL 2010 Call for Papers
|
Gethin Norman |
Wed, 18 Nov 2009 17:43:04 +0000 |
169 lines |
New Academia.edu feature for ProCoS
|
Richard Price |
Fri, 13 Nov 2009 23:15:27 +0000 |
37 lines |
PhD Studentships in Formal methods and HCI for medical devices
|
Paul Curzon |
Fri, 6 Nov 2009 11:42:58 +0000 |
96 lines |
Call for Workshop Proposals: ICGT/SPIN 2010
|
Eduardo Zambon |
Mon, 2 Nov 2009 13:48:59 +0100 |
93 lines |