|
|
|
Size
|
CFP - CRISiS 2019: 14th International Conference on Risks and Security of Internet and Systems
|
SAOUSSEN CHEIKHROUHOU |
Wed, 29 May 2019 18:25:23 +0100 |
338 lines |
[Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Wed, 29 May 2019 09:37:29 +0200 |
698 lines |
To lecturer/senior lecturer posts in verification
|
Robert M Hierons |
Tue, 28 May 2019 17:26:17 +0100 |
184 lines |
Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
|
Achim D. Brucker |
Sat, 25 May 2019 23:57:33 +0100 |
102 lines |
Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems
|
Luca Pulina |
Fri, 24 May 2019 16:21:23 +0200 |
86 lines |
Call for Participation - CPS Summer School 2019
|
Luca Pulina |
Fri, 24 May 2019 16:06:46 +0200 |
98 lines |
CIFMA 2019: Call for Papers
|
Martin Steffen |
Thu, 23 May 2019 08:59:39 +0200 |
257 lines |
Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems
|
Pym, David |
Tue, 21 May 2019 13:47:46 +0000 |
72 lines |
IEEE CIBCB 2019 - CALL FOR HIGHLIGHTS AND ABSTRACTS - Deadline: May 31, 2019
|
Ieee Cibcb 2019 |
Tue, 21 May 2019 11:13:59 +0100 |
101 lines |
cfp-14th International Conference on Risks and Security of Internet and Systems (CRiSIS)
|
SAOUSSEN CHEIKHROUHOU |
Mon, 20 May 2019 13:02:51 +0100 |
318 lines |
[Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Fri, 17 May 2019 08:21:12 +0200 |
159 lines |
Deadline extension |CFP ICTAC 2019|| May 19||Hammamet Tunisia
|
SAOUSSEN CHEIKHROUHOU |
Wed, 15 May 2019 13:21:47 +0100 |
318 lines |
CfC: Methods and Tools for Distributed Hybrid Systems
|
Martin Fränzle |
Mon, 13 May 2019 16:56:36 +0200 |
98 lines |
Real-Time Intelligent Systems 2019
|
Diana Christy |
Fri, 10 May 2019 19:30:03 +0530 |
127 lines |
Deadline extension |CFP ICTAC 2019|| May 19||Hammamet Tunisia
|
SAOUSSEN CHEIKHROUHOU |
Fri, 10 May 2019 09:14:45 +0100 |
314 lines |
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019) - A ranked by CORE
|
Jonathan Bowen |
Thu, 9 May 2019 15:55:52 +0100 |
410 lines |
FTfJP 2019: CFP for Second Round
|
Toby Murray |
Tue, 7 May 2019 02:11:21 +0000 |
81 lines |
Post-doctoral Research Position in Concurrent Software Verification
|
Ian Hayes |
Fri, 3 May 2019 22:11:36 +0100 |
76 lines |
PhD Studentship in Logic and Systems Verification at UCL [Corrected start-date]
|
Pym, David |
Fri, 3 May 2019 16:39:24 +0000 |
204 lines |
PhD Studentship in Logic and Systems Verification at UCL
|
Pym, David |
Fri, 3 May 2019 16:05:06 +0000 |
186 lines |