|
|
|
Size
|
REMINDER: Peter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London
|
Paul Boca |
Sat, 27 Nov 2010 20:39:09 +0000 |
219 lines |
Peter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London
|
Paul Boca |
Wed, 3 Nov 2010 10:03:05 +0000 |
109 lines |
*** BCS-FACS/LMS Evening Seminar by Prof. Peter O'Hearn: Reasoning about programs using a scientific method, 16 November 2010, 6pm, London
|
Paul Boca |
Tue, 9 Nov 2010 22:24:45 +0000 |
82 lines |
ICECCS 2011
|
Jonathan Bowen |
Mon, 22 Nov 2010 11:46:06 +1300 |
466 lines |
CfP: FM2011 - 17th International Symposium on Formal Methods
|
Jonathan Bowen |
Sun, 28 Nov 2010 11:38:46 +1300 |
231 lines |
[fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers
|
Havelund, Klaus (317J) |
Mon, 15 Nov 2010 02:45:45 -0800 |
442 lines |
"Ethical Dimensions of AI", James H. Moor, seminar 8-Dec, University of Essex
|
Eden, Amnon H |
Tue, 23 Nov 2010 10:03:57 +0000 |
200 lines |