|
|
|
Size
|
1st CFP: 31st European Simulation and Modelling Conference - ESM'2017, October 25-27, 2017, IST, Lisbon, Portugal
|
Philippe Geril |
Tue, 28 Feb 2017 11:22:59 +0000 |
363 lines |
CFP: Special Issue of the AMAI on the Formalization of Geometry, Automated and Interactive Geometric Reasoning
|
Temur Kutsia |
Mon, 27 Feb 2017 12:20:47 +0100 |
79 lines |
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 |
196 lines |
Halmstad Summer School on Cyber-Physical Systems 2017
|
Walid Gomaa |
Fri, 24 Feb 2017 12:38:09 +0100 |
314 lines |
VerifyThis Competition 2017: Travel Grant Announcement
|
Rosemary Monahan |
Fri, 24 Feb 2017 09:46:30 +0000 |
300 lines |
CFP: International Workshop on OCL and Textual Modeling (OCL 2017)
|
Achim D. Brucker |
Wed, 22 Feb 2017 21:46:57 +0000 |
119 lines |
NFM 2017 - Call For Participation
|
Rody Kersten |
Tue, 21 Feb 2017 13:54:00 -0800 |
265 lines |
ThEdu'17: Call for Extended Abstracts & Demonstrations
|
Achim D. Brucker |
Sat, 18 Feb 2017 22:57:10 +0000 |
83 lines |
Talk on Alan Turing at the Science Museum, London, 22 February 2017
|
Jonathan Bowen |
Fri, 17 Feb 2017 14:48:43 +0000 |
78 lines |
VSTTE 2017 - First Call for Papers
|
Andrei Paskevich |
Fri, 17 Feb 2017 15:26:16 +0100 |
125 lines |
2nd call RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA
|
Ayoub Nouri |
Wed, 15 Feb 2017 13:10:29 +0100 |
799 lines |
FMICS-AVoCS 2017: Call for Papers
|
Cristina Seceleanu |
Tue, 14 Feb 2017 13:28:54 +0000 |
171 lines |
INTECH 2017
|
Diana Christy |
Fri, 10 Feb 2017 16:34:23 +0530 |
117 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 |
193 lines |
[spin2017] SPIN 2017 - deadline extended to Feb 17
|
Yliès Falcone |
Tue, 7 Feb 2017 11:30:22 +0100 |
335 lines |
Research officer in theoretical foundations of cyber security at Swansea University
|
Markus Roggenbach |
Sun, 5 Feb 2017 11:08:50 +0000 |
49 lines |
2nd CFP- FUBUTEC 2017, 12th Annual Future Business Technology Conference, May 31-June 2, 2017, Polish Acad. of Sciences, Warsaw
|
Philippe Geril |
Thu, 2 Feb 2017 12:24:06 +0000 |
154 lines |