View:
Show Author | Hide Author
LISTSERV Archives
PROCOS Home
Subscribe or Unsubscribe
Log In
Get Password
ESSS workshop 2013 (co-located with ICST 2013) -- submission deadline extended
Jun PANG
Fri, 21 Dec 2012 15:56:44 +0100
117 lines
integrated Formal Methods 2013, Turku, Finland: Last Call for Papers
Luigia Petre
Thu, 20 Dec 2012 18:34:01 +0200
211 lines
TAP 2013: 2nd Call for Papers
Achim D. Brucker
Tue, 18 Dec 2012 13:34:40 +0100
159 lines
ESSS workshop 2013 (co-located with ICST 2013) -- 2nd Call for Papers
Fri, 14 Dec 2012 09:27:56 +0100
116 lines
SCP Special Issue on Invariant Generation - Second Call for Papers [2 months to go]
Gudmund Grov
Mon, 10 Dec 2012 17:30:13 +0000
98 lines
Advanced Options
For help and support help@jisc.ac.uk