|
|
|
Size
|
BCS-FACS Peter Landin Semantics Seminar, London, 5 December 2019
|
Jonathan Bowen |
Sun, 29 Sep 2019 16:03:33 +0100 |
253 lines |
Preliminary Programme - 33rd European Simulation & Modelling Conf. - ESM'2019, October 28-30, 2019, UIB, Palma de Mallorca, Spain
|
Philippe Geril |
Fri, 27 Sep 2019 11:32:14 +0100 |
577 lines |
1st CFP FOODSIM'2020 - 11th Biennial FOODSIM Conference, April 5-9, 2020, University of Leuven/Campus Ghent, Belgium
|
Philippe Geril |
Fri, 27 Sep 2019 09:43:34 +0100 |
328 lines |
Senior Lecturer/Associate Professor in Software Engineering (Software Verification)
|
Ian Hayes |
Mon, 16 Sep 2019 17:21:32 +0100 |
278 lines |
LMS/BCS-FACS Evening Seminar 2019
|
LMS Computer Science |
Mon, 16 Sep 2019 13:24:44 +0000 |
184 lines |
LMS Computer Science Grants
|
LMS Computer Science |
Mon, 16 Sep 2019 09:20:54 +0000 |
184 lines |
Post-doctoral Research Position in Concurrent Software Verification
|
Ian Hayes |
Tue, 10 Sep 2019 11:25:52 +0100 |
240 lines |
Call for participation: School and Colloquium ICTAC 2O19
|
SAOUSSEN CHEIKHROUHOU |
Mon, 9 Sep 2019 18:17:52 +0100 |
151 lines |
Call for Participation: Formal Methods for Autonomous Systems (FMAS)
|
Matt Luckcuck |
Thu, 5 Sep 2019 10:22:04 +0100 |
281 lines |
FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal
|
Graeme Smith |
Thu, 5 Sep 2019 10:12:50 +1000 |
636 lines |