|
|
|
|
Size
|
1st Call for Papers - TASE 2018: 12th Int. Symp. on Theoretical Aspects of Software Engineering, 29-31 Aug. 2018, Guangzhou, China
|
Jonathan Bowen <[log in to unmask]> |
Wed, 20 Dec 2017 13:56:39 +0000 |
330 lines |
Call for Papers: SCAV 2018 - 2nd Workshop on Safe Control of Autonomous Vehicles
|
Sven Linker <[log in to unmask]> |
Tue, 12 Dec 2017 12:03:02 +0000 |
101 lines |
Cybersecurity Posts (2) at the University of Sheffield
|
Achim D. Brucker <[log in to unmask]> |
Tue, 19 Dec 2017 20:13:01 +0000 |
18 lines |
Cybersecurity Posts (2) at the University of Sheffield
|
Achim D. Brucker <[log in to unmask]> |
Tue, 19 Dec 2017 20:35:17 +0000 |
53 lines |
Fwd: BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof. Simon Peyton Jones, 12 December, 6pm
|
Paul Boca <[log in to unmask]> |
Sat, 2 Dec 2017 12:32:56 +0000 |
260 lines |
