Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

One03

Sessions

Coffee Break (20 Jul 10:00-10:30) FSCD
Lambda Calculus (20 Jul 10:30-12:00) FSCD
Lunch (20 Jul 12:00-14:00) FSCD
Rewriting (20 Jul 14:00-15:30) FSCD
Coffee Break (20 Jul 15:30-16:00) FSCD
Higher-Order Logic (20 Jul 16:00-17:00) FSCD
Invited Talk: Laura Kovács (21 Jul 09:00-10:00) FSCD
Coffee Break (21 Jul 10:00-10:30) FSCD
Complexity Analysis (21 Jul 10:30-12:00) FSCD
Lunch (21 Jul 12:00-14:00) FSCD
Proof Theory (21 Jul 14:00-15:30) FSCD
Coffee Break (21 Jul 15:30-16:00) FSCD
Quantitative Models (21 Jul 16:00-17:30) FSCD
Coffee Break (22 Jul 10:00-10:30) FSCD
Substructural Logics (22 Jul 10:30-12:00) FSCD
Lunch (22 Jul 12:00-14:00) FSCD
Concurrency (22 Jul 14:00-15:30) FSCD
Coffee Break (22 Jul 15:30-16:00) FSCD
FSCD Business Meeting (22 Jul 16:00-17:00) FSCD
Invited Talk: Andrej Bauer (23 Jul 09:00-10:00) FSCD
Coffee Break (23 Jul 10:00-10:30) FSCD
Proof Assistants (23 Jul 10:30-12:00) FSCD
Lunch (23 Jul 12:00-14:00) FSCD
Quantum Computation (23 Jul 14:00-15:30) FSCD
Coffee Break (23 Jul 15:30-16:00) FSCD
Categorical Models (23 Jul 16:00-17:30) FSCD
End of Conference (23 Jul 17:30-18:00) FSCD