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 | |
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 | |
David Basin ETH Zürich |
VS2W01 | Seminar | 4 July 2022 – 14:30 to 15:30 | |
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 | |
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 | |
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 |