View:
Show Author | Hide Author Show Table of Contents | Hide Table of Contents
Table of Contents:
BCS-FACS talk, 15 Nov 2016: Christopher Strachey - Pioneer of FACS, by Joe Stoy (1 message) Call for Participation: the 14th Overture Workshop (1 message) Faculty Position in Intelligent Systems & Autonomy (1 message) iFM 2017: Call for Workshops (13th Intl. Conference on integrated Formal Methods, Torino) (1 message) iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino) (1 message)
LISTSERV Archives
FMNET Home
Subscribe or Unsubscribe
Log In
Get Password
BCS-FACS talk, 15 Nov 2016: Christopher Strachey - Pioneer of FACS, by Joe Stoy
Re: BCS-FACS talk, 15 Nov 2016: Christopher Strachey - Pioneer of FACS, by Joe Stoy
Jonathan Bowen
Fri, 28 Oct 2016 12:13:17 +0100
158 lines
Call for Participation: the 14th Overture Workshop
Nico Plat
Sat, 8 Oct 2016 18:31:02 +0200
183 lines
Faculty Position in Intelligent Systems & Autonomy
Kristin Yvonne Rozier
Tue, 25 Oct 2016 20:03:32 -0500
164 lines
iFM 2017: Call for Workshops (13th Intl. Conference on integrated Formal Methods, Torino)
Ingrid Chieh Yu
Fri, 28 Oct 2016 18:11:11 +0000
267 lines
iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino)
Wed, 5 Oct 2016 20:55:39 +0000
114 lines
Advanced Options
For help and support help@jisc.ac.uk