University of Cambridge > Talks.cam > INI info aggregator
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
If you have a question about this list, please contact: Gareth Marlow; Mustapha Amrani; mr349. If you have a question about a specific talk, click on that talk to find its organiser.
7 upcoming talks and 7372 talks in the archive: show first 500.
Isaac Newton Institute Seminar Series
BPR - Big proof
Natarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa).
Seminar Room 2, Newton Institute.
Monday 24 July 2017, 10:30-12:00
Jeremy Avigad (Carnegie Mellon University).
Monday 24 July 2017, 15:30-17:30
Yves Bertot (INRIA Sophia Antipolis).
Tuesday 25 July 2017, 11:00-12:00
Arnold Neumaier (Universität Wien).
Wednesday 26 July 2017, 11:00-12:00
.
Wednesday 26 July 2017, 15:30-17:30
Vladimir Voevodsky (Institute for Advanced Study, Princeton).
Thursday 27 July 2017, 15:30-16:30
Benedikt Ahrens (INRIA Rennes - Bretagne Atlantique).
Thursday 27 July 2017, 16:30-17:30
Please see above for contact details for this list.
© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[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