|
|
|
Size
|
Final deadline extension: 4PAD special track @ PDP 2017
|
Simon Bliudze |
Tue, 27 Sep 2016 11:35:31 +0200 |
508 lines |
Preliminary Programme - 30th ESM'2016, October 26-28 , 2016, SIANI, University of Las Palmas, Spain
|
Philippe Geril |
Mon, 26 Sep 2016 12:10:12 +0100 |
640 lines |
BCS FACS - Can robots ever be safe? Evening seminar by Ana Cavalcanti, BCS London office, 29 September 2016
|
Jonathan Bowen |
Sun, 25 Sep 2016 19:05:47 +0400 |
183 lines |
FM 2016 Tutorial on new KeYmaera X Prover for Hybrid Systems
|
André Platzer |
Tue, 20 Sep 2016 21:55:58 -0400 |
49 lines |
Call for Participation: 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT'16)
|
Miroslav Velev |
Fri, 16 Sep 2016 19:42:08 -0500 |
107 lines |
FMCAD 2016: Call for participation
|
Igor Konnov |
Thu, 15 Sep 2016 18:22:44 +0200 |
120 lines |
Automated Reasoning for Systems Biology and Medicine - Workshop, Cambridge
|
Paolo Zuliani |
Thu, 15 Sep 2016 13:08:04 +0100 |
153 lines |
SAC-SVT 2017 - Deadline extended to September 29, 2016
|
Yliès Falcone |
Thu, 15 Sep 2016 11:14:09 +0200 |
279 lines |
SAC-SVT 2017 - final Call for Papers - 2 weeks until the deadline
|
Yliès Falcone |
Thu, 1 Sep 2016 16:58:49 +0200 |
278 lines |