|
12 Jul 2019 |
Dr Zhenhua Feng
University of Surry |
Robust Facial Landmark Localisation and Its Applications
|
|
25 Sep 2019 |
Xingyu Zhao
Heriot Watt University |
Combining formal verification and testing for robotic systems on the ORCA project
|
|
02 Oct 2019 |
David Suter
Edith Cowan University |
Multi-Structure Model-Based Fitting in Computer Vision - A Tour
|
|
09 Oct 2019 |
Rafael Cardoso, Angelo Ferrando, Fabio Papacchini
|
The Multi-Agent Programming Contest 2019
|
|
23 Oct 2019 |
Clare Dixon
|
An Overview to the FAIR-SPACE project
|
|
06 Nov 2019 |
Joe Collenette
|
-
|
|
20 Nov 2019 |
Fabio Papacchini
|
-
|
|
04 Dec 2019 |
Stefania Soldini
Engineering |
-
|
|
29 Jan 2020 |
George Kourtis
|
Specifying Parameterized Systems in First-Order Temporal Logic
|
|
12 Feb 2020 |
Heba Lakany
|
-
|
|
26 Feb 2020 |
David Marquez-Gamez
Department of Chemistry |
Robotic Lab of the Future
|
|
11 Mar 2020 |
Sven Linker
|
Target Counting with Wireless Sensor Networks: Spatial Models and Presburger Arithmetic
|
|
25 Mar 2020 |
Matt Luckuck
|
Work in Progress: Runtime Monitors from Safety Documentation.
|
|
22 Apr 2020 |
Emily Collins
|
-
|
|
06 May 2020 |
[Debate]
|
How to stop the Terminator before it starts: practical limits on AI for safe operations
|
|
03 Jun 2020 |
[Debate]
|
Her, virtual reality and embodied artificial cognition
|
