|
|
|
Size
|
BCS FACS - Half a Century of Formal Methods in Software Engineering: A Personal View, Tim Denvir, 1 March 2017
|
Jonathan Bowen |
Sun, 26 Feb 2017 11:26:53 +0000 |
195 lines |
Call for Papers - GandALF 2017 - International Symposium on Games, Automata, Logics, and Formal Verification - Rome - 20-22 September 2017
|
AndreA Orlandini |
Fri, 24 Feb 2017 11:03:43 +0100 |
242 lines |
VerifyThis Competition 2017: Travel Grant Announcement
|
Rosemary Monahan |
Fri, 24 Feb 2017 09:46:30 +0000 |
299 lines |
CFP: International Workshop on OCL and Textual Modeling (OCL 2017)
|
Achim D. Brucker |
Wed, 22 Feb 2017 21:46:53 +0000 |
118 lines |
ThEdu'17: Call for Extended Abstracts & Demonstrations
|
Achim D. Brucker |
Sat, 18 Feb 2017 22:57:07 +0000 |
82 lines |
Talk on Alan Turing at the Science Museum, London, 22 February 2017
|
Jonathan Bowen |
Fri, 17 Feb 2017 14:48:43 +0000 |
77 lines |
VSTTE 2017 - First Call for Papers
|
Andrei Paskevich |
Fri, 17 Feb 2017 15:25:32 +0100 |
124 lines |
ICST 2017 - Call For Participation
|
Toshiaki Aoki |
Thu, 9 Feb 2017 01:09:00 +0000 |
83 lines |
BCS FACS - Half a Century of Formal Methods in Software Engineering: A Personal View, Tim Denvir, 1 March 2017
|
Jonathan Bowen |
Wed, 8 Feb 2017 23:55:49 +0000 |
192 lines |
TIME 2017, First Call for Papers
|
Schewe, Sven |
Mon, 6 Feb 2017 16:29:44 +0000 |
364 lines |
Research officer in theoretical foundations of cyber security at Swansea University
|
Markus Roggenbach |
Sun, 5 Feb 2017 11:18:22 +0000 |
97 lines |
Call for Papers: Learning and Automata (LearnAut) -- LICS 2017 Workshop
|
Jonathan Bowen |
Thu, 2 Feb 2017 15:34:15 +0000 |
532 lines |