If you have a question about this list, please contact: ; Lesley Gray; Talks.cam. If you have a question about a specific talk, click on that talk to find its organiser.
Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Regina Barzilay Massachusetts Institute of Technology.
Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Natarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa).
Monday 24 July 2017, 10:30-12:00