University of Cambridge > Talks.cam > CCIMI

CCIMI

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

Tell a friend about this list:

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

2 upcoming talks and 81 talks in the archive.

CCIMI Seminars

CCIMI Colloquium - The Statistical Finite Element Method

UserProfessor Mark Girolami, University of Cambridge.

HouseMR2 Centre for Mathematical Sciences.

ClockWednesday 13 November 2019, 17:00-19:00

CCIMI Seminars

Machine learning and theorem proving

UserHenryk Michalewski.

HouseCMS, MR14.

ClockWednesday 20 November 2019, 14:00-15:00

Please see above for contact details for this list.

 

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