View:
Show Author | Hide Author
LISTSERV Archives
ZFORUM Home
Subscribe or Unsubscribe
Log In
Get Password
Workshop "Human-Oriented Formal Methods" @SEFM 2015
Maria Spichkova
Mon, 30 Mar 2015 16:12:54 +1100
271 lines
FOCLASA 2015 - 2nd Call For Papers
Alexander Perucci
Mon, 23 Mar 2015 14:14:45 +0100
184 lines
Projects Showcase at STAF'15 - Call for Paper
Tue, 17 Mar 2015 17:26:36 +0100
116 lines
SCFI 2015 Call for Papers (at IEEE SERVICES 2015)
Tue, 17 Mar 2015 17:06:20 +0100
127 lines
2 Ph.D positions available (in Formal Methods for Security Analysis / Concurrent Systems), U. of Oslo
Martin Steffen
Mon, 16 Mar 2015 08:35:55 +0100
94 lines
SCART 2015 - 1st Call for Papers (at SEFM 2015)
Thu, 5 Mar 2015 19:15:41 +0100
388 lines
Advanced Options
For help and support help@jisc.ac.uk