View:
Show Author | Hide Author
LISTSERV Archives
FACS Home
Subscribe or Unsubscribe
Log In
Get Password
Symposium on Intelligent Systems: 22nd July 2021
Linker, Sven
Fri, 25 Jun 2021 08:23:54 +0000
45 lines
New £50 note featuring Alan Turing issued by the Bank of England today
Jonathan Bowen
Wed, 23 Jun 2021 12:03:34 +0100
117 lines
Formal Methods for Autonomous Systems 2nd CfP
Matt Luckcuck
Mon, 21 Jun 2021 12:46:17 +0100
662 lines
SETTA 2021: Symposium on Dependable Software Engineering
Wed, 16 Jun 2021 15:37:13 +0100
566 lines
Call for Papers: 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
Mario Gleirscher
Fri, 11 Jun 2021 08:21:29 +0200
135 lines
ABZ 2021 – 8th International Conference on Rigorous State Based Methods
Tue, 8 Jun 2021 17:57:23 +0100
76 lines
BCS-FACS talk on Zoom (15 June 2021)
Tue, 1 Jun 2021 20:09:37 +0100
104 lines
Advanced Options
For help and support help@jisc.ac.uk