Tensors: Algebra-Computation-Applications

June 3-14, 2019
U. Colorado Boulder and Colorado State U

The Department of Mathematics at Colorado State University and the Department of Computer Science at the University of Colorado, Boulder invite interested participants to attend a workshop and conference on Tensors: Algebra, Computation, and Applications (TACA).

The central theme of tensors is meant to bring together several complementary research areas––pure and applied mathematics, quantum physics, big data, scientific computing, and theoretical computer science––whose interactions could lead to breakthroughs.

The workshop will consist of:
Mini-courses + group problem sessions (June 4—8, U. Colorado Boulder Campus)
Presentations of contemporary research and software demonstrations (June 9-14, Colorado State University “Pingree Park” Mountain Campus).

UK-Russia Workshop on AI for Software Engineering

September 9-12, 2019
York, UK

Registration deadline: May 26, 2019

This workshop will bring together AI and SE researchers from the UK and Russia (and potentially other countries) to discuss applications of AI to SE, specifically ML and NLP, and develop future directions of research in this emerging area. Application examples include program analysis (e.g. extracting knowledge from documentation, code reuse), prediction (e.g. finding defects, predicting development time and cost), synthesis and generation (e.g. smart code completion), and transformation (e.g. software remodularization, automated bug fixes).

To date, there are first successes in AI for SE, but much more can be achieved. Progress is slowed by the lack of researchers with expertise in both areas. Bringing together AI and SE researchers will be instrumental in moving this research forward. The four-day workshop will feature tutorials and keynote lectures, but most of the time will be dedicated to networking and creation of new collaborative projects.

2nd Summer School on Proof Theory

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.

Hilbert-Bernays Summer School on Logic and Computation 2019

July 21-27, 2019
Tübingen, Germany

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

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

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

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.