View:
Show Author | Hide Author
LISTSERV Archives
FACS Home
Subscribe or Unsubscribe
Log In
Get Password
BCS FACS Newsletter
Tim Denvir
Tue, 27 Jun 2017 22:26:17 +0100
56 lines
Next FACS seminar
D J Cooke
Sun, 18 Jun 2017 15:46:30 +0000
4185 lines
Deadline Extension! -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017
Sven Linker
Thu, 15 Jun 2017 17:16:23 +0100
168 lines
Final Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017
Wed, 7 Jun 2017 15:43:52 +0100
Re: BCS FACS - Conquering the Barriers to Formal Specification: Some recent developments in iUML-B and Event-B, Colin Snook, 15 June 2017
Jonathan Bowen
Fri, 2 Jun 2017 15:21:39 +0100
205 lines
Advanced Options
For help and support help@jisc.ac.uk