Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C4.06

Sessions

Saturday morning 1 (18 Jul 09:00-10:40) LCC
Coffee Break (18 Jul 10:40-11:10) LCC
Saturday morning 2 (18 Jul 11:10-12:30) LCC
Lunch (18 Jul 12:30-14:00) LCC
Saturday afternoon 1 (18 Jul 14:00-15:20) LCC
Coffee Break (18 Jul 15:20-15:50) LCC
Saturday afternoon 2 (18 Jul 15:50-17:10) LCC
Sunday morning 1 (19 Jul 09:00-10:40) LCC
Coffee Break (19 Jul 10:40-11:10) LCC
Sunday morning 2 (19 Jul 11:10-12:30) LCC
Lunch (19 Jul 12:30-14:00) LCC
Sunday afternoon 1 (19 Jul 14:00-15:20) LCC
Coffee Break (19 Jul 15:20-15:50) LCC
Sunday afternoon 2 (19 Jul 15:50-17:00) LCC
Welcome (24 Jul 09:15-09:30) PCCR
George Osipov (24 Jul 09:30-10:30) PCCR
Coffee Break (24 Jul 10:30-11:00) PCCR
Contributed Talks (24 Jul 11:00-12:30) PCCR
Lunch (24 Jul 12:30-14:00) PCCR
Roohani Sharma (24 Jul 14:00-15:00) PCCR
Sebastian Siebertz (24 Jul 15:00-16:00) PCCR
Coffee Break (24 Jul 16:00-16:30) PCCR
Johannes Fichte (24 Jul 16:30-17:30) PCCR
Daniel Neuen (25 Jul 09:30-10:30) PCCR
Coffee Break (25 Jul 10:30-11:00) PCCR
Contributed Talks (25 Jul 11:00-12:30) PCCR
Lunch (25 Jul 12:30-14:00) PCCR
Joao Marques-Silva (25 Jul 14:00-15:00) PCCR
Robert Ganian (25 Jul 15:00-16:00) PCCR
Coffee Break (25 Jul 16:00-16:30) PCCR
Open Problems and Discussion (25 Jul 16:30-17:30) PCCR