|
|
|
Size
|
FACS/LMS Evening Seminar: Forward with Hoare, 1 December 2009, London Mathematical Society, Demorgan House
|
Paul Boca |
Thu, 29 Oct 2009 22:15:56 +0000 |
60 lines |
CFP: International Symposium on Memory Management 2010
|
Kevin Hoffman |
Mon, 12 Oct 2009 15:12:29 -0700 |
133 lines |
BCS-FACS/BCSWomen Evening Seminar by Marta Kwiatkowska, Software verification for ubiquitous computing, 19 Oct, 6pm, BCS London Offices
|
Paul Boca |
Mon, 12 Oct 2009 17:24:30 +0100 |
61 lines |
CALL FOR PAPERS: TOOLS EUROPE 2010
|
Osmar Marchi dos Santos |
Fri, 9 Oct 2009 14:08:39 +0100 |
125 lines |
2nd CfPart FM 2009 + tutorials and workshops: Early registration deadline 19 Oct
|
Arend Rensink |
Thu, 8 Oct 2009 11:13:59 +0200 |
134 lines |
CfPart: FAVO @ FM2009
|
Jeremy Bryans |
Tue, 6 Oct 2009 16:53:16 +0100 |
62 lines |
CfPart: FMICS 2009, 2-3 November 2009, Final Call
|
FMICS 2009 workshop chair |
Tue, 6 Oct 2009 09:54:41 +0200 |
116 lines |
CALL FOR PAPERS: 2nd NASA Formal Methods Symposium, Washington D.C., 13-15 April 2020
|
Jonathan Bowen |
Mon, 5 Oct 2009 20:03:37 +0100 |
138 lines |
Rely/guarantee tutorial at FM-09 (Eindhoven)
|
Jonathan Bowen |
Sat, 3 Oct 2009 13:25:22 +0100 |
29 lines |
BCS-FACS/BCSWomen Evening Seminar by Marta Kwiatkowska, Software verification for ubiquitous computing, 19 Oct, 6pm, BCS London Offices
|
Paul Boca |
Fri, 2 Oct 2009 21:39:24 +0100 |
59 lines |