Department of Computer Science

Co-verification talk at IRIF and Laboratoire de Méthodes Formelles

On the 5th and 6th June 2023, Pedro Ribeiro will be delivering invited talks at the Research Institute on the Foundations of Computer Science (IRIF), Paris Cité Universite, and the Laboratoire de Méthodes Formelles - Paris Saclay, on “Co-verification for robotics”.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements