Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C5.08

Sessions

Opening and Keynote (18 Jul 09:00-10:00) FMQC
Coffee Break (18 Jul 10:00-10:30) FMQC
Representation of Quantum Information (18 Jul 10:30-12:00) FMQC
Lunch (18 Jul 12:00-13:20) FMQC
Model Counting (18 Jul 13:20-15:00) FMQC
Coffee Break (18 Jul 15:00-15:30) FMQC
Verification and Synthesis (18 Jul 15:30-16:40) FMQC
Discussion (18 Jul 16:40-17:10) FMQC
Talk1 (19 Jul 09:00-09:50) LLM-Solve
Session 1 - Explanations with LLMs (19 Jul 09:50-10:30) LLM-Solve
Coffee Break (19 Jul 10:30-11:00) LLM-Solve
Session 2 - LLMs for Constraint Model Generation (19 Jul 11:00-12:40) LLM-Solve
Lunch (19 Jul 12:40-14:00) LLM-Solve
Talk 2 (19 Jul 14:00-14:50) LLM-Solve
Session 3 - Formal Methods for LLMs (19 Jul 14:50-15:30) LLM-Solve
Coffee Break (19 Jul 15:30-16:00) LLM-Solve
Session 4 - LLMs for Improving Solvers and Models (19 Jul 16:00-17:20) LLM-Solve
Closing remarks (19 Jul 17:20-17:30) LLM-Solve
Coffee Break (24 Jul 10:00-11:00) SD
Lunch (24 Jul 12:00-14:00) SD
Coffee Break (24 Jul 15:30-16:30) SD
Coffee Break (25 Jul 10:00-11:00) SD
Lunch (25 Jul 12:00-14:00) SD
Coffee Break (25 Jul 15:30-16:30) SD