|
|
|
Size
|
FormaliSE 2019: Call for Participation
|
Nico Plat |
Wed, 1 May 2019 15:55:32 +0200 |
118 lines |
PhD Studentship in Logic and Systems Verification at UCL
|
Pym, David |
Fri, 3 May 2019 16:05:06 +0000 |
185 lines |
PhD Studentship in Logic and Systems Verification at UCL [Corrected start-date]
|
Pym, David |
Fri, 3 May 2019 16:39:24 +0000 |
203 lines |
CFP: ICECCS 2019
|
Zhe Hou |
Mon, 6 May 2019 09:53:23 +0000 |
124 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 |
409 lines |
Special Section on Formal Approaches, IEICE Transactions on Information and Systems
|
Toshiaki Aoki |
Fri, 10 May 2019 09:58:15 +0900 |
125 lines |
Deadline extension |CFP ICTAC 2019|| May 19||Hammamet Tunisia
|
SAOUSSEN CHEIKHROUHOU |
Fri, 10 May 2019 09:10:25 +0100 |
315 lines |
Last CFP GandALF'19 Bordeaux
|
Jerome Leroux |
Fri, 10 May 2019 10:51:47 +0200 |
143 lines |
TIME 2019: call for papers
|
Guido Sciavicco |
Mon, 13 May 2019 12:45:59 +0200 |
235 lines |
Deadline extension |CFP ICTAC 2019|| May 19||Hammamet Tunisia
|
SAOUSSEN CHEIKHROUHOU |
Wed, 15 May 2019 13:21:47 +0100 |
317 lines |
Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien, Austria - Deadline: 31.5.2019
|
Mihaela Rozman |
Thu, 16 May 2019 12:20:04 +0200 |
287 lines |
[Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Fri, 17 May 2019 08:18:42 +0200 |
158 lines |
CFP for the 3rd co-simulation workshop
|
Peter Gorm Larsen |
Sun, 19 May 2019 13:41:00 +0000 |
1796 lines |
cfp-14th International Conference on Risks and Security of Internet and Systems (CRiSIS)
|
SAOUSSEN CHEIKHROUHOU |
Mon, 20 May 2019 13:02:51 +0100 |
317 lines |
GandALF 2019 : Extended Deadline
|
Jerome Leroux |
Mon, 20 May 2019 17:50:37 +0200 |
141 lines |
Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems
|
Pym, David |
Tue, 21 May 2019 13:47:46 +0000 |
71 lines |
CIFMA 2019: Call for Papers
|
Martin Steffen |
Thu, 23 May 2019 08:58:09 +0200 |
256 lines |
Call for Participation - CPS Summer School 2019
|
Luca Pulina |
Fri, 24 May 2019 16:05:03 +0200 |
97 lines |
Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems
|
Luca Pulina |
Fri, 24 May 2019 16:18:38 +0200 |
85 lines |
Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
|
Achim D. Brucker |
Sat, 25 May 2019 23:57:31 +0100 |
101 lines |
[Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Wed, 29 May 2019 09:35:46 +0200 |
697 lines |
Petri nets & ASCD 2019 -- Call for Participation
|
Anna Kalenkova |
Wed, 29 May 2019 16:16:11 +0300 |
8662 lines |
CFP - CRISiS 2019: 14th International Conference on Risks and Security of Internet and Systems
|
SAOUSSEN CHEIKHROUHOU |
Wed, 29 May 2019 18:25:23 +0100 |
337 lines |