View:
Show Author | Hide Author
LISTSERV Archives
FACS Home
Subscribe or Unsubscribe
Log In
Get Password
Facebook TAV Symposium on Testing & Verification - recordings of talks
Jonathan Bowen
Fri, 30 Nov 2018 11:52:28 +0000
65 lines
Annual BCS-FACS Peter Landin Semantics Seminar: Algebraic methods for specification and formal development of software, 10 December 2018
Sat, 24 Nov 2018 12:38:02 +0000
240 lines
BCS FACS 2018 AGM announcement
Tue, 20 Nov 2018 12:56:17 +0000
207 lines
2018 Milner Award Lecture given by Professor Marta Kwiatkowska
ROGER CARSLEY
Sat, 17 Nov 2018 01:55:14 +0000
20 lines
Annual Peter Landin Semantics Seminar: Algebraic methods for specification and formal development of software
Paul Boca
Wed, 7 Nov 2018 21:57:03 +0000
187 lines
Advanced Options
For help and support help@jisc.ac.uk