|
|
|
Size
|
BCS FACS - Can robots ever be safe? Evening seminar by Ana Cavalcanti, BCS London office, 29 November 2016
|
Jonathan Bowen |
Mon, 1 Aug 2016 21:38:13 +0100 |
161 lines |
BCS-FACS talk, 15 Nov 2016: Christopher Strachey - Pioneer of FACS, by Joe Stoy
|
Jonathan Bowen |
Tue, 23 Aug 2016 18:40:22 +0100 |
119 lines |
Call for Participation: Automated Technology for Verification and Analysis (ATVA) 2016
|
Takashi Kitamura |
Thu, 18 Aug 2016 13:52:07 +0900 |
119 lines |
FMCAD 2016 STUDENT FORUM
|
Igor Konnov |
Sat, 20 Aug 2016 08:59:07 +0200 |
53 lines |
Reminder: ICST 2017 CFP - Research track due is approaching (Sep 23)
|
Atif Memon |
Mon, 29 Aug 2016 13:42:12 -0400 |
531 lines |
TIME 2016: Call for Participation
|
Michael Reichhardt Hansen |
Fri, 19 Aug 2016 10:21:41 +0000 |
221 lines |