December 15-19, 2019
IIAS @ Hebrew University of Jerusalem, Israel
Registration deadline: August 23, 2019
The school will introduce TCS and math students and faculty, who are interested in the theoretical aspects of quantum computation, to the beautiful and fascinating mathematical and computational open questions in the area, starting from scratch. No prior knowledge on quantum will be assumed. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.
The school will consist of several mini-courses, each of two or three hours, about central topics in the area. These include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.
Main speakers: Adam Bouland, Sergey Bravyi, Matthias Christandl, Sandy Irani, Avishay Tal, Thomas Vidick. Additional speakers: Dorit Aharonov, Zvika Brakerski, Or Sattath. (Lists are subject to changes and additions.)
October 3-11, 2019
Registration deadline: October 3, 2019
The school will be organized by the International Black Sea University with the support of Shota Rustaveli National Science Foundation of Georgia (SRNSFG). The intended audience of the autumn school includes BSc, MSc and PhD students, researchers as well as industry professionals from the fields of computer science and mathematics.
August 12-15, 2019
UC San Diego
Registration deadline: July 31, 2019
Robust statistics and related topics offer ways to stress test estimators to the assumptions they are making. It offers insights into what makes some estimators behave well in the face of model misspecification, while others do not. In this summer school, we will revisit classic topics in robust statistics from an algorithmic perspective. We will cover recent progress on provably robust and computationally efficient parameter estimation in high-dimensions. We will compare this to other popular models, like agnostic learning and outlier detection. With the foundations in hand, we will explore modern topics like federated learning, semi-random models and connections to decision theory where being robust is formulated in alternative ways. We hope to have time for discussion about open questions like adversarial examples in deep learning, and invite the audience to help us muse about the right definitions to adopt in the first place.
September 10-15, 2019
The Summer School on Foundations of Programming and Software Systems (FoPSS) was jointly created by EATCS, ETAPS, ACM SIGLOG and ACM SIGPLAN. It was first organised in 2017. The goal is to introduce the participants to various aspects of computation theory and programming languages. The school, spread over a single week, is aimed at students and researchers in Theoretical Computer Science, broadly construed. Each year the school is focused on a particular, actively researched topic.
Our focus in 2019 are Nominal Techniques in Computer Science. For the introduction and cornerstone contributions to this area Murdoch J. Gabbay and Andrew M. Pitts received the 2019 Alonzo Church Award. Both of them are among the lecturers of FoPSS 2019.
July 29 – August 2, 2019
Registration deadline: June 16, 2019
The goal of this summer school is to put forward the interplay between the fields of Enumerative Combinatorics, Analytic
Combinatorics, and Algorithmics. This is a very active research area, which, aside from the three fields fueling each other
mutually, receives as well constant impetus from outside, by its interaction with algebra, probability, statistical physics, and computer science.
August 19-23, 2019
Registration deadline: July 19, 2019
ADFOCS is an international summer school held annually at the Max Planck Institute for Informatics (MPII). It is organized as part of the activities of the MPII, in particular the
International Max-Planck Research School (IMPRS), MPII’s graduate program. The purpose of this summer school is to introduce young researchers to topics that are the focus of current research in theoretical computer science. We bring together three leading researchers in the field with international participants at the graduate level and above. The focus of ADFOCS 2019 is
“Games, Brains, and Distributed Computing.”
September 8-11, 2019
Swansea, Wales, UK
Registration deadline: July 1, 2019
The aim of the Proof Society Summer School is to cover basic and advanced topics in proof theory. The focus of the second edition will be on philosophy of proof theory, proof theory of impredicative theories, structural proof theory, proof mining, reverse mathematics, type theory and bounded arithmetic.
The intended audience for the Summer School is advanced master students, PhD students postdocs and experienced researchers new to the field in mathematics, computer science and philosophy.
July 21-27, 2019
Registration deadline: April 30, 2019
The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.
June 25-28, 2019
Registration deadline: April 30, 2019
The purpose of the Summer School is to bring together PhD students, postdoctoral researchers, and researchers interested in mathematical and computational aspects of preference modelling, decision making and game theory. We expect participants with different backgrounds (Operations Research, Artificial Intelligence, Economics).
During 4 days, the instructional program will involve two types of activities: lectures given by prominent scientists and workshops during which participants to the school will have the opportunity to present their research and exchange ideas.
June 24 – July 5, 2019
Akademgorodok, Novosibirsk, Russia
Registration deadline: May 12, 2019
The school will take place from 24 -29 June, 2019 at Novosibirsk State University and targets student audience from Russia and neighbor countries.
The school consists of two parallel tracks:
The Theory of Programming + Methods of Software Verification & Testing Tools for Knowledge & Data Processing