Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C5.07

Sessions

Ugo Dal Lago (Invited Tutorial, joint with ITRS) (18 Jul 09:00-10:30) TLLA
Coffee Break (18 Jul 10:30-11:00) TLLA
S1.2 (18 Jul 11:00-12:40) TLLA
Lunch (18 Jul 12:40-14:00) TLLA
Brigitte Pientka (Invited) (18 Jul 14:00-15:00) TLLA
S4.1 (18 Jul 15:00-15:25) TLLA
Coffee Break (18 Jul 15:25-16:00) TLLA
S4 (18 Jul 16:00-17:15) TLLA
Hugo Paquet (Invited, joint with Galop) (19 Jul 09:00-10:00) TLLA
Coffee Break (19 Jul 10:00-10:30) TLLA
S2.1 (19 Jul 10:30-11:20) TLLA
S2 (19 Jul 11:25-12:40) TLLA
Lunch (19 Jul 12:40-14:00) TLLA
Lison Blondeau-Patissier (Invited) (19 Jul 14:00-15:00) TLLA
S3.1 (19 Jul 15:00-15:25) TLLA
Coffee Break (19 Jul 15:25-16:00) TLLA
S3.2 (19 Jul 16:00-17:15) TLLA
Keynote 1 (24 Jul 09:00-10:00) Isabelle
Papers 1a (24 Jul 10:00-10:30) Isabelle
Coffee Break (24 Jul 10:30-11:00) Isabelle
Papers 1b (24 Jul 11:00-12:20) Isabelle
Lunch (24 Jul 12:20-14:00) Isabelle
Tutorial 1 (24 Jul 14:00-15:00) Isabelle
Papers 1c (24 Jul 15:00-15:30) Isabelle
Coffee Break (24 Jul 15:30-16:00) Isabelle
Papers 1d (24 Jul 16:00-17:00) Isabelle
Panel Discussion (24 Jul 17:00-18:00) Isabelle
Keynote 2 (25 Jul 09:00-10:00) Isabelle
Papers 2a (25 Jul 10:00-10:30) Isabelle
Coffee Break (25 Jul 10:30-11:00) Isabelle
Papers 2b (25 Jul 11:00-12:20) Isabelle
Lunch (25 Jul 12:20-14:00) Isabelle
Tutorial 2 (25 Jul 14:00-15:30) Isabelle
Coffee Break (25 Jul 15:30-16:00) Isabelle
Papers 2c (25 Jul 16:00-17:15) Isabelle
Tutorial 3 (25 Jul 17:15-18:00) Isabelle