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/13

08:00 Breakfast meeting: Stem cell subversion, myeloproliferative neoplasms and the earliest stages of cancer Professor Tony Green Early Detection breakfast meetings
09:00 Scaffolds and frames: the MathComp algebra formal library Georges Gonthier (INRIA Saclay - Île-de-France) Isaac Newton Institute Seminar Series
09:30 Globalisation and Crisis Conference Speaker to be confirmed Cambridge Journal of Regions, Economy and Society
10:00 Mining the Archive of Formal Proofs Tobias Nipkow (Technischen Universität München) Isaac Newton Institute Seminar Series
11:30 Formal Verification of Financial Algorithms, Progress and Prospects Grant Passmore (University of Cambridge) Isaac Newton Institute Seminar Series
12:00 Sulfur Chemistry for Biology and the Environment Dr Justin Chalker Biological Chemistry Research Interest Group
12:30 University High Performance Hub for Informatics Q&A Professor John Suckling, Department of Psychiatry, University of Cambridge Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series
13:00 Studying long-distance enhancers of Sox9 in the developing mouse gonad Dr Nitzan Gonen; Crick Institute, London Babraham Seminar
14:00 Optimization and risk assessment of tall reinforced concrete buildings Prof M T R Jayasinghe (Thishan Jayasinghe), Department of Civil Engineering of University of Moratuwa, Sri Lanka Engineering Department Structures Research Seminars
14:30 Accessible Reasoning with Diagrams: Ontology Debugging Mateja Jamnik (University of Cambridge) Isaac Newton Institute Seminar Series
15:00 Classification of Twitter Accounts into Automated Agents and Human Users Zafar Gilani (Computer Lab) Computer Laboratory Systems Research Group Seminar
16:00 Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your Proofs Katya Komendenskaya (Heriot-Watt University) Isaac Newton Institute Seminar Series

📅 Talks on Thursday, 13 July 2017

08:00

Breakfast meeting: Stem cell subversion, myeloproliferative neoplasms and the earliest stages of cancer

👤 Professor Tony Green 📚 Early Detection breakfast meetings 📍 CRUK Cambridge Research Institute - LiKa Shing Centre - Robinson Way - Cambridge - CB2 0RE

09:00

Scaffolds and frames: the MathComp algebra formal library

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

09:30

Globalisation and Crisis Conference

👤 Speaker to be confirmed 📚 Cambridge Journal of Regions, Economy and Society 📍 McGrath Centre, St Catharine’s College

10:00

Mining the Archive of Formal Proofs

👤 Tobias Nipkow (Technischen Universität München) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

11:30

Formal Verification of Financial Algorithms, Progress and Prospects

👤 Grant Passmore (University of Cambridge) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

12:00

Sulfur Chemistry for Biology and the Environment

👤 Dr Justin Chalker 📚 Biological Chemistry Research Interest Group 📍 Wolfson Lecture Theatre, Department of Chemistry

12:30

University High Performance Hub for Informatics Q&A

👤 Professor John Suckling, Department of Psychiatry, University of Cambridge 📚 Department of Psychiatry & CPFT Thursday Lunchtime Seminar Series 📍 Seminar Room, Herchel Smith Building, Forvie Site.

13:00

Studying long-distance enhancers of Sox9 in the developing mouse gonad

👤 Dr Nitzan Gonen; Crick Institute, London 📚 Babraham Seminar 📍 Babraham - The Brian Heap Seminar Room

14:00

Optimization and risk assessment of tall reinforced concrete buildings

👤 Prof M T R Jayasinghe (Thishan Jayasinghe), Department of Civil Engineering of University of Moratuwa, Sri Lanka 📚 Engineering Department Structures Research Seminars 📍 Cambridge University Engineering Department, Dyson Building Teaching Room

14:30

Accessible Reasoning with Diagrams: Ontology Debugging

👤 Mateja Jamnik (University of Cambridge) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

15:00

Classification of Twitter Accounts into Automated Agents and Human Users

👤 Zafar Gilani (Computer Lab) 📚 Computer Laboratory Systems Research Group Seminar 📍 FW26, Computer Laboratory, William Gates Building

16:00

Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your Proofs

👤 Katya Komendenskaya (Heriot-Watt University) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute