|
|
|
Size
|
QEST 2021: Call for Papers
|
Marco Paolieri |
Wed, 23 Dec 2020 19:32:28 -0800 |
359 lines |
Deadline Extension: IFAC Conference on Analysis and Design of Hybrid Systems
|
Guillaume Berger |
Mon, 21 Dec 2020 20:42:50 +0000 |
672 lines |
Video online: BCS-FACS Peter Landin Semantics Seminar on "Algol 60 @ 60"
|
Jonathan Bowen |
Sat, 19 Dec 2020 15:08:20 +0000 |
89 lines |
1st CFP 19th Annual Industrial Simulation Conference, June 2-4, 2021, University of Malta, Valletta, Malta
|
Philippe Geril |
Fri, 18 Dec 2020 14:44:46 +0000 |
637 lines |
Research Associate Position in Formal Methods for Trustworthy Autonomous Systems
|
Ireland, Andrew |
Wed, 16 Dec 2020 15:20:46 +0000 |
384 lines |
Deadline extension: AMAI Special Issue on Theoretical and Practical Aspects of Unification
|
Temur Kutsia |
Mon, 14 Dec 2020 08:44:08 +0100 |
119 lines |
FormaliSE 2021 - 2nd Call for Papers
|
Simon Bliudze |
Fri, 11 Dec 2020 02:08:16 +0100 |
301 lines |
Call for Papers: IFAC Conference on Analysis and Design of Hybrid Systems
|
Guillaume Berger |
Wed, 9 Dec 2020 08:34:32 +0000 |
670 lines |
PhD position at Inria Lille
|
Simon Bliudze |
Wed, 9 Dec 2020 01:38:57 +0100 |
214 lines |
Postdoc and PhD Positions @ Iowa State University
|
Kristin Yvonne Rozier |
Sat, 5 Dec 2020 20:25:38 -0600 |
170 lines |
1st Call for Papers, 5th Annual Science Fiction Prototyping Conf. April 14-16, 2021, KULeuven, Ghent, Belgium
|
Philippe Geril |
Thu, 3 Dec 2020 13:35:38 +0000 |
656 lines |