View:
Show Author | Hide Author
LISTSERV Archives
FMNET Home
Subscribe or Unsubscribe
Log In
Get Password
The Turing Guide - published on 26 January 2017
Jonathan Bowen
Sat, 28 Jan 2017 13:47:25 +0000
20639 lines
CfP: TASE 2017 (11th International Symposium on Theoretical Aspects of Software Engineering)
Sat, 28 Jan 2017 11:47:20 +0000
13365 lines
CfP FormaliSE 2017: deadline extended to 27 January 2017
Nico Plat
Sat, 21 Jan 2017 16:36:47 +0100
281 lines
iFM 2017: Call for Papers (13th Intl. Conference on integrated Formal Methods), submission open
Ingrid Chieh Yu
Mon, 16 Jan 2017 07:53:00 +0000
289 lines
PSI'17. Call for Papers
Fri, 13 Jan 2017 12:30:28 +0000
14258 lines
FormaliSE 2017 Call for Papers: deadline approaching
Thu, 12 Jan 2017 17:33:38 +0100
147 lines
UK Government petition on Brexit and support for British science
Thu, 12 Jan 2017 16:18:52 +0000
109 lines
Fwd: Happy New Year and PSI'17. CALL FOR PAPERS
Sat, 7 Jan 2017 16:33:51 +0000
14423 lines
Advanced Options
For help and support help@jisc.ac.uk