|
|
|
Size
|
Final CFP: Technologies for Smart Cities 2016
|
Saba Sara |
Tue, 31 May 2016 18:12:58 +0530 |
95 lines |
TIME 2016 --- Final Call for Papers
|
Michael Reichhardt Hansen |
Tue, 31 May 2016 09:44:50 +0000 |
592 lines |
Call for papers: 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016
|
Yuan-Fang Li |
Mon, 23 May 2016 04:34:08 -0700 |
97 lines |
Call for papers: 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016
|
Yuan-Fang Li |
Mon, 23 May 2016 04:26:22 -0700 |
97 lines |
RV 2016, Deadline for abstract on May 20 (AoE)
|
Yliès Falcone |
Thu, 19 May 2016 11:41:37 +0200 |
499 lines |
Internet of Everything 2016
|
Saba Sara |
Fri, 13 May 2016 12:09:51 +0530 |
93 lines |
FGCT 2016
|
<> |
Thu, 12 May 2016 17:23:26 +0530 |
130 lines |
ESSS 2016 (co-located with FM 2016): 1st call for papers
|
Jun PANG |
Wed, 11 May 2016 08:55:50 +0200 |
110 lines |
BCS-FACS Evening Seminar: Model-Based Testing: There is Nothing More Practical than a Good Theory (17 May 2016)
|
Jonathan Bowen |
Tue, 10 May 2016 21:09:09 +0100 |
145 lines |
RV 2016, Deadlines Extended - Abstract: May 20, Paper/Tutorial: May 27
|
Yliès Falcone |
Mon, 9 May 2016 13:05:30 +0200 |
1057 lines |
CFP: WADT 2016
|
JAMES P. (366409) |
Mon, 9 May 2016 10:23:36 +0000 |
307 lines |
CRV 2016 - The 3rd International Competition on Runtime Verification
|
Yliès Falcone |
Mon, 9 May 2016 11:56:38 +0200 |
658 lines |
EXTENDED DEADLINE - FMCAD 2016
|
Igor Konnov |
Thu, 5 May 2016 17:17:25 +0200 |
376 lines |
Preliminary Programme ISC'2016, 14th Industrial Simulation Conference, June 6-8, 2016, POLITEHNICA Univ. Bucharest, Romania
|
Philippe Geril |
Wed, 4 May 2016 13:36:01 +0100 |
297 lines |
Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016
|
Achim D. Brucker |
Wed, 4 May 2016 03:10:23 +0100 |
157 lines |
CFA: HCCV 2016 - Workshop on High-Consequence Control Verification
|
Michael Butler |
Tue, 3 May 2016 08:22:12 +0000 |
123 lines |
International SAT/SMT/AR Summer School: Final call for participation
|
Philipp Rümmer |
Mon, 2 May 2016 16:20:21 +0200 |
70 lines |