|
|
|
Size
|
ThEdu'17 Post-Proceedings: Call for Papers
|
Achim D. Brucker |
Thu, 31 Aug 2017 16:07:46 +0100 |
87 lines |
An Appreciation of Alan Turing, Virtuoso and Visionary, 19 October 2017, BCS, London
|
Jonathan Bowen |
Wed, 23 Aug 2017 15:33:00 +0100 |
162 lines |
SOAP@SAC 2017, April 9-13, Pau, France - second call for papers
|
Soap 2018 |
Fri, 11 Aug 2017 22:07:31 +0200 |
192 lines |
BCS-FACS Evening Seminar "How can you trust formally verified software?" 29 September 2017
|
Jonathan Bowen |
Wed, 9 Aug 2017 19:14:12 +0100 |
203 lines |