Upcoming Workshops & Symposia

Reinforcement Learning from Batch Data and Simulation
Nov. 30 – Dec. 4, 2020
Program: Theory of Reinforcement Learning

Organizers:

Mengdi Wang (Princeton; chair), Emma Brunskill (Stanford University), Sean Meyn (University of Florida)
Proofs, Consensus, and Decentralizing Society Reunion
Dec. 7 – Dec. 9, 2020
Program: Proofs, Consensus, and Decentralizing Society

Organizers:
New Developments in Obfuscation
Dec. 10 – Dec. 11, 2020

Organizers:

Boaz Barak (Harvard University)
Learning and Testing in High Dimensions
Dec. 14 – Dec. 18, 2020
Program: Probability, Geometry, and Computation in High Dimensions

Organizers:

Adam Klivans (University of Texas at Austin; chair), Guy Bresler (Massachusetts Institute of Technology), Sébastien Bubeck (Microsoft Research), Anindya De (University of Pennsylvania), Philippe Rigollet (Massachusetts Institute of Technology)
Theoretical Foundations of Computer Systems Boot Camp
Jan. 25 – Jan. 29, 2021
Program: Theoretical Foundations of Computer Systems

Organizers:

Pavol Černý (TU Wien), Thomas Colcombet (Université Paris Diderot - Paris 7), Marta Kwiatkowska (University of Oxford), Ruzica Piskac (Yale University), Moshe Vardi (Rice University)
Satisfiability: Theory, Practice, and Beyond Boot Camp
Feb. 1 – Feb. 5, 2021
Program: Satisfiability: Theory, Practice, and Beyond

Organizers:

Albert Atserias (Universitat Politècnica de Catalunya; chair), Sam Buss (UC San Diego), Vijay Ganesh (University of Waterloo), Antonina Kolokolova (Memorial University of Newfoundland), Jakob Nordström (University of Copenhagen & Lund University)
Theoretical Foundations of SAT/SMT Solving
Feb. 22 – Feb. 26, 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)
Beyond Satisfiability
Mar. 15 – Mar. 19, 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), Martina Seidl (Johannes Kepler University Linz)
Synthesis of Models and Systems
Mar. 22 – Mar. 25, 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)
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Apr. 12 – Apr. 16, 2021
Program: Satisfiability: Theory, Practice, and Beyond

Organizers:

Sam Buss (UC San Diego; chair), Ramamohan Paturi (UC San Diego), Toniann Pitassi (University of Toronto)
Games and Equilibria in System Design and Analysis
Apr. 26 – Apr. 30, 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)
Expressiveness versus Efficiency
May 3 – May 7, 2021
Program: Satisfiability: Theory, Practice, and Beyond

Organizers:

Albert Atserias (Universitat Politècnica de Catalunya; chair), Paul Beame (University of Washington), Matti Järvisalo (University of Helsinki), Neil Thapen (Czech Academy of Sciences)
Statistics in the Big Data Era
Jun. 2 – Jun. 4, 2021

Organizers:
Interpretable Machine Learning in Natural and Social Sciences
Jun. 28 – Jul. 1, 2021
Program: Summer Cluster: Interpretable Machine Learning

Organizers:

Himabindu Lakkaraju (Harvard University), Zachary Lipton (Carnegie Mellon University), David Madigan (Columbia University), Deirdre Mulligan (UC Berkeley), Bin Yu (UC Berkeley)
From Algorithms to Discovery in Genome-Scale Biology and Medicine
Jul. 6 – Jul. 9, 2021
Program: Computational Innovation and Data-Driven Biology

Organizers:

Nadav Ahituv (UCSF; co-chair), Roded Sharan (Tel Aviv University; co-chair), Steven Brenner (UC Berkeley & UCSF), Ron Shamir (Tel Aviv University), Yun S. Song (UC Berkeley), Olga Troyanskaya (Princeton University)
Computational Challenges in Very Large-Scale "Omics"
Jul. 19 – Jul. 22, 2021
Program: Computational Innovation and Data-Driven Biology

Organizers:

Roderic Guigo Serra (Center for Genomic Regulation; chair), Steven Brenner (UC Berkeley & UCSF), Sandrine Dudoit (UC Berkeley), Tal Pupko (Tel Aviv University), Ron Shamir (Tel Aviv 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:

Katy Craig (UC Santa Barbara), Simone Di Marino (University of Genova), Philippe Rigollet (Massachusetts Institute of Technology), 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)
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), Philippe Rigollet (Massachusetts Institute of Technology), Santosh Vempala (Georgia Institute of Technology)

Pages