Fry Suite

This is the main conference room, on the ground floor, where all talks of FSCD 2025 (but not the workshops) will take place.

Session (Jul 15 08:55-09:00) Welcome
Session 2 (Jul 15 09:00-10:00) Invited Talk: Mariangiola Dezani-Ciancaglini - Unsolvable Terms in Filter Models
Session 3 (Jul 15 10:30-12:30) Unification, Matching, Generalisation
Session 4 (Jul 15 14:00-15:30) Types
Session 5 (Jul 15 16:00-17:00) Concurrency Models
Session 6 (Jul 16 09:00-10:00) Invited Talk: Jose Meseguer - Symbolic Computation and Verification Methods in Maude
Session 7 (Jul 16 10:30-12:30) Lambda Calculus
Session 8 (Jul 16 14:00-15:30) Rewriting
Session 9 (Jul 16 16:00-17:00) Complexity
Session 10 (Jul 17 09:00-10:00) Invited Talk: Liron Cohen - Rebuilding Constructivism with Effects
Session 11 (Jul 17 10:30-12:30) Program Analysis
Session 12 (Jul 17 14:00-15:00) Business Meeting
Session 13 (Jul 18 09:00-10:00) Invited Talk: Ekaterina Komendantskaya - Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
Session 14 (Jul 18 10:30-12:30) Linear Logic
Session 15 (Jul 18 14:00-15:30) Algebraic and Categorical Models
Session 16 (Jul 18 16:00-17:00) Logic