|
|
|
Size
|
CFP: Real-Time Intelligent Systems 2017
|
Diana Christy |
Tue, 27 Jun 2017 11:29:55 +0530 |
139 lines |
Last Call for Papers: SETTA 2017, deadline 25 June 2017
|
Jonathan Bowen |
Thu, 22 Jun 2017 10:15:57 +0100 |
305 lines |
2 PhD positions in Formal Methods at Swansea, UK
|
Markus Roggenbach |
Thu, 22 Jun 2017 10:06:28 +0100 |
32 lines |
Real-Time Intelligent Systems
|
<> |
Wed, 21 Jun 2017 17:00:27 +0530 |
129 lines |
ICDIM 2017
|
Diana Christy |
Mon, 19 Jun 2017 16:30:42 +0530 |
126 lines |
Call for Papers IEEE-iCACS'18
|
Atif Chattha |
Sat, 17 Jun 2017 10:42:47 +0000 |
173 lines |
Deadline Extension! -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017
|
Sven Linker |
Thu, 15 Jun 2017 17:16:13 +0100 |
169 lines |
3rd International Summer School in "Emerging Architectures and Key Technologies for 5G Networks"
|
Demosthenes Vouyioukas |
Mon, 12 Jun 2017 18:59:58 +0300 |
816 lines |
Future of BigData 2017
|
Diana Christy |
Mon, 12 Jun 2017 18:15:32 +0530 |
99 lines |
V2CPS 2017 - Call for Papers (Workshop on Verification and Validation of Cyber-Physical Systems) -- Deadline Extended
|
Sadegh Soudjani |
Sat, 10 Jun 2017 20:57:35 +0200 |
401 lines |
CfP: MODELS'17 Workshop on MDE Tools (MDETools'17)
|
Juergen Dingel |
Sat, 10 Jun 2017 11:34:30 -0400 |
150 lines |
Final CFP: FGCT 2017
|
Diana Christy |
Thu, 8 Jun 2017 17:47:27 +0530 |
135 lines |
Final Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017
|
Sven Linker |
Wed, 7 Jun 2017 15:43:26 +0100 |
169 lines |
TAPAS 2017: Call for Abstracts
|
Thomas Wies |
Tue, 6 Jun 2017 09:07:58 -0400 |
106 lines |
Final CFP: INTECH 2017
|
Diana Christy |
Tue, 6 Jun 2017 17:37:02 +0530 |
148 lines |
CfP: MACIS 2017
|
Temur Kutsia |
Tue, 6 Jun 2017 09:13:22 +0200 |
138 lines |
SASB 2017 Call for Submissions
|
Paolo Zuliani |
Sun, 4 Jun 2017 12:08:57 +0100 |
344 lines |
Re: BCS FACS - Conquering the Barriers to Formal Specification: Some recent developments in iUML-B and Event-B, Colin Snook, 15 June 2017
|
Jonathan Bowen |
Fri, 2 Jun 2017 15:21:39 +0100 |
206 lines |