Log in

University Account

External (via Google)

Information on

Subscribing to talks details

Finding a talk details

Adding a talk details

Disseminating talks details

Help and Documentation details

Talks on 2017/7/12

09:00 Formally Verified Approximations of Definite Integrals Assia Mahboubi (INRIA Saclay - Île-de-France) Isaac Newton Institute Seminar Series
10:00 Metaprogramming with Dependent Type Theory Leonardo de Moura (Microsoft (UK)) Isaac Newton Institute Seminar Series
10:30 Weighing the past against the present: computational approaches to understand learning and uncertainty autism Dr Rebecca Lawson, Research Associate, Imaging Neuroscience, Institute of Neurology, Faculty of Brain Sciences, University College London ARClub Talks
10:30 Text and Data Mining Symposium Speaker to be confirmed Office of Scholarly Communication
11:00 Improving eye gaze controlled car dashboard using simulated annealing Dr Pradipta Biswas, Indian Institute of Science Engineering Design Centre Seminars
11:30 Hammers and Model Finders, and Beyond Jasmin Blanchette (INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken) Isaac Newton Institute Seminar Series
13:00 Using Drosophila melanogaster for dissecting the role of Golgi trafficking in cytokinesis and human diseases Dr. Maria Grazia Giansanti, Istituto di Biologia e Patologia molecolari, Rome Cellular Genetic Disease Seminar
13:15 Elephants and emperors: Elephants in Indian painting and culture Marcus Fraser, Honorary Keeper of Islamic Manuscripts and Miniatures. The Fitzwilliam Museum
14:30 The social machine of mathematics Ursula Martin (University of Oxford) Isaac Newton Institute Seminar Series
16:30 Statistics Clinic Summer 2017 - I Speaker to be confirmed Cambridge Statistics Clinic
19:00 Mexico (in 3D) Jonathan Clark British Cactus & Succulent Society (Cambridge Branch)

📅 Talks on Wednesday, 12 July 2017

09:00

Formally Verified Approximations of Definite Integrals

👤 Assia Mahboubi (INRIA Saclay - Île-de-France) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

10:00

Metaprogramming with Dependent Type Theory

👤 Leonardo de Moura (Microsoft (UK)) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

10:30

Weighing the past against the present: computational approaches to understand learning and uncertainty autism

👤 Dr Rebecca Lawson, Research Associate, Imaging Neuroscience, Institute of Neurology, Faculty of Brain Sciences, University College London 📚 ARClub Talks 📍 Large Meeting Room (groundfloor), Douglas House, 18B, Trumpington Road

10:30

Text and Data Mining Symposium

👤 Speaker to be confirmed 📚 Office of Scholarly Communication 📍 Cambridge University Engineering Department

11:00

Improving eye gaze controlled car dashboard using simulated annealing

👤 Dr Pradipta Biswas, Indian Institute of Science 📚 Engineering Design Centre Seminars 📍 EDC-loft meeting room, Engineering Design Centre, CUED

11:30

Hammers and Model Finders, and Beyond

👤 Jasmin Blanchette (INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

13:00

Using Drosophila melanogaster for dissecting the role of Golgi trafficking in cytokinesis and human diseases

👤 Dr. Maria Grazia Giansanti, Istituto di Biologia e Patologia molecolari, Rome 📚 Cellular Genetic Disease Seminar 📍 Lecture Theatre, Department of Pathology, Tennis Court Road

13:15

Elephants and emperors: Elephants in Indian painting and culture

👤 Marcus Fraser, Honorary Keeper of Islamic Manuscripts and Miniatures. 📚 The Fitzwilliam Museum 📍 Fitzwilliam Museum

14:30

The social machine of mathematics

👤 Ursula Martin (University of Oxford) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

16:30

Statistics Clinic Summer 2017 - I

👤 Speaker to be confirmed 📚 Cambridge Statistics Clinic 📍 Centre for Mathematical Sciences, Meeting Room 12 (centre building, basement)

19:00

Mexico (in 3D)

👤 Jonathan Clark 📚 British Cactus & Succulent Society (Cambridge Branch) 📍 Great Shelford Memorial Hall, Woollards Lane, Great Shelford, Cambridge, CB22 5LZ