|
|
|
Size
|
Tim Denvir's BCS-FACS talk on formal methods (1 March 2017) now on YouTube
|
Jonathan Bowen |
Sat, 4 Mar 2017 00:24:39 +0000 |
69 lines |
Call for Participation: FormaliSE 2017
|
Nico Plat |
Mon, 6 Mar 2017 21:13:00 +0100 |
69 lines |
TIME 2017, Call for Papers
|
Schewe, Sven |
Thu, 9 Mar 2017 16:15:13 +0000 |
406 lines |
Funded PhD Studentship - Formal Verification of Sensor Networks at the University of Liverpool
|
Sven Linker |
Fri, 17 Mar 2017 14:49:59 +0000 |
45 lines |
[iFM'17] Final CFP for the International Conference on integrated Formal Methods 2017
|
Ingrid Chieh Yu |
Fri, 17 Mar 2017 16:29:09 +0000 |
296 lines |
9 permanent academic positions at Swansea University
|
Markus Roggenbach |
Thu, 23 Mar 2017 09:26:00 +0000 |
164 lines |
9 permanent academic positions at Swansea University
|
Markus Roggenbach |
Thu, 23 Mar 2017 10:04:45 +0000 |
170 lines |
[iFM'17] Deadline Extension for the International Conference on integrated Formal Methods 2017
|
Ingrid Chieh Yu |
Fri, 31 Mar 2017 13:52:27 +0000 |
325 lines |