|
|
|
Size
|
Deadline extended: ATVA 2021 || Paper Deadline 23 April 2021 AoE
|
Zhe Hou |
Mon, 29 Mar 2021 23:34:17 +0000 |
258 lines |
2nd CfP: SCSS 2021
|
Temur Kutsia |
Mon, 29 Mar 2021 15:48:26 +0200 |
171 lines |
Re: BCS-FACS talks on Zoom (April-June 2021)
|
Jonathan Bowen |
Sun, 28 Mar 2021 17:30:47 +0000 |
156 lines |
[CFP] 11th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications:: New Submission Deadline 01st of April
|
Monica Saramago |
Fri, 26 Mar 2021 17:24:34 +0000 |
82 lines |
QEST 2021: Call for Papers
|
Marco Paolieri |
Thu, 25 Mar 2021 20:24:16 -0700 |
375 lines |
1ST CFP - 35th European Simulation and Modelling Conference - ESM'2021, October 27-29, 2021, Rome, Italy
|
Philippe Geril |
Thu, 25 Mar 2021 15:00:13 +0000 |
496 lines |
Research position at UCL, London
|
Pym, David |
Tue, 23 Mar 2021 14:26:16 +0000 |
93 lines |
Faculty position at UCL, London
|
Pym, David |
Tue, 23 Mar 2021 10:46:17 +0000 |
64 lines |
CfP: Formal Methods for Autonomous Systems (FMAS2021)
|
Matt Luckcuck |
Mon, 22 Mar 2021 11:19:56 +0000 |
178 lines |
Call for Papers: HotSpot 2021
|
Toby Murray |
Mon, 22 Mar 2021 06:47:25 +0000 |
394 lines |
Six PhD studentships at Newcastle
|
Paolo Zuliani |
Wed, 17 Mar 2021 16:34:32 +0000 |
65 lines |
21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
|
Andrei Popescu |
Wed, 17 Mar 2021 11:34:40 +0000 |
109 lines |
Re: PhD studentship on AI and brain modelling
|
Paolo Zuliani |
Tue, 16 Mar 2021 10:37:07 +0000 |
95 lines |
Three Vacancies at Lancaster University (Leipzig campus) Deadling 7th April 2021
|
Sven Linker |
Tue, 16 Mar 2021 10:51:02 +0100 |
38 lines |
PhD position: Coordination for Safe Adaptivity of IoT Systems
|
Simon Bliudze |
Mon, 15 Mar 2021 20:33:12 +0100 |
233 lines |
Call for Book Chapter [Springer] – Recent Advancements in ICT Infrastructure and Applications
|
Pankesh Patel |
Sat, 13 Mar 2021 08:30:04 -0500 |
196 lines |
Lecturer in Verification position at University of Sheffield: deadline 29 March 2021
|
Andrei Popescu |
Sat, 13 Mar 2021 01:52:17 +0000 |
30 lines |
BCS-FACS talks on Zoom (April-June 2021)
|
Jonathan Bowen |
Tue, 9 Mar 2021 18:07:14 +0000 |
105 lines |
Prel. Programme - SCIFI-IT'2021 - 5th Annual Science Fiction Prototyping Conference, April 15-16, 2021, KuLeuven, Ghent, Belgium
|
Philippe Geril |
Tue, 9 Mar 2021 09:18:52 +0000 |
172 lines |
CFP: Special Track on AI for Tackling Dis/Misinformation during Pandemics @ ACM GoodIT2021
|
Chilean Scholar |
Tue, 9 Mar 2021 08:14:51 +0000 |
106 lines |
CFP: ATVA 2021 || Paper Deadline 9 April 2021 AoE
|
Zhe Hou |
Mon, 8 Mar 2021 00:52:38 +0000 |
258 lines |
[CFP] NetSys2021 WKSHPS: 1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Technologies
|
Chilean Scholar |
Sun, 7 Mar 2021 01:40:47 +0000 |
133 lines |
PhD studentship on AI and brain modelling
|
Paolo Zuliani |
Fri, 5 Mar 2021 15:25:38 +0000 |
73 lines |
Call for Submissions 8th Int. ARCH Workshop, IFAC Conference on Analysis and Design of Hybrid Systems, Brussels, Belgium, early July, 2021
|
Kostiantyn Potomkin |
Thu, 4 Mar 2021 12:53:37 +0000 |
130 lines |
PhD studentship: AI+Logic = Safe Autonomous Driving
|
Paolo Zuliani |
Thu, 4 Mar 2021 11:21:14 +0000 |
67 lines |