Federated Logic Conference 2026

B2.01

Sessions

Opening and Invited Talk (18 Jul 09:00-10:10) SKILLED-LLMs
Coffee Break (18 Jul 10:10-10:35) SKILLED-LLMs
Session 1: Structured Knowledge Meets Language Models (18 Jul 10:35-12:35) SKILLED-LLMs
Lunch (18 Jul 12:35-14:00) SKILLED-LLMs
Session 2: Neuro-Symbolic Integration: Logic, Belief, and Agent Design (18 Jul 14:00-16:00) SKILLED-LLMs
Coffee Break (18 Jul 16:00-16:30) SKILLED-LLMs
Session 3: Symbolic Constraints in Learning and Inference (18 Jul 16:30-17:50) SKILLED-LLMs
Closing (18 Jul 17:50-18:00) SKILLED-LLMs
Giuseppe Perelli 'Mechanism Redesign: Repairing Techniques for Synthesis and Rational Synthesis' (19 Jul 09:00-10:00) LAMAS-SR
Session I (19 Jul 10:00-11:00) LAMAS-SR
Coffee Break I (19 Jul 11:00-11:30) LAMAS-SR
Session II (19 Jul 11:30-12:45) LAMAS-SR
Lunch (19 Jul 12:45-14:00) LAMAS-SR
Stéphane Demri 'Strategic Reasoning Under Limited Resource Production' (19 Jul 14:00-15:00) LAMAS-SR
Coffee Break II (19 Jul 15:00-15:15) LAMAS-SR
Session III (19 Jul 15:15-16:30) LAMAS-SR
Coffee Break III (19 Jul 16:30-17:00) LAMAS-SR
Session IV (19 Jul 17:00-18:00) LAMAS-SR
Opening session (24 Jul 08:45-09:00) CMSB
Keynote: Anna Niarakis (24 Jul 09:00-10:00) CMSB
Coffee Break (24 Jul 10:00-10:30) CMSB
Boolean and Qualitative Networks (24 Jul 10:30-12:30) CMSB
Lunch (24 Jul 12:30-14:00) CMSB
Rule-Based and Stochastic Modelsule-Based and Stochastic Models (24 Jul 14:00-16:00) CMSB
Coffee Break (24 Jul 16:00-16:30) CMSB
Poster Session (24 Jul 16:30-18:30) CMSB
Keynote: Miguel Rocha (25 Jul 09:00-10:00) CMSB
Coffee Break (25 Jul 10:00-10:30) CMSB
Constraint-Based Modeling and Molecular Computation (25 Jul 10:30-12:30) CMSB
Lunch (25 Jul 12:30-14:00) CMSB
Causal Inference and Multi-Omics Integration 1 (25 Jul 14:00-15:30) CMSB
Coffee Break (25 Jul 15:30-16:00) CMSB
Causal Inference and Multi-Omics Integration 2 (25 Jul 16:00-17:00) CMSB
Closing session (25 Jul 17:00-17:30) CMSB