Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C5.01

Sessions

Invited Talk 1 (18 Jul 09:00-10:00) MSFP
Coffee Break (18 Jul 10:00-10:45) MSFP
Contributed Talks 1 (18 Jul 10:45-12:00) MSFP
Lunch (18 Jul 12:00-13:15) MSFP
Invited Talk 2 (18 Jul 13:15-14:15) MSFP
Contributed Talks 2 (18 Jul 14:15-15:30) MSFP
Coffee Break (18 Jul 15:30-16:10) MSFP
Contributed Talks 3 (18 Jul 16:10-17:00) MSFP
Informat meet & greet (19 Jul 09:00-09:30) MW1
Kickoff (19 Jul 09:30-09:40) MW1
Ichiro Hasuo (19 Jul 09:40-10:10) MW1
Ice-breakers (19 Jul 10:10-10:30) MW1
Coffee Break (19 Jul 10:30-11:00) MW1
Jakub Gajarský (19 Jul 11:00-11:30) MW1
Anela Lolić (19 Jul 11:30-12:00) MW1
Tommie Meyer (19 Jul 12:00-12:30) MW1
Lunch (19 Jul 12:30-14:00) MW1
Sandra Kiefer (19 Jul 14:00-14:30) MW1
PhD Students Panel (19 Jul 14:30-15:30) MW1
Coffee Break (19 Jul 15:30-16:00) MW1
Nada Amin (19 Jul 16:00-16:30) MW1
Researchers Panel (19 Jul 16:30-17:30) MW1
Session 1 (24 Jul 09:00-10:30) CI-BD-SOQE
Coffee Break (24 Jul 10:30-11:00) CI-BD-SOQE
Session 2 (24 Jul 11:00-12:30) CI-BD-SOQE
Lunch (24 Jul 12:30-14:00) CI-BD-SOQE
Session 3 (24 Jul 14:00-15:30) CI-BD-SOQE
Coffee Break (24 Jul 15:30-16:00) CI-BD-SOQE
Session 4 (24 Jul 16:00-17:30) CI-BD-SOQE
Book Launch (24 Jul 17:30-18:00) CI-BD-SOQE
Session 5 (25 Jul 09:00-10:30) CI-BD-SOQE
Coffee Break (25 Jul 10:30-11:00) CI-BD-SOQE
Session 6 (25 Jul 11:00-12:30) CI-BD-SOQE
Lunch (25 Jul 12:30-14:00) CI-BD-SOQE
Session 7 (25 Jul 14:00-15:30) CI-BD-SOQE
Coffee Break (25 Jul 15:30-16:00) CI-BD-SOQE
Session 8 (25 Jul 16:00-17:30) CI-BD-SOQE