|
|
|
Size
|
Academic Post in Computer Science at the University of Surrey
|
Brijesh Dongol |
Thu, 28 Feb 2019 11:43:10 +0000 |
155 lines |
Call for papers: FedCSIS 2018, including SEW-39 (Software Engineering Workshop)
|
Jonathan Bowen |
Thu, 28 Feb 2019 11:02:55 +0000 |
363 lines |
VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation
|
VerifyThis |
Mon, 25 Feb 2019 10:57:15 +0100 |
71 lines |
BCS-FACS talk: Composing Protocols by Farhad Arbab, 3 April 2019
|
Jonathan Bowen |
Tue, 19 Feb 2019 00:33:10 +0000 |
198 lines |
BCS FACS industrial talk by NPL on the 15th of March
|
Sofia Meacham |
Sun, 17 Feb 2019 17:42:10 +0000 |
202 lines |
IEEE CIBCB 2019 - Call for Papers - Deadline Extension
|
Ieee Cibcb 2019 |
Sun, 17 Feb 2019 15:18:23 +0000 |
92 lines |
1ST CFP - 33rd European Simulation and Modelling Conf. - ESM'2019, October 28-30, 2019, UIB, Palma de Mallorca, Spain
|
Philippe Geril |
Fri, 15 Feb 2019 13:40:54 +0000 |
381 lines |
CFP: 19th International Conference on Runtime Verification
|
Bernd Finkbeiner |
Thu, 7 Feb 2019 09:19:29 +0100 |
137 lines |
BCS Lovelace Lecture, Prof. Gordon Plotkin, 4 March 2019, The Royal Society London
|
Jonathan Bowen |
Tue, 5 Feb 2019 23:23:31 +0000 |
182 lines |