|
|
|
Size
|
QBFEVAL'16 - Deadlines extension!
|
Luca Pulina |
Sun, 28 Feb 2016 11:33:41 +0100 |
79 lines |
1ST CALL FOR PAPERS: 17th Annual GAMEON'2016, September 13-15, 2016, Universidade Nova de Lisboa, Lisbon, Portugal
|
Philippe Geril |
Fri, 26 Feb 2016 11:12:46 +0000 |
388 lines |
FGCT 2016
|
<> |
Fri, 26 Feb 2016 16:02:56 +0530 |
127 lines |
CFP: HCCV 2016 - Workshop on High-Consequence Control Verification
|
Michael Butler |
Thu, 25 Feb 2016 08:44:50 +0000 |
113 lines |
SYNT 2016 - First Call for Papers
|
Rayna Dimitrova |
Wed, 24 Feb 2016 17:29:17 +0100 |
137 lines |
TIME 2016 --- First Call for Papers
|
Michael Reichhardt Hansen |
Tue, 23 Feb 2016 16:07:06 +0000 |
200 lines |
QBFEVAL'16 - Solver submission deadline approaching
|
Luca Pulina |
Tue, 23 Feb 2016 16:16:27 +0100 |
80 lines |
PhD and Post-Doc positions in formal methods and security
|
Carlo A. Furia |
Mon, 22 Feb 2016 13:01:04 +0100 |
93 lines |
CPS Week 2016 - Call for Participation
|
Ezio Bartocci |
Sat, 20 Feb 2016 17:22:51 +0100 |
213 lines |
Preliminary Programme FOODSIM'2016, April 3-7, 2016, Catholic University Louvain, Ghent, Belgium
|
Philippe Geril |
Fri, 19 Feb 2016 10:11:19 +0000 |
554 lines |
New List Owner required for: PROCOS JiscMail List
|
JiscMail Helpline |
Thu, 18 Feb 2016 15:23:00 +0000 |
50 lines |
CFP - ISOLA 2016 track - Semantic heterogeneity in the formal development of complex systems
|
J Paul Gibson |
Tue, 16 Feb 2016 13:01:53 +0000 |
75 lines |
FORMATS 2016 - First Call for Papers
|
Martin Fränzle |
Mon, 15 Feb 2016 20:41:10 +0100 |
198 lines |
Research Fellow in program analysis and verification, Melbourne
|
Harald Sondergaard |
Fri, 5 Feb 2016 03:57:14 +0000 |
17 lines |
Extended deadline: TAP 2016 (Tests & Proofs)
|
Bernhard Aichernig |
Mon, 1 Feb 2016 16:56:00 +0100 |
35 lines |