Logo

Mathematical Sciences Research Institute

Home > Education > Upcoming

Upcoming Educational Events

  1. Summer Graduate School Foundations and Frontiers of Probabilistic Proofs (Virtual School)

    Organizers: Alessandro Chiesa (University of California, Berkeley), Tom Gur (University of Warwick)
    Proofs main logo
    Several executions of a 3-dimensional sumcheck protocol with a random order of directions (thanks to Dev Ojha for creating the diagram)

    Proofs are at the foundations of mathematics. Viewed through the lens of theoretical computer science, verifying the correctness of a mathematical proof is a fundamental computational task. Indeed, the P versus NP problem, which deals precisely with the complexity of proof verification, is one of the most important open problems in all of mathematics.

    The complexity-theoretic study of proof verification has led to exciting reenvisionings of mathematical proofs. For example, probabilistically checkable proofs (PCPs) admit local-to-global structure that allows verifying a proof by reading only a minuscule portion of it. As another example, interactive proofs allow for verification via a conversation between a prover and a verifier, instead of the traditional static sequence of logical statements. The study of such proof systems has drawn upon deep mathematical tools to derive numerous applications to the theory of computation and beyond.

    In recent years, such probabilistic proofs received much attention due to a new motivation, delegation of computation, which is the emphasis of this summer school. This paradigm admits ultra-fast protocols that allow one party to check the correctness of the computation performed by another, untrusted, party. These protocols have even been realized within recently-deployed technology, for example, as part of cryptographic constructions known as succinct non-interactive arguments of knowledge (SNARKs).

    This summer school will provide an introduction to the field of probabilistic proofs and the beautiful mathematics behind it, as well as prepare students for conducting cutting-edge research in this area.

    Updated on Apr 19, 2021 06:23 PM PDT
  2. Workshop Blackwell Tapia Conference 2021

    Organizers: David Banks (Duke University), Hélène Barcelo (MSRI - Mathematical Sciences Research Institute), Lloyd Douglas, Robert Megginson (University of Michigan), Mariel Vazquez (University of California, Davis), Ulrica Wilson (Morehouse College; Institute for Computational and Experimental Research in Mathematics (ICERM))

    MSRI and the Mathematical Science Institutes Diversity Initiative (MSIDI) are pleased to announce that the 2021 Blackwell-Tapia Conference (rescheduled from Fall 2020), will be held simultaneously at four locations nationwide.  The conference will celebrate the 2020 Blackwell-Tapia prize winner, Tatiana Toro (University of Washington), who has recently been announced as the next Director of MSRI, effective August 2022.

    Choose from four host sites nationwide:

    Mathematical Sciences Research Institute (MSRI): Berkeley, California
    Institute for Pure and Applied Mathematics (IPAM): Los Angeles, California
    Institute for Mathematical and Statistical Innovation (IMSI): Chicago, Illinois
    Institute for Advanced Study (IAS): Princeton, New Jersey

    Updated on Jul 14, 2021 08:54 AM PDT