|
|
|
Size
|
VSTTE 2010: Call for POSTERS
|
Gudmund Grov |
Mon, 26 Apr 2010 08:38:54 +0100 |
286 lines |
CFP: VSTTE workshops on Theory and on Experiments & Tools
|
Gudmund Grov |
Thu, 15 Apr 2010 17:15:28 +0100 |
65 lines |
12 FMNet members have posted 31 papers on Academia.edu
|
Richard Price |
Mon, 12 Apr 2010 20:20:28 +0100 |
32 lines |
Call for papers: 12th International Conference on Formal Engineering Methods (ICFEM 2010), Shanghai, China
|
Jonathan Bowen |
Sun, 11 Apr 2010 23:52:14 +0100 |
163 lines |
REMINDER: FACS Evening Seminar -- joint event with the SCSC -- by Prof. Robin Bloomfield, 14 April, 5.45pm, Birkbeck College: Interdependencies and Resilient Infrastructure
|
Paul Boca |
Tue, 6 Apr 2010 21:06:51 +0100 |
85 lines |
CFP: 4th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2010)
|
Siraj Shaikh |
Sat, 3 Apr 2010 00:14:59 +0100 |
153 lines |