Current & Future Programs

Spring 2021

Jan. 12May 14, 2021
This program aims to foster interaction between theoreticians and practitioners to understand real-world efficient computation with a particular focus on the satisfiability problem for Boolean formulas.
Jan. 12May 14, 2021
Focusing on new developments in logic, automata, probabilistic modeling, games, and cyber-physical systems, this program aims to develop the theoretical foundations of computer systems.

Summer 2021

Fall 2021

Aug. 18Dec. 17, 2021
This program brings together researchers in complexity theory, algorithms, statistics, learning theory, probability, and information theory to advance the methodology for reasoning about the computational complexity of statistical estimation problems.
Aug. 18Dec. 17, 2021
This program aims to develop a geometric approach to various computational problems in sampling, optimization, and partial differential equations.

Spring 2022

Jan. 11May 13, 2022
This program will bring together theoretical and applied researchers with the aim of understanding the complexity, optimization and approximation questions underlying causal inference and discovery.
Jan. 11May 13, 2022
By bringing together reseachers from machine learning, economics, operations research, theoretical computer science, and social computing, this program aims to advance the connections between learning theory, game theory and mechanism design.

Summer 2022

Fall 2022

Aug. 17Dec. 16, 2022