This Autumn school on Probability in Computer Science (PICS) is the 5th school in the series of Foundations of Programming and Software Systems schools, an initiative of ACM SIGLOG, ACM SIGPLAN, the European Association on Theoretical Computer Science, and ETAPS (European Conference on Theory and Practice of Software Systems). PICS is not an ordinary PhD school. It crosses many disciplines, asking speakers from diverse research areas to deliver their favorite stories battle on use of probability in computer science. We have outstanding lecturers from different areas of computing such as security, AI, randomized algorithms, probabilistic databases, and so forth.

An international autumn school “Proof and Computation” will be held from 15th to 21st September 2024 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.

Courses: Thierry Coquand (Gothenburg): Topos theory and constructive mathematics; Klaus Mainzer (Munich): From Proof and Computation to AI - Logical, Mathematical, and Philosophical Foundations; Gerhard Jäger (Bern): Foundations of explicit mathematics; Sara Negri (Genoa): Enriched syntax for enhanced proof theory; Monika Seisenberger (Swansea): Program extraction and verification; Holger Thies (Kyoto): Extracting efficient programs from proofs in analysis; Freek Wiedijk (Nijmegen): The De Bruijn criterion versus the Poincare principle.

The aim of the School is to cover basic and advanced topics in proof theory and related subjects. The School will be aimed at Master’s and PhD students interested in proof theory, as well as more senior researchers from related areas in computer science, mathematics and philosophy. The workshop is aimed at all researchers, from students to professors, working around proof theory and its applications. It will consist of a mixture of invited and contributed talks.

The School and Workshop aim to promote proof theory and its related areas in the broadest sense. Topics include but are not limited to: Applied proof theory, e.g. proof mining; Formalised proofs; Structural proof theory; Linear logic; Computational interpretations of proofs; Computability and proofs, e.g. Reverse Mathematics; Ordinal analysis; Philosophy of proof theory; Proof systems and proof search; Proof complexity; Automated theorem proving.

The Lipari Summer School on Abstract Interpretation will be held on the beautiful island of Lipari, Italy, from September 1st to September 7th, 2024.

This immersive five-day journey, set in the stunning surroundings of Lipari Island, aims to provide MSc, Ph.D. students, postdocs, and young researchers with a rich learning environment dedicated to the exploration of abstract interpretation, its applications, and its recent advances both in industry and research academia.

The list of topics covered during the summer school includes abstract interpretation, static analysis, program analysis, software verification, formal methods, formal methods for artificial intelligence, and use of static analysis in industry.

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

The summer school will take place from Wednesday, 26th to the Saturday, 29th (with some social activities on the afternoon on the 29th to be announced). The summer school will precede IJCAR 2024 taking place on July 1-6, 2024 in Nancy, France.

The Oregon Programming Languages Summer School has been devoted for twenty years to teaching the principles of programming languages to students and professionals. Although the topics vary from year to year, the unifying theme is the importance of fundamental theory to the design and implementation of programming languages, the development of program verification tools, and the application of advanced programming languages to practice. The program takes place over two weeks, with ample time for group and private study. The summer school attracts participants from around the world, and is often able to subsidize the participation of qualified attendees with limited resources. More than a thousand participants have attended OPLSS since its inception in 2002. The summer school is sponsored by the National Science Foundation, and by generous grants from numerous companies over the years.

Since its inception, ergonomics has helped make technological advancement and innovation more accessible to humankind. Recent years have seen a real paradigm shift in the field of cognitive ergonomics, which studies the interaction between the human cognitive system and information processing tools. As technology develops, the creation of virtual and immersive environments presents fresh difficulties for anybody wishing to research human-machine interaction in these settings. The new paradigm shift relates to the study of how the human emotional system interacts with virtual spaces, which is known as emotional ergonomics of virtual environments. In other words, ergonomics as a design for the body has given way to cognitive ergonomics, a design for thinking, and then to emotional ergonomics, a design for people’s inner states. The Summer School on Emotional Ergonomic of Immersive Virtual Environment (EEIVE) aims at deepening theoretical and methodological domains linked to human-computer interaction with a specific focus on using multisensory approaches for researching the human experience. It will include lectures and group-work sessions led by scholars of national and international standing.

The 16th European summer school MOVEP will take place in Rennes (France), from 27th to 31st May 2024. The event is organized by IRISA and the Inria Center of Université de Rennes.

MOVEP is a 5-day summer school about modelling and verifying parallel processes. The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The school seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP'24 include model-checking and synthesis, software verification, real-time systems, stochastic systems, artificial intelligence, etc.

The Midlands Graduate School (MGS) provides an intensive programme of lectures on the Mathematical Foundations of Computing Science. It has run annually since 1999 and has been held at either the University of Birmingham, the University of Leicester, the University of Nottingham, or at the University of Sheffield. The lectures are aimed at postgraduate/PhD students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations, and all such applicants are warmly welcomed. We very much encourage students from abroad to attend, participants from industry, and many have done so in the past.

In addition to introducing students to timely research topics, the school is meant to promote acquaintance and collaboration among young European researchers. The three courses that will be offered this year are: Graph neural networks;Program analysis: from proving correctness to proving incorrectness; Large Language Models.