Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C1.04

Sessions

Opening (18 Jul 08:45-09:00) OVERLAY
Planning (18 Jul 09:00-10:00) OVERLAY
Coffee Break (18 Jul 10:00-10:30) OVERLAY
Multi-agent systems (18 Jul 10:30-12:00) OVERLAY
Lunch (18 Jul 12:00-14:00) OVERLAY
Temporal, Modal and Logical Foundations (18 Jul 14:00-15:30) OVERLAY
Coffee Break (18 Jul 15:30-16:00) OVERLAY
Temporal, Modal and Logical Foundations 2 (18 Jul 16:00-17:00) OVERLAY
Learning (19 Jul 09:00-10:00) OVERLAY
Coffee Break (19 Jul 10:00-10:30) OVERLAY
Verification and Model Checking (19 Jul 10:30-12:00) OVERLAY
Lunch (19 Jul 12:00-14:00) OVERLAY
Invited Talk (19 Jul 14:00-15:00) OVERLAY
Coffee Break (19 Jul 15:00-15:30) OVERLAY
Explainability (19 Jul 15:30-16:30) OVERLAY
Closing remarks (19 Jul 16:30-16:45) OVERLAY
Welcome (24 Jul 08:45-09:00) SMT
Invited Talk + Encodings (24 Jul 09:00-10:30) SMT
Coffee Break (24 Jul 10:00-11:00) SMT
MCSat & Nonlinear Arithmetic (24 Jul 11:00-12:30) SMT
Lunch (24 Jul 12:00-14:00) SMT
Decision Procedures & Automation (24 Jul 14:00-15:30) SMT
Coffee Break (24 Jul 15:30-16:30) SMT
Learning, LLMs & Counting (24 Jul 16:00-17:30) SMT
Invited Talk + Parallelism (25 Jul 09:00-10:30) SMT
Coffee Break (25 Jul 10:00-11:00) SMT
Arrays, Datatypes & Relational Reasoning (25 Jul 11:00-12:30) SMT
Lunch (25 Jul 12:00-14:00) SMT
Coffee Break (25 Jul 15:30-16:30) SMT