Title Event Type Date  

Bloch-Kato Conjectures and Rational Points on Curves

David Corwin Ben-Gurion University

KAH2 Seminar 5 July 2022 – 16:00 to 17:00

Verifying a Virtualization Stack at BedRock Systems

Gregory Malecha Bed Rock Systems

VS2W01 Seminar 5 July 2022 – 16:00 to 17:00

Program Verification: a 70+-Year History

Moshe Vardi Rice University

VS2W01 Seminar 5 July 2022 – 14:30 to 15:30

Extracting a certified OCaml library from Coq. 

Timothy Griffin University of Cambridge; Cambridge Computer Laboratory, Mukesh Tiwari University of Cambridge

VS2W01 Seminar 5 July 2022 – 13:30 to 14:30

The soluble graph of a finite group

Tim Burness University of Bristol

GRA2 Seminar 5 July 2022 – 11:15 to 12:15

Network Verification for Azure Reliability

Andrey Rybalchenko Microsoft (UK)

VS2W01 Seminar 5 July 2022 – 11:00 to 12:00

Experiments with Concurrent Kleene Algebra

Bernhard Möller Universität Augsburg

VS2W01 Seminar 5 July 2022 – 09:30 to 10:30

Panel

VS2W01 Seminar 4 July 2022 – 16:00 to 17:00

Bott’s residue formula in A1-enumerative geometry

Sabrina Pauli Universität Duisburg-Essen

KAH2 Seminar 4 July 2022 – 16:00 to 17:00

TBA

David Basin ETH Zürich

VS2W01 Seminar 4 July 2022 – 14:30 to 15:30

TBA

Philippa Gardner Imperial College London

VS2W01 Seminar 4 July 2022 – 13:30 to 14:30

Stainless as a Verifying Compiler

Viktor Kuncak EPFL - Ecole Polytechnique Fédérale de Lausanne

VS2W01 Seminar 4 July 2022 – 11:15 to 12:15

TBA

Daniel Kroening University of Oxford

VS2W01 Seminar 4 July 2022 – 10:00 to 11:00

Growth in groups and CFSG-free proofs

Laszlo Pyber Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences

GRA2 Seminar 30 June 2022 – 16:00 to 17:00

From the order of vanishing of $L$-function of elliptic curves to the universal main conjecture for eigencuspforms and back

Olivier Fouquet Université de Franche-Comté

KAH2 Seminar 29 June 2022 – 16:00 to 17:00

Localization theorem for algebraic stacks

Charanya Ravi Universität Regensburg

KAH2 Seminar 28 June 2022 – 16:00 to 17:00

Monodromy groups of rational functions

Michael Zieve University of Michigan

GRA2 Seminar 28 June 2022 – 11:15 to 12:15

Motivic invariants of birational maps

Evgeny Shinder University of Sheffield

KAH2 Seminar 27 June 2022 – 16:00 to 17:00

Special values of Zeta-functions of regular schemes projective over the integers

Stephen Lichtenbaum Brown University

KA2W02 Seminar 24 June 2022 – 15:00 to 16:00

Applications of arithmetic holonomicity theorems

Yunqing Tang Université Paris Saclay; CNRS (Centre national de la recherche scientifique)

KA2W02 Seminar 24 June 2022 – 13:30 to 14:30

Supported By