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 2022/7/22

09:00 Integrality of instanton numbers Masha Vlasenko (Polish Academy of Sciences) Isaac Newton Institute Seminar Series
09:00 Coffee at Isaac Newton Institute: Jan Saxl Memorial Isaac Newton Institute Seminar Series
09:30 Model Checking: Reasoning about Parameterized Loop Programs sans Loop Invariants Supratik Chakraborty (Indian Institute of Technology) Isaac Newton Institute Seminar Series
10:00 Degenerations, fibrations and higher rank Landau-Ginzburg models Fenglong You (University of Oslo) Isaac Newton Institute Seminar Series
10:00 Jan Saxl Memorial Day: The pleasure of working with Jan Saxl Cheryl Praeger (University of Western Australia) Isaac Newton Institute Seminar Series
10:15 Model Checking: Using Model Checking Tools to Triage the Severity of Security Bugs in Xen Hypervisor Elizabeth Polgreen (University of Edinburgh) Isaac Newton Institute Seminar Series
10:40 Jan Saxl Memorial Day: On a result of Rodgers and Saxl Nick Gill (The Open University) Isaac Newton Institute Seminar Series
11:15 Frobenius constants for families of elliptic curves Bidisha Roy (Polish Academy of Sciences) Isaac Newton Institute Seminar Series
11:15 Model Checking: Parameter Synthesis in Probabilistic Models Joost-Pieter Katoen (RWTH Aachen University) Isaac Newton Institute Seminar Series
11:30 Supernova and AGN feedback in dwarf galaxies Sophie Koudmani (IoA) Galaxies Discussion Group
11:40 Jan Saxl Memorial Day: Fifty years around Jan: Some history and some mathematics Peter Cameron (University of St Andrews) Isaac Newton Institute Seminar Series
12:00 Model Checking: Around verification: Explaining specifications and outputs of the model checker. Hana Chockler (King's College London) Isaac Newton Institute Seminar Series
12:10 Jan Saxl Memorial Day: Lunch Isaac Newton Institute Seminar Series
13:00 Using Cheops to push beyond TESS’s orbital period barrier Hugh Osborn (MIT / Bern) Exoplanet Seminars
13:30 On 2-elementary K3 surfaces and string dualities Andreas Malmendier (University of Connecticut) Isaac Newton Institute Seminar Series
14:00 Jan Saxl Memorial Day: Representations and tensor product growth Pham Tiep (Rutgers, The State University of New Jersey) Isaac Newton Institute Seminar Series
14:15 Model checking: Neural Termination Analysis Daniel Kroening (Amazon Web Services) Isaac Newton Institute Seminar Series
14:30 N. Takahashi's 3 Conjectures Michel van Garrel (University of Birmingham) Isaac Newton Institute Seminar Series
14:40 Jan Saxl Memorial Day: A survey of the work of Jan Saxl Martin Liebeck (Imperial College London) Isaac Newton Institute Seminar Series
15:00 Model Checking: Accelerating Statistical Model Checking for COVID19 Kim Larsen (Aalborg Universitet) Isaac Newton Institute Seminar Series
15:20 Jan Saxl Memorial Day: Exceptional Polynomials and Generation by Conjugates Robert Guralnick (University of Southern California) Isaac Newton Institute Seminar Series
16:00 Close Isaac Newton Institute Seminar Series
16:00 Model Checking: SMT-Based Software Model Checking Dirk Beyer (Ludwig-Maximilians-Universität München) Isaac Newton Institute Seminar Series
16:15 Jan Saxl Memorial Day: Wine Reception: Isaac Newton Institute Isaac Newton Institute Seminar Series
16:45 Model Checking: Model Checking for Hardware Design: Where do we stand? Ziiyad Hanna (University of Oxford) Isaac Newton Institute Seminar Series

📅 Talks on Friday, 22 July 2022

09:00

Integrality of instanton numbers

👤 Masha Vlasenko (Polish Academy of Sciences) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

09:00

Coffee at Isaac Newton Institute: Jan Saxl Memorial

👤 📚 Isaac Newton Institute Seminar Series 📍 No Room Required

09:30

Model Checking: Reasoning about Parameterized Loop Programs sans Loop Invariants

👤 Supratik Chakraborty (Indian Institute of Technology) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

10:00

Degenerations, fibrations and higher rank Landau-Ginzburg models

👤 Fenglong You (University of Oslo) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

10:00

Jan Saxl Memorial Day: The pleasure of working with Jan Saxl

👤 Cheryl Praeger (University of Western Australia) 📚 Isaac Newton Institute Seminar Series 📍 Centre for Mathematical Sciences

10:15

Model Checking: Using Model Checking Tools to Triage the Severity of Security Bugs in Xen Hypervisor

👤 Elizabeth Polgreen (University of Edinburgh) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

10:40

Jan Saxl Memorial Day: On a result of Rodgers and Saxl

👤 Nick Gill (The Open University) 📚 Isaac Newton Institute Seminar Series 📍 Centre for Mathematical Sciences

11:15

Frobenius constants for families of elliptic curves

👤 Bidisha Roy (Polish Academy of Sciences) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

11:15

Model Checking: Parameter Synthesis in Probabilistic Models

👤 Joost-Pieter Katoen (RWTH Aachen University) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

11:30

Supernova and AGN feedback in dwarf galaxies

👤 Sophie Koudmani (IoA) 📚 Galaxies Discussion Group 📍 in person & via zoom

11:40

Jan Saxl Memorial Day: Fifty years around Jan: Some history and some mathematics

👤 Peter Cameron (University of St Andrews) 📚 Isaac Newton Institute Seminar Series 📍 Centre for Mathematical Sciences

12:00

Model Checking: Around verification: Explaining specifications and outputs of the model checker.

👤 Hana Chockler (King's College London) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

12:10

Jan Saxl Memorial Day: Lunch

👤 📚 Isaac Newton Institute Seminar Series 📍 Centre for Mathematical Sciences

13:00

Using Cheops to push beyond TESS’s orbital period barrier

👤 Hugh Osborn (MIT / Bern) 📚 Exoplanet Seminars 📍 Ryle seminar room + ONLINE - Details to be sent by email

13:30

On 2-elementary K3 surfaces and string dualities

👤 Andreas Malmendier (University of Connecticut) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

14:00

Jan Saxl Memorial Day: Representations and tensor product growth

👤 Pham Tiep (Rutgers, The State University of New Jersey) 📚 Isaac Newton Institute Seminar Series 📍 Centre for Mathematical Sciences

14:15

Model checking: Neural Termination Analysis

👤 Daniel Kroening (Amazon Web Services) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

14:30

N. Takahashi's 3 Conjectures

👤 Michel van Garrel (University of Birmingham) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute

14:40

Jan Saxl Memorial Day: A survey of the work of Jan Saxl

👤 Martin Liebeck (Imperial College London) 📚 Isaac Newton Institute Seminar Series 📍 Centre for Mathematical Sciences

15:00

Model Checking: Accelerating Statistical Model Checking for COVID19

👤 Kim Larsen (Aalborg Universitet) 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 2, Newton Institute

15:20

Jan Saxl Memorial Day: Exceptional Polynomials and Generation by Conjugates

👤 Robert Guralnick (University of Southern California) 📚 Isaac Newton Institute Seminar Series 📍 Centre for Mathematical Sciences

16:00

Close

👤 📚 Isaac Newton Institute Seminar Series 📍 Seminar Room 1, Newton Institute