View:
Show Author | Hide Author Show Table of Contents | Hide Table of Contents
Table of Contents:
An Appreciation of Alan Turing, Virtuoso and Visionary, 19 October 2017, BCS, London (1 message) BCS-FACS Evening Seminar "How can you trust formally verified software?" 29 September 2017 (1 message) SOAP@SAC 2017, April 9-13, Pau, France - second call for papers (1 message) ThEdu'17 Post-Proceedings: Call for Papers (1 message)
LISTSERV Archives
FMNET Home
Subscribe or Unsubscribe
Log In
Get Password
An Appreciation of Alan Turing, Virtuoso and Visionary, 19 October 2017, BCS, London
Wed, 23 Aug 2017 15:33:00 +0100
162 lines
BCS-FACS Evening Seminar "How can you trust formally verified software?" 29 September 2017
Wed, 9 Aug 2017 19:14:12 +0100
203 lines
SOAP@SAC 2017, April 9-13, Pau, France - second call for papers
Fri, 11 Aug 2017 22:07:31 +0200
192 lines
ThEdu'17 Post-Proceedings: Call for Papers
Thu, 31 Aug 2017 16:07:46 +0100
87 lines
Advanced Options
For help and support help@jisc.ac.uk