|
|
|
Size
|
CfP: FM2011 - 17th International Symposium on Formal Methods
|
Jonathan Bowen |
Sun, 28 Nov 2010 11:38:46 +1300 |
232 lines |
REMINDER: Peter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London
|
Paul Boca |
Sat, 27 Nov 2010 20:39:09 +0000 |
105 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 |
54 lines |
ICECCS 2011
|
Jonathan Bowen |
Mon, 22 Nov 2010 11:46:06 +1300 |
221 lines |
QAPL 2011 Second Call For Papers
|
Gethin Norman |
Tue, 16 Nov 2010 09:30:57 +0000 |
181 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 |
83 lines |
CfP: JOURNAL OF APPLIED LOGIC, Special Issue on Automated Specification and Verification of Web Systems
|
Temur Kutsia |
Mon, 8 Nov 2010 21:12:28 +0100 |
89 lines |
Peter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London
|
Paul Boca |
Wed, 3 Nov 2010 10:03:05 +0000 |
110 lines |