|
|
|
Size
|
Formal Methods for Autonomous Systems 2021: Registration
|
Matt Luckcuck |
Thu, 30 Sep 2021 11:00:58 +0100 |
128 lines |
Research Fellows in Logic at UCL, London
|
Pym, David |
Tue, 28 Sep 2021 13:30:32 +0000 |
54 lines |
LMS Computer Science Colloquium 2021
|
LMS Computer Science |
Mon, 27 Sep 2021 10:21:30 +0000 |
163 lines |
Preliminary Programme 35th European Simulation & Modelling Conf.- ESM'2021, October 27-29, 2021, IUL, Rome, Italy ONLINE EVENT
|
Philippe Geril |
Wed, 22 Sep 2021 09:09:41 +0100 |
462 lines |
Forthcoming BCS-FACS talks
|
Jonathan Bowen |
Wed, 15 Sep 2021 23:58:18 +0100 |
116 lines |
Doctoral Symposium at FM 2021: Call for Research Abstracts
|
Jun PANG |
Wed, 15 Sep 2021 13:47:26 +0200 |
87 lines |
FMCAD 2021 Call for Participation
|
Michael Whalen |
Mon, 13 Sep 2021 10:44:21 -0500 |
323 lines |
Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London -- Application deadline extended to 17 Oct 2021
|
Matteo Sammartino |
Mon, 13 Sep 2021 10:21:32 +0000 |
57 lines |
ACM HSCC 2022 -- 2nd Call for Papers
|
Nicola Paoletti |
Sun, 12 Sep 2021 15:38:49 +0200 |
235 lines |
30 months postdoctoral research position at University of Sheffield on the formal verification of digital twins -- application deadline 23 Sept. 2021
|
Andrei Popescu |
Wed, 8 Sep 2021 08:00:00 +0100 |
56 lines |
CFP: DataMod 2021
|
Paolo Zuliani |
Tue, 7 Sep 2021 12:46:45 +0100 |
926 lines |
ATVA 2021 Call For Participation
|
Zhe Hou |
Mon, 6 Sep 2021 06:56:35 +0000 |
238 lines |
ISEC 2022: Final Call for Papers with extended submission deadline
|
ISEC 2022 |
Sun, 5 Sep 2021 22:20:17 -0700 |
689 lines |
1st CFP FOODSIM'2022 - 12th Biennial FOODSIM Conference, April 3-6, 2022, University of Leuven/Campus Ghent, Belgium
|
Philippe Geril |
Fri, 3 Sep 2021 13:39:28 +0100 |
377 lines |