25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)

Name: 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)
Start: Wednesday 28 October 2020
End: Saturday 31 October 2020

Conference

This event has now finished.

Date and time: Wednesday 28 October 2020, 9am to Saturday 31 October 2020, 5pm
Booking: Booking required

Event details

Dr Radu Calinescu and others from the team will present two papers at this respected conference:

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
Safety Controller Synthesis for Collaborative Robots