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.

Summer School on Randomness and Learning in Non-Linear Algebra

July 1-4, 2019
Leipzig, Germany
https://www.mis.mpg.de/calendar/conferences/2019/ranlearn2019.html

This summer school aims at bringing together researchers working on probabilistic and statistical methods and questions in nonlinear algebra. Keynote speakers will be:

Peter Bürgisser (Technische Universität Berlin)
Daniel Erman (University of Wisconsin-Madison)
Antonio Lerario (Scuola Internazionale Superiore di Studi Avanzati)

Summer School on Artificial Intelligence

July 4-7, 2019
Moscow, Russia
http://school-raai.org/

RAAI Summer School is a 4-day school with tutorials and practical workshops on:

Machine Learning and Data Analysis
Simulation of Human Cognitive Functions
Natural Language Processing
Multi-Agent Systems and Coalitions

Together with the school, there will be a hackathon in reinforcement learning using computer vision tasks.