Current & Future Programs
Spring 2021
Jan. 12 – May 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. 12 – May 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
Jul. 6 – Aug. 6, 2021
This summer program aims to bring together computational and applied researchers to address key challenges in bioinformatics.
Fall 2021
Aug. 18 – Dec. 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. 18 – Dec. 17, 2021
This program aims to develop a geometric approach to various computational problems in sampling, optimization, and partial differential equations.
Spring 2022
Jan. 11 – May 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. 11 – May 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.