Homotopy Type Theory and Univalent Mathematics are emerging fields of mathematics that study a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky’s program of Univalent Foundations, a new approach to foundations of mathematics, based on ideas from homotopy theory, such as the Univalence Principle.

The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is freely available for everyone, as an open-source project, from the web. The School will give many young researchers an opportunity to familiarize themselves with the UniMath library and become contributors.

Participants will receive an introduction to Univalent Foundations and to Mathematics in those foundations, by leading experts in the field. In the accompanying problem sessions, participants will formalize pieces of Univalent Mathematics in the UniMath library.

The Scottish Programming Languages and Verification Summer School is a collaborative effort between the Universities of Edinburgh, Glasgow, Heriot-Watt, Strathclyde and St Andrews. This summer school provides core and advanced classes that cover foundational as well as state of the art knowledge on the underlying principles needed to use or design new languages and verifying program correctness.

This school aims to:

• Facilitate rapid knowledge exchange, in addition to providing essential research training and networking for postgraduate students.
• Give postgraduate students the opportunity to network with fellow students in the field as well as many established researchers.
• Provide essential postgraduate training in theoretical underpinnings of computer science and in programming languages

Neurosymbolic programming is an exciting new area at the intersection of Program Synthesis and Machine Learning that aims to learn models that incorporate program-like structure. For this first summer school in Neurosymbolic Programming we aim to bring together students and researchers from different backgrounds who are interested in learning about the state of the art, applications and open problems in the field.

The summer school will include lectures and hands-on tutorials from leading researchers in the area.

MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the eleventh in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Italian Computer Science PhD granting institutions under the auspices of GRIN, organizes an annual school offering three graduate-level courses aimed at PhD students in Computer Science. In addition to introducing students to timely research topics, the school is meant to promote acquaintance and collaboration among young European researchers.

We are living the revolution of AI. AI offers enormous opportunities, but it comes with a cost. AI-driven systems are increasingly being used in all aspects of society to assist, or even replace human decision making. Can we trust such systems? Every day, we use search, recommendations, personal assistants to help in all sorts of decisions from where to dine and what movie to watch, to more fundamental ones, such as our stance on political issues and worldwide events. AI is widely being used by public and private bodies to assist decisions in courts, in college admissions, and job recruitment. Issues of biased treatment, exclusion, and unfairness are raised, with concerns exaggerated by various cases catching the public attention.

The school will include tutorials, invited talks, and a panel. Students will be actively involved through assignments, discussions, and participation in working groups.

The software industry is a fast-growing area of the global economy today, and software forms an essential part of the information systems where their intelligence is concentrated.

Demand for leading technical experts, qualified software developers and architects, as well as quality assurance managers from the IT and communication industry increases due to opening IT technology parks, rapid growth in offshore and outsourced programming, digitalization of public services, and the needs of private businesses.

This School aims at spreading and sharing knowledge of state-of-the-art software engineering tools and techniques. Among the speakers of the School are leading programmers and engineers from academia and industry. Participation is free, you just need to register. The event is open to everyone: undergraduate and postgraduate students, young specialists, researchers, etc.

The GDR RSD and ACM SIGOPS France are happy to organise the 6th edition of the winter school on distributed systems and networks that will take place the 24-28th January 2022 in the resort Sept Laux, Le Pleynet (near Grenoble). This school, which primarily targets PhD students will feature 7 thematic sessionsi on the following topics: Performances; Machine Learning/IA; Networks; Cloud Computing; Security; System; Middleware. PhD students are expected to give a 15min presentation in the session of their choice.

The role of Linear Logic as an underlying structure of logic and computation is widely acknowledged. As such, it is not only a research subject in itself, but also a conceptual framework, offering an original and fruitful viewpoint on the objects of logic and computer science.

This school will offer an introduction to the main concepts and essential results in Linear Logic, based on an undergoing project to produce a reference textbook, within the International Research Network on Linear Logic. The lectures will be given by some of the foremost experts of the subject, involved in that collaborative effort. The school will moreover include a lab work session, using recently developed software to construct and manipulate Linear Logic proofs.

In addition to the lectures, the week will be concluded by a series of tutorial talks on a selection of advanced subjects, reflecting current research directions involving Linear Logic.