View:
Show Author | Hide Author
LISTSERV Archives
FMNET Home
Subscribe or Unsubscribe
Log In
Get Password
VSTTE 2010: Verified Software -- Final Call for Conference Papers
Gudmund Grov
Mon, 22 Mar 2010 18:19:40 +0100
274 lines
FACS Evening Seminar -- joint event with the SCSC -- by Prof. Robin Bloomfield, 14 April, Birkbeck College: Interdependencies and Resilient Infrastructure
Paul Boca
Wed, 17 Mar 2010 23:10:04 +0000
79 lines
ICTSS 2010: 22nd IFIP Int. Conf. on Testing Software and Systems (formerly TestCom/FATES)
Adenilso Simao
Tue, 9 Mar 2010 15:18:15 -0500
154 lines
VSTTE 2010: Verified Software -- Third Call for Papers
Mon, 8 Mar 2010 11:41:43 +0000
284 lines
REMINDER: BCS-FACS Evening Seminar by Prof Mike Holcombe, 10 March, London: Formal methods, supercomputers and simulation --- understanding complex biological, economic and social systems
Fri, 5 Mar 2010 22:52:39 +0000
86 lines
Advanced Options
For help and support help@jisc.ac.uk