Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C4.07

Sessions

Session 1 (18 Jul 09:00-10:30) LSFA
Coffee Break (18 Jul 10:30-11:00) LSFA
Session 2 (18 Jul 11:00-12:30) LSFA
Lunch (18 Jul 12:30-14:00) LSFA
Session 3 (18 Jul 14:00-16:00) LSFA
Coffee Break (18 Jul 16:00-16:30) LSFA
Session 4 (18 Jul 16:30-17:30) LSFA
Session 5 (19 Jul 09:00-10:30) LSFA
Coffee Break (19 Jul 10:30-11:00) LSFA
Session 6 (19 Jul 11:00-12:30) LSFA
Lunch (19 Jul 12:30-14:00) LSFA
Session 7 (19 Jul 14:00-16:00) LSFA
Coffee Break (19 Jul 16:00-16:30) LSFA
Session 8 (19 Jul 16:30-18:00) LSFA
opening (24 Jul 09:00-09:15) ACV
24am1 (24 Jul 09:15-10:30) ACV
Coffee Break (24 Jul 10:30-11:00) ACV
24am2 (24 Jul 11:00-12:00) ACV
Lunch (24 Jul 12:00-14:00) ACV
24pm1 (24 Jul 14:00-15:30) ACV
Coffee Break (24 Jul 15:30-16:00) ACV
24pm2 (24 Jul 16:00-18:00) ACV
25am1-1 (25 Jul 09:00-09:45) ACV
(mini-break for changing rooms) (25 Jul 09:45-10:00) ACV
25am1-2 (25 Jul 10:00-10:30) ACV
Coffee Break (25 Jul 10:30-11:00) ACV
25am2 (25 Jul 11:00-12:00) ACV
Lunch (25 Jul 12:00-14:00) ACV
25pm1 (25 Jul 14:00-15:30) ACV
Coffee Break (25 Jul 15:30-16:00) ACV
25pm2 (25 Jul 16:00-17:45) ACV