View:
Show Author | Hide Author
LISTSERV Archives
FACS-EVENTS Home
Subscribe or Unsubscribe
Log In
Get Password
BCS-FACS / FME Evening Seminar: Formal Methods in the Last 25 Years, 30 January 2006, 5.30pm, BCS Offices, London
Paul Boca
Thu, 22 Dec 2005 17:10:48 -0000
111 lines
FACS Evening Seminars -- slides available to download
[log in to unmask]
Fri, 16 Dec 2005 14:02:28 +0000
24 lines
CFP: International Conference on Formal Engineering Methods (ICFEM06)
Chris George
Fri, 9 Dec 2005 12:16:31 +0800
149 lines
CFP: International Colloquium on Theoretical Aspects of Computing (ICTAC06)
Fri, 9 Dec 2005 10:37:27 +0800
115 lines
BCSF-FACS / FORTEST Christmas Meeting: Formal Methods and Testing [UPDATED ANNOUNCEMENT]
Thu, 8 Dec 2005 08:08:46 -0000
263 lines
Advanced Options
For help and support help@jisc.ac.uk