Professors Ana Cavalcanti and Jim Woodcock will be giving talks, on “Software Engineering for Robotics” and “Towards a Unifying Framework for Uncertainty in CPS”, respectively, at a colloquium to honor Prof. Jan Peleska’s contributions and achievements in applicable formal methods for safe industrial products. The event will take place on the 3rd of March 2023 at the University of Bremen.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500