Program

Time	Title / Session	Description	Instructor
9:30 – 10:00	Computational Logic: What and Why?	Welcome to CLAWS. Overview of Computational Logic, its importance, and applications in CS.	Carlos Areces
10:00 – 11:00	Fundamental Notions in Propositional Logic	Soundness and Completeness of Classical Propositional Logic.	Valentin Cassano
11:00 – 11:15	Coffee Break
11:15 – 12:15	A Modal Logic Toolkit	Syntax and Semantics of Modal Logics. Expressive Power, Bisimulations.	Carlos Areces
12:15 – 13:45	Lunch
13:45 – 14:45	Tableaux Methods for Modal Logics	Optimal Algorithms for Satisfiability Checking.	Guillaume Hoffmann
14:45 – 16:15	Logics and the Limits of Computation	Decidability and Complexity of Problems in Logic.	Santiago Figueira
16:15 – 16:30	Coffee Break
16:30 – 18:00	Automated Software Analysis using SAT Solving	SAT based tools and techniques for verifying software correctness.	Nazareno Aguirre and Diego Garbervetsky
18:00 – 18:30	Recap & Q&A	Summary of Day 1.	All Instructors

Time	Session	Description	Instructor
19:00 – 20:15	Modal Model Updates	Introduction to logics for Dynamic Systems.	Carlos Areces
20:15 – 21:00	Q&A / Discussion	Wrap-up of the introductory part of the school.	All Instructors

Time	Title	Description	Instructor
09:30 – 9:45	Official welcome to CLAWS 2025	Words for the authorities.
09:45 – 10:45	Graph Games and Logic Design	Graph games and the Design of Matching Logical Systems.	Johan van Benthem and Fenrong Liu
10:45 – 11:00	Coffee Break
11:00 – 12:00	Graph Games and Logic Design	Graph games and the Design of Matching Logical Systems.	Johan van Benthem and Fenrong Liu
12:00 – 13:30	Lunch
14:00 – 15:30	Logics for Games with Graph Updates	Logics for Games with Graph Updates.	Dazhu Li
15:30 – 16:00	Closing	Recap & Q&A. Summary of the School.	All Instructors