Workshop 1

Keywords: Scientific Watch: Advances on Alternating-Time Temporal Logics

Description: The goal of this workshop is to study articles published in 2026 in major conferences (AAMAS'26, KR'26, CAV'26, etc.) and workshops about logical formalisms dedicated to knowledge reasoning and verification. More specifically, this year, we study papers dedicated to recent advances on alternating-time temporal logics. Though ATL and similar logics dedicated to strategic reasoning have been introduced more than 25 years ago, there is still a strong activity about such logical formalisms. We shall discuss questions related to scientific watch, critical analysis of recently published articles, conference program committees rules, etc. Topics of interest related to alternating-time temporal logics include randomized ATL, hierarchical systems, common knowledge, dynamic models.

Pedagogical objectives: Based on very freshly published articles about alternating-time temporal logics, we discuss general questions about scientific watch. Presentation of articles in 10min and presentation in 30 minuts are expected from the students. Any question related to the relevance of the works, to their originality or their correctness shall be also discussed.

Participants :

Workshop 2

Keywords: Beyond atomic firing.

Description: Atomicity of actions in discrete event systems has traditionally been viewed as a crucial desideratum for executability, and efforts have been made to either enforce it (e.g. by semantical restrictions) or to mitigate its effects (e.g. by ensuring rollback options). However, over the past decades several approaches have embraced non-atomicity, opening the path to new, more relaxed semantics without losing formal correctness criteria and verification algorithms, in the domains of Petri nets, Boolean networks and higher-dimensional automata.

Objectives: Students are encouraged to investigate the literature and present established results and challenges concerning, e.g.

• weak and strong relations of causality, conflict, and concurrency,
• modes of synchronization in concurrent systems,
• passages between discrete and continuous models.

The participants will be expected to present some aspects of the subject, based on (but not necessarily limited to) the literature made available for the course, and submit a brief report of approximately six pages. The list of proposed reading will include

1. Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon. Non-Atomic Transition Firing in Contextual Nets. 36th International Conference on Applications and Theory of Petri Nets (ICATPN), 2015, Brussels, Belgium. ⟨hal-01241129⟩ 2.Julvez et al: On Reachability in Autonomous Continuous Petri Net Systems. 2003. ICATPN

3. Maximilien Gadouleau, Loïc Paulevé, Sara Riva. Bringing memory to Boolean networks: a unifying framework. Journal of Computer and System Sciences, 2025, pp.103729.

4. Philippe Dague. A semantics for Boolean networks consistent with regulatory threshold constraints. Journal of Theoretical Biology, vol. 624, mai 2026

5. Ryszard Janicki, Maciej Koutny, Lukasz Mikulski, Rajiv Ranjan: Towards General Trace Theory. PETRI NETS 2026: 245-266

6. Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski: Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets 2024: 153-174

7. Ryszard Janicki and Maciej Koutny: Operational Semantics, Interval Orders and Sequences of Antichains. Petri Nets 2024: 153-174

Participants :

Workshop 3

Keywords: Mathematical results on the organization or description of society

Description: This workshop consists of three phases.

In the first phase, the students will identify as many academic fields as possible that satisfy the following property:

• It is an academic field from human sciences;
• It relates to society organization or description;
• Part of the field has been formalized mathematically.

To witness/validate the identified fields, the students will also identify major mathematical results in this field. We will also try to figure out if and how these major results have triggered computer science variants or questions. At the end of the first phase, students will give short presentations.

In the second phase, the students will choose which major results and related literature they want to explore, i.e. read the proofs, etc. At the end of the second phase, students will give longer presentations.

In the third phase, the students will gather their findings in one common document.

Participants :

Workshop 1

Objectives : The goal of this workshop is to study and identify interesting features in programming languages and related type systems. Students will have the opportunity to dive into modern programming language research and identify specific topics that are of interest to them. Examples can include studying programming abstractions (e.g. monads, dependent types, higher-order polymorphism), more specialised programming languages (e.g. probabilistic programming languages, quantum programming languages), static analysis tools/frameworks, etc. Students are expected to learn about a specific topic and do a presentation during the class during which they introduce the concept. They should also be able to answer questions about it. During the class we can also discuss other aspects of programming language/logic/type system research and/or discuss a possibility of a group project.

Participants : Le Hir Mazé Sacha, Pustetto Mathis, Coquerel Eva, Rometti Valentin, Saint-Cast Amaury

Workshop 2

Keywords: Automata, modal logic, first- and second-order logic, graphs, theory of computation.

Objectives: This workshop is about recent research on the theory and applications of automata and logic in computer science. We will read five articles that appeared this summer in one of the top conferences in the field, Logic in Computer Science (LICS), on topics that fit with the above keywords.

The students in this workshop will read, summarize, write critical reviews, and give presentations on the articles. Ideally, these activities will lead us to identify open research problems, which may form the basis for a research internship proposal.

A main learning objective of the workshop is to learn how to read an article in limited time, and how to extract the main contributions and ideas from it, without getting blocked by details. In addition, the workshop will increase participants’ understanding of current research in the field, and of how theoretical computer science conferences work in practice.

For more details, please see the webpage: https://www.samvangool.net/wire2026.html

Participants : Signoret Achille, Idiri Badis, Gupta Anusha, Ojeda Martin, Boubker Youssef

Workshop 3

Objectives : AI is significantly changing the way we do research. The main objective of this course is to learn, experiment, and develop an understanding of working with AI in research.

In the class we will discuss AI methods that are used by scientists for research. An emphasis is on aspects in theoretical computer science, however, we will also cover aspects relevant to coding, data science, and experimental work.

Course modalities: at the example of a research question that you choose, you apply techniques that we discuss in class. Each class is partitioned into 3 parts: lecture, work on your research question, discussion.

Deliverable at the end of the course: 3-4-page computer science article

Participants : Vigneron Matthieu, Encrevé Hermin, Moisy Raphaël, Depres Adrien, Raleigh Léonard

Workshop 4

Objectives : Natural Computing lies at the intersection of computer science, biology, and physics. It sees Nature as a source of algorithmic inspiration, and as a computational mechanism itself. Main goals are:

• computing inspired by nature* (neural networks, evolutionary algorithms, swarm intelligence);
• simulating nature on computers* (cellular automata, morphogenesis models);
• computing with nature* (harnessing DNA, quantum states, etc. to process information). All this redefines information processing as an intrinsic feature of the physical universe.

Natural Computing has deep roots tracing back to the origins of computer science and it is a mature discipline that has repeatedly expanded our understanding of computation. Today, as traditional silicon architectures hit physical limits, the field is all the more important. Emerging paradigms like synthetic biology, wetware computing, and quantum processing raise vital technical and philosophical questions:

• What constitutes agency or intelligence in non-silicon media?*
• How do we build a rigorous theory of computation for biological, chaotic systems?*

The workshop will explore these questions as a group. It is meant for students who are curious about this whole area and want to learn more. The main tasks will be finding and reading scientific papers, and sharing them with the rest of the group during presentations.

Participants : Gilbert-Reiche Anaïs, Passelande Ewen, Guirardel Timothée, Cuingnet Lucie-Hélène, Ranvier Elliott, Gret Paul

Workshop 5

Objectives : Modeling and analysis of concurrent systems

Concurrent computing systems are those in which several events may happen in parallel; in fact that includes most modern systems. The verification of such systems is difficult: if one considers all possible interleavings of concurrent events, thus reducing concurrent systems to sequential systems which are well-understood, then the state space explodes; in addition it is not clear a priori which interleavings are possible (think out-of-order executions).

Perhaps surprisingly, geometry and topology may provide some intuition for analysing concurrent systems in their own right, i.e. without reducing them to sequential systems. We will use this as a guiding principle for introducing several models for concurrent systems, exploring the relations between them, and using them for verification.

The course will cover Petri nets, branching automata, higher-dimensional automata, and directed topological spaces. We will see how to translate these formalisms into each other, how to analyse them, and how to use them to model concurrent systems.

2025-2026's webpage

Participants : Vigeolas-Choury Paul, Mungiu Andrei Vladimir, Kress Nicolas, Rooy Lucas, Schwerer Raphaël