Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C5.09

Sessions

Coffee Break (18 Jul 10:00-11:00) PC
Invited Talk 1 (18 Jul 11:00-11:40) PC
Contributed Talks 1 (18 Jul 11:40-12:00) PC
Lunch (18 Jul 12:00-14:00) PC
Invited Talk 2 (18 Jul 14:00-14:40) PC
Contributed Talks 2 (18 Jul 14:40-15:20) PC
Coffee Break (18 Jul 15:30-16:30) PC
Contributed Talks 3 (18 Jul 16:30-17:30) PC
Contributed Talks 4 (19 Jul 09:20-10:00) PC
Coffee Break (19 Jul 10:00-11:00) PC
Invited Talk 3 (19 Jul 11:00-11:40) PC
Contributed Talks 5 (19 Jul 11:40-12:00) PC
Lunch (19 Jul 12:00-14:00) PC
QBF Joint Invited Talk (19 Jul 14:00-14:40) PC
QBF Joint Contrib Talks 1 (19 Jul 14:40-15:40) PC
Coffee Break (19 Jul 15:40-16:30) PC
QBF Joint Contrib Talks 2 (19 Jul 16:30-16:50) PC