|
|
|
Size
|
Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS 2012)
|
Takashi KITAMURA |
Sat, 1 Sep 2012 00:02:36 +0900 |
172 lines |
1st Call For Papers, ASTEC 2013, 4th Asian Simulation Technology Conference, March 7-9, 2013, Westin Bund, Shanghai, China
|
Philippe Geril |
Mon, 27 Aug 2012 10:49:35 +0100 |
660 lines |
2nd CFP MESM'2012, Middle Eastern Simulation and Modelling Conference, December 10-12, 2012, AOU, Muscat, Oman
|
Philippe Geril |
Tue, 21 Aug 2012 16:20:32 +0100 |
352 lines |
Call for Participation : ICFEM 2012 (12-16th Nov. 2012, Kyoto)
|
Takashi KITAMURA |
Tue, 21 Aug 2012 15:48:46 +0900 |
95 lines |
AVoCS 2012 - Final Call for Participation
|
AVoCS 2012 |
Mon, 13 Aug 2012 10:11:36 +0200 |
112 lines |
Oldenburg University / Transregional Collaborative Research Center AVACS: Open PhD or postdoctoral researcher position in Hybrid Systems
|
Martin Fraenzle |
Mon, 13 Aug 2012 10:09:28 +0200 |
80 lines |
Second Call for Participation & Posters - Joint Workshop on Compositional Modelling & Analysis of Quantitative Systems
|
Gethin Norman |
Thu, 9 Aug 2012 15:54:01 +0100 |
80 lines |
Departmental Lectureship vacancy in Software Engineering Programme, University of Oxford
|
Jeremy Gibbons |
Tue, 7 Aug 2012 19:10:58 +0100 |
35 lines |
Departmental Lectureship vacancy in Software Engineering Programme, University of Oxford
|
Jeremy Gibbons |
Tue, 7 Aug 2012 14:05:56 +0100 |
33 lines |
SAFECOMP 2012 Call for Participation
|
Lipaczewski, Michael |
Mon, 6 Aug 2012 13:08:28 +0000 |
52 lines |
CFP: FTSCS2012 (1st International Workshop on Formal Techniques for Safety-Critical Systems)
|
Takashi KITAMURA |
Mon, 6 Aug 2012 17:24:29 +0900 |
168 lines |