Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C3.02

Sessions

The ASP Language (18 Jul 09:00-10:00) ELASP
Coffee Break (18 Jul 10:00-10:30) ELASP
Solving Problems with ASP (18 Jul 10:30-11:00) ELASP
Beyond NP: ASP with Quantifiers (18 Jul 11:00-12:00) ELASP
Combing ASP and LLMs (18 Jul 12:00-12:30) ELASP
Lunch (18 Jul 12:30-14:30) ELASP
Coffee Break (18 Jul 15:30-16:30) ELASP
Opening (19 Jul 09:00-09:10) ModRef
Session 1: Constraint Modelling and Propagation (19 Jul 09:10-10:30) ModRef
Coffee Break (19 Jul 10:30-11:00) ModRef
Session 2: Puzzles (19 Jul 11:00-11:40) ModRef
Invited Talk (19 Jul 11:40-12:20) ModRef
Session 3: Automated Generation and Reformulation (19 Jul 13:50-14:30) ModRef
TBC (19 Jul 14:30-15:20) ModRef
Coffee Break (19 Jul 15:20-15:50) ModRef
Session 4: Applications (19 Jul 15:50-17:00) ModRef
Invited talk (24 Jul 09:00-10:00) Soft
Coffee Break (24 Jul 10:00-10:30) Soft
Session 1 (24 Jul 10:30-12:00) Soft
Lunch (24 Jul 12:00-14:00) Soft
Session 2 (24 Jul 14:00-15:30) Soft
Coffee Break (24 Jul 15:30-16:00) Soft
Session 3 (24 Jul 16:00-17:30) Soft
Session 1 (25 Jul 09:00-10:30) AR4Space
Coffee Break (25 Jul 10:30-11:00) AR4Space
Session 2 (25 Jul 11:00-12:30) AR4Space
Lunch (25 Jul 12:30-14:00) AR4Space
Session 3 (25 Jul 14:00-15:30) AR4Space
Coffee Break (25 Jul 15:30-16:00) AR4Space
Session 4 (25 Jul 16:00-17:00) AR4Space