View:
Show Author | Hide Author Show Table of Contents | Hide Table of Contents
Table of Contents:
Annual Peter Landin seminar, 6 December 2011, 6pm, Covent Garden -- speaker: Professor Cliff Jones. (1 message) Call for Papers: TASE 2012 - 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (1 message) RISC ProgramExplorer 1.0 (1 message) Talk on 19.10.2011 at London Metropolitan University: "The Industrial Use of Formal Methods: Experiences of an Optimist" (1 message) VSTTE 2012 Verification Competition: Change of Dates (1 message)
LISTSERV Archives
FMNET Home
Subscribe or Unsubscribe
Log In
Get Password
Annual Peter Landin seminar, 6 December 2011, 6pm, Covent Garden -- speaker: Professor Cliff Jones.
Paul Boca
Sat, 22 Oct 2011 11:03:18 +0100
88 lines
Call for Papers: TASE 2012 - 6th IEEE International Symposium on Theoretical Aspects of Software Engineering
Jonathan Bowen
Sun, 23 Oct 2011 09:43:19 +0100
194 lines
RISC ProgramExplorer 1.0
Wolfgang Schreiner
Mon, 3 Oct 2011 12:43:52 +0200
37 lines
Talk on 19.10.2011 at London Metropolitan University: "The Industrial Use of Formal Methods: Experiences of an Optimist"
Sat, 15 Oct 2011 18:05:56 +0100
249 lines
VSTTE 2012 Verification Competition: Change of Dates
Gudmund Grov
Fri, 7 Oct 2011 11:59:24 +0100
125 lines
Advanced Options
For help and support help@jisc.ac.uk