|
|
|
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 |
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 |
113 lines |
Call for Participation: Formal Methods in Aerospace workshop....
|
Michael Fisher |
Wed, 7 Oct 2009 22:43:56 +0100 |
95 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 |
332 lines |
Rely/guarantee tutorial at FM-09 (Eindhoven)
|
Jonathan Bowen |
Sat, 3 Oct 2009 13:25:22 +0100 |
28 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 |
107 lines |