|
|
|
Size
|
Annual Peter Landin seminar, 6 December 2011, 6pm, Covent Garden -- speaker: Professor Cliff Jones.
|
Paul Boca |
Sat, 22 Oct 2011 11:03:18 +0100 |
89 lines |
Call for Papers (TASE 2012)
|
Huibiao Zhu |
Fri, 21 Oct 2011 23:18:34 +0800 |
180 lines |
Second Call for Papers NASA Formal Methods Symposium 2012
|
Alwyn Goodloe |
Fri, 21 Oct 2011 11:16:23 -0400 |
175 lines |
GPCE 2011 Call for Participation
|
Chang Hwan Peter Kim |
Sat, 15 Oct 2011 15:28:52 -0500 |
86 lines |
FW: [strlall] 11th STRL Annual Distinguished Seminar - Erol Gelenbe
|
Hussein Zedan |
Sat, 15 Oct 2011 19:23:04 +0100 |
116 lines |
Talk on 19.10.2011 at London Metropolitan University: "The Industrial Use of Formal Methods: Experiences of an Optimist"
|
Jonathan Bowen |
Sat, 15 Oct 2011 18:05:56 +0100 |
111 lines |
QAPL 2012: First Call for Papers
|
Mieke Massink |
Thu, 13 Oct 2011 10:27:54 +0200 |
173 lines |
VSTTE 2012 Verification Competition: Change of Dates
|
Gudmund Grov |
Fri, 7 Oct 2011 11:59:31 +0100 |
126 lines |