|
|
|
Size
|
Railway Safety, Reliability, and Security: Technologies and Systems Engineering
|
Francesco Flammini |
Thu, 31 May 2012 10:30:41 +0200 |
51 lines |
Call for Participation: SPIN 2012 - 19th International SPIN Workshop on Model Checking Software
|
Michael Tautschnig |
Wed, 30 May 2012 23:13:49 +0100 |
112 lines |
MPC2012 Call for Participation
|
Jeremy Gibbons |
Wed, 23 May 2012 22:35:01 +0100 |
171 lines |
1st CFP: FTSCS 2012 - 1st International Workshop on Formal Techniques for Safety-Critical Systems
|
Takashi KITAMURA |
Fri, 18 May 2012 16:13:41 +0900 |
172 lines |
Preliminary Programme FOODSIM 2012, June 18-20, 2012, Fraunhofer IVV, Freising, Germany
|
Philippe Geril |
Tue, 15 May 2012 10:18:16 +0100 |
202 lines |
CfP: Workshop on Analysis of Model Transformations (AMT'12)
|
Juergen Dingel |
Wed, 9 May 2012 16:53:17 -0400 |
153 lines |
Preliminary Programme ISC'2012, June 4-6, 2012, Brno University of Technology, Brno, Czech Republic
|
Philippe Geril |
Wed, 9 May 2012 10:58:11 +0100 |
322 lines |
2nd Call for Papers - NASTEC'2012, August 16-18, 2012, Digipen Institute of Technology, Redmond, USA
|
Philippe Geril |
Thu, 3 May 2012 15:45:48 +0100 |
219 lines |
AVoCS'12 Final Call for Papers
|
AVOCS 2012 |
Thu, 3 May 2012 15:23:29 +0200 |
150 lines |
BCS-FACS/LMS talk on Alan Turing by Prof. Jack Copeland, BCS London offices, 6 November 2012
|
Jonathan Bowen |
Tue, 1 May 2012 19:19:48 +0100 |
42 lines |
Turing`s Worlds, Oxford, UK, 23-24 June 2012
|
Jonathan Bowen |
Tue, 1 May 2012 18:57:41 +0100 |
141 lines |