|
|
|
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 |
Re: FW: FAC accepted papers...
|
John Cooke |
Thu, 22 Oct 2009 16:18:17 +0100 |
20 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 |
BCS-FACS AGM: 19 Oct, 2pm followed by seminar by Prof. Marta Kwiatkowska
|
Paul Boca |
Mon, 12 Oct 2009 17:20:19 +0100 |
104 lines |
Fw: BCS Roger Needham Lecture 2009
|
Jonathan Bowen |
Wed, 7 Oct 2009 17:31:01 +0100 |
440 lines |
2009 Refinement Workshop: call for participation and PhD bursaries
|
Eerke Boiten |
Tue, 6 Oct 2009 14:08:24 +0100 |
26 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 |