University of Cambridge > Talks.cam > Seminar room 2, Institute for Manufacturing, Cambridge

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

1 upcoming talk and 31 talks in the archive.

DIAL seminars

Synthesising Provably Correct Controllers for Manufacturing

UserLavindra de Silva (University of Nottingham).

HouseSeminar room 2, Institute for Manufacturing, Cambridge.

ClockThursday 30 November 2017, 14:00-15:00

Please see above for contact details for this list.

 

© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity