The Autumn school on Machine Learning

October 3-11, 2019
Tbilisi, Georgia
https://cte.ibsu.edu.ge/autumn/

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.

Robustness in Learning and Statistics: Past and Future

August 12-15, 2019
UC San Diego
http://cseweb.ucsd.edu/~slovett/workshops/robust-statistics-2019/

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.

3rd School on Foundations of Programming and Software Systems

September 10-15, 2019
Warsaw, Poland
https://www.mimuw.edu.pl/~fopss19/

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.

5th Algorithmic and Enumerative Combinatorics Summer School 2019

July 29 – August 2, 2019
Linz, Austria
https://www3.risc.jku.at/conferences/aec2019/local.html

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.

ADFOCS 2019 – Games, Brains, and Distributed Computing

August 19-23, 2019
Saarbr├╝cken, Germany
http://resources.mpi-inf.mpg.de/conferences/adfocs/

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.”

2nd Summer School on Proof Theory

September 8-11, 2019
Swansea, Wales, UK
http://www.proofsociety.org/summer-school-2019/

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.

Hilbert-Bernays Summer School on Logic and Computation 2019

July 21-27, 2019
T├╝bingen, Germany
https://uni-tuebingen.de/en/faculties/faculty-of-science/departments/interfaculty-facilities/philosophy-and-history-of-science/hilbert-bernays-summer-school-on-logic-and-computation-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.

Preferences, decisions and games

June 25-28, 2019
Paris, France
https://decisionschool.lip6.fr/

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.

Computer Science Summer in Russia

June 24 – July 5, 2019
Akademgorodok, Novosibirsk, Russia
http://cssr.nsu.ru/school/

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

The SAT/SMT/AR Summer School

July 3-6, 2019
Lisbon, Portugal
https://reason.di.fc.ul.pt/ssa-school-2019/

Registration deadline: May 31, 2019

Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2015 as SAT/SMT Summer Schools and added AR in 2016.