University of Cambridge > Talks.cam > DIAL seminars

DIAL seminars

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Description to be confirmed

Tell a friend about this list:

If you have a question about this list, please contact: Alexandra Brintrup; Philip Woodall; Rengarajan. If you have a question about a specific talk, click on that talk to find its organiser.

2 upcoming talks and 136 talks in the archive.

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

Title to be confirmed

UserTom Haegemans (KU Leuven).

HouseSeminar room 3, Institute for Manufacturing, Cambridge.

ClockTuesday 05 December 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