Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C1.01

Sessions

Session 1 (18 Jul 09:00-10:00) IFIP16
Coffee Break (18 Jul 10:00-10:30) IFIP16
Session 2 (18 Jul 10:30-12:15) IFIP16
Lunch (18 Jul 12:15-13:45) IFIP16
Session 3 (18 Jul 13:45-15:15) IFIP16
Coffee Break (18 Jul 15:15-15:45) IFIP16
Session 4 (18 Jul 15:45-17:15) IFIP16
Papers 1 (19 Jul 09:00-10:30) WHOOPS
Coffee Break (19 Jul 10:30-11:00) WHOOPS
Invited Talk: Stefan Szeider (19 Jul 11:00-12:00) WHOOPS
Lunch (19 Jul 12:00-13:30) WHOOPS
Invited Talk: Haniel Barbosa (19 Jul 13:30-14:30) WHOOPS
Papers 2 (19 Jul 14:30-15:30) WHOOPS
Coffee Break (19 Jul 15:30-16:00) WHOOPS
Papers 3 (19 Jul 16:00-18:00) WHOOPS
Welcome & Remembering Joseph Y. Halpern (Sander Beckers, Hana Chockler, Moshe Vardi) (24 Jul 09:00-09:30) CREST
Invited Talk by Sander Beckers (24 Jul 09:30-10:30) CREST
Coffee Break (24 Jul 10:30-11:00) CREST
Contributed Presentations 1 (24 Jul 11:00-12:30) CREST
Lunch (24 Jul 12:30-14:00) CREST
Invited Talk by Christel Baier (24 Jul 14:00-15:00) CREST
Contributed Presentations 2 (24 Jul 15:00-15:18) CREST
Open Discussion (24 Jul 15:18-15:30) CREST
Coffee Break (24 Jul 15:30-16:00) CREST
Contributed Presentations 3 (24 Jul 16:00-17:30) CREST