View:
Show Author | Hide Author
LISTSERV Archives
PROCOS Home
Subscribe or Unsubscribe
Log In
Get Password
Special Issue of Quantitative Aspects of Programming Languages and Systems
Gethin Norman
Thu, 30 Sep 2010 12:01:32 +0100
150 lines
QAPL 2011 First Call For Papers
Thu, 23 Sep 2010 16:42:34 +0100
181 lines
PhD in formal reasoning about the situated use of medical devices at Queen Mary, University of London
Paul Curzon
Wed, 22 Sep 2010 09:13:36 +0000
68 lines
Final CfPart ICGT and SPIN, 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands
Eduardo Zambon
Tue, 14 Sep 2010 15:18:48 +0200
63 lines
Advanced Options
For help and support help@jisc.ac.uk