Upcoming Workshops & Symposia

Synthesis of Models and Systems
May 10, 2021
Program: Theoretical Foundations of Computer Systems

Organizers:

Radu Grosu (TU Wien), Ras Bodik (University of Washington), Ruzica Piskac (Yale University), Sanjit Seshia (UC Berkeley)
Beyond Satisfiability
May 11, 2021
Program: Satisfiability: Theory, Practice, and Beyond

Organizers:

Jakob Nordström (University of Copenhagen & Lund University; chair), Nikolaj Bjorner (Microsoft Research), Adnan Darwiche (UC Los Angeles), Ambros Gleixner (Zuse Institute Berlin), Kuldeep Singh Meel (National University of Singapore), Martina Seidl (Johannes Kepler University Linz)
Theoretical Foundations of SAT/SMT Solving
May 12, 2021
Program: Theoretical Foundations of Computer Systems, Satisfiability: Theory, Practice, and Beyond

Organizers:

Antonina Kolokolova (Memorial University of Newfoundland; co-chair), Moshe Vardi (Rice University; co-chair), María Luisa Bonet Carbonell (Universitat Politecnica de Catalunya), Vijay Ganesh (University of Waterloo), Marijn Heule (Carnegie Mellon University), Kevin Leyton-Brown (University of British Columbia)
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
May 13, 2021
Program: Satisfiability: Theory, Practice, and Beyond

Organizers:

Albert Atserias (Universitat Politècnica de Catalunya; co-chair), Sam Buss (UC San Diego; co-chair), Paul Beame (University of Washington), Matti Järvisalo (University of Helsinki), Mohan Paturi (UC San Diego), Toni Pitassi (University of Toronto), Neil Thapen (Czech Academy of Sciences)
Games and Equilibria in System Design and Analysis
May 14, 2021
Program: Theoretical Foundations of Computer Systems

Organizers:

Rajeev Alur (University of Pennsylvania), Pavol Černý (TU Wien), Rupak Majumdar (Max Planck Institute for Software Systems; International Computer Science Institute), Michael Wooldridge (University of Oxford)
Data Privacy: Foundations and Applications Reunion
May 17 – May 21, 2021
Program: Data Privacy: Foundations and Applications

Organizers:

Adam Smith (Boston University; chair), Vitaly Feldman (Google), Katrina Ligett (Hebrew University), Kobbi Nissim (Georgetown University), Aleksandra Slavkovic (Pennsylvania State University)
Computational Complexity of Statistical Inference Boot Camp
Aug. 23 – Aug. 27, 2021
Program: Computational Complexity of Statistical Inference

Organizers:

Guy Bresler (Massachusetts Institute of Technology; chair), Adam Klivans (University of Texas, Austin), Gábor Lugosi (Pompeu Fabra University), Ankur Moitra (Massachusetts Institute of Technology), Prasad Raghavendra (UC Berkeley), Tselil Schramm (Stanford University), Yihong Wu (Yale University)
Geometric Methods in Optimization and Sampling Boot Camp
Aug. 30 – Sep. 3, 2021
Program: Geometric Methods in Optimization and Sampling

Organizers:

Philippe Rigollet (Massachusetts Institute of Technology; chair), Katy Craig (UC Santa Barbara), Simone Di Marino (University of Genova), Nisheeth Vishnoi (Yale University), Martin Wainwright (UC Berkeley)
Rigorous Evidence for Information-Computation Trade-offs
Sep. 13 – Sep. 17, 2021
Program: Computational Complexity of Statistical Inference

Organizers:

Sam Hopkins (UC Berkeley; co-chair), Lenka Zdeborová (EPFL, Switzerland; co-chair), Afonso Bandeira (ETH Zürich)
Sampling Algorithms and Geometries on Probability Distributions
Sep. 27 – Oct. 1, 2021
Program: Geometric Methods in Optimization and Sampling

Organizers:

Jelena Diakonikolas (University of Wisconsin, Madison; chair), Philippe Rigollet (Massachusetts Institute of Technology), Santosh Vempala (Georgia Institute of Technology)
Algorithmic Advances for Statistical Inference with Combinatorial Structure
Oct. 11 – Oct. 15, 2021
Program: Computational Complexity of Statistical Inference

Organizers:

Laurent Massoulie (Microsoft Research-INRIA Joint Centre; chair), Po-Ling Loh (University of Wisconsin, Madison), Jiaming Xu (Duke University)
Dynamics and Discretization: PDEs, Sampling, and Optimization
Oct. 25 – Oct. 29, 2021
Program: Geometric Methods in Optimization and Sampling

Organizers:

Katy Craig (UC Santa Barbara; chair), Simone Di Marino (University of Genova)
Average-Case Complexity: From Cryptography to Statistical Learning
Nov. 8 – Nov. 12, 2021
Program: Computational Complexity of Statistical Inference

Organizers:

Luca Trevisan (Bocconi University; chair), Boaz Barak (Harvard University), Amit Daniely (Google Research), Tselil Schramm (Stanford University), Rocco Servedio (Columbia University), Vinod Vaikuntanathan (Massachusetts Institute of Technology)
Optimization Under Symmetry
Nov. 29 – Dec. 3, 2021
Program: Geometric Methods in Optimization and Sampling

Organizers:

Nisheeth Vishnoi (Yale University; chair), Michael Walter (University of Amsterdam and QuSoft), Ashia Wilson (MIT)
Causality Boot Camp
Jan. 17 – Jan. 21, 2022
Program: Causality

Organizers:

Frederick Eberhardt (Caltech; chair), Constantinos Daskalakis (Massachusetts Institute of Technology), Marloes Maathuis (ETH Zürich), Thomas Richardson (University of Washington), Leonard Schulman (Caltech), Vasilis Syrgkanis (Microsoft Research), Caroline Uhler (Massachusetts Institute of Technology)
Learning and Games Boot Camp
Jan. 24 – Jan. 28, 2022
Program: Learning and Games

Organizers:

Vasilis Syrgkanis (Microsoft Research; chair), Constantinos Daskalakis (Massachusetts Institute of Technology), Dylan Foster (Massachusetts Institute of Technology), Michael Jordan (UC Berkeley), Christos Papadimitriou (Columbia University), Georgios Piliouras (Singapore University of Technology and Design), Éva Tardos (Cornell University)
Learning from Interventions
Feb. 14 – Feb. 18, 2022
Program: Causality

Organizers:

Frederick Eberhardt (Caltech; chair), Constantinos Daskalakis (Massachusetts Institute of Technology), Caroline Uhler (Massachusetts Institute of Technology)
Adversarial Approaches in Machine Learning
Feb. 22 – Feb. 25, 2022
Program: Learning and Games

Organizers:

Constantinos Daskalakis (Massachusetts Institute of Technology; chair), Niao He (ETH Zürich), Michael Jordan (UC Berkeley), Asu Özdağlar (Massachusetts Institute of Technology), Georgios Piliouras (Singapore University of Technology and Design), Vasilis Syrgkanis (Microsoft Research)
Robust Causal Inference
Mar. 21 – Mar. 25, 2022
Program: Causality

Organizers:

Marloes Maathuis (ETH Zürich), Leonard Schulman (Caltech), Caroline Uhler (Massachusetts Institute of Technology)
Learning in the Presence of Strategic Behavior
Mar. 28 – Apr. 1, 2022
Program: Learning and Games

Organizers:

Georgios Piliouras (Singapore University of Technology and Design; chair), Nika Haghtalab (UC Berkeley), Christos Papadimitriou (Columbia University), Vasilis Syrgkanis (Microsoft Research), Éva Tardos (Cornell University)

Pages