|
|
Size
|
Turing`s Worlds, Oxford, UK, 23-24 June 2012
|
Tue, 1 May 2012 18:57:41 +0100 |
275 lines |
BCS-FACS/LMS talk on Alan Turing by Prof. Jack Copeland, BCS London offices, 6 November 2012
|
Tue, 1 May 2012 19:19:48 +0100 |
66 lines |
[fm-announcements] Call For Papers: RV 2012
|
Thu, 10 May 2012 10:07:24 -0700 |
153 lines |
Extended Call: The 10th Overture Workshop (Work-In-Progress Track)
|
Thu, 17 May 2012 10:05:51 +0100 |
130 lines |
1st CFP: FTSCS 2012 - 1st International Workshop on Formal Techniques for Safety-Critical Systems
|
Fri, 18 May 2012 16:13:41 +0900 |
170 lines |
2nd CfP: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
|
Mon, 28 May 2012 17:29:20 -0400 |
228 lines |