Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

B2.02

Sessions

Opening + DC Session 1 (18 Jul 08:20-10:30) ICLP-DC-SS
Coffee Break (18 Jul 10:30-11:00) ICLP-DC-SS
SS Invited Talk 1 (18 Jul 11:00-12:00) ICLP-DC-SS
Lunch (18 Jul 12:00-14:00) ICLP-DC-SS
SS Invited Talk 2 (18 Jul 14:00-15:00) ICLP-DC-SS
DC Session 2 (18 Jul 15:00-16:00) ICLP-DC-SS
Coffee Break (18 Jul 16:00-16:30) ICLP-DC-SS
DC Session 3 + Closing (18 Jul 16:30-17:15) ICLP-DC-SS
Part 1 (19 Jul 09:00-10:30) LLM4R
Coffee Break (19 Jul 10:00-11:00) LLM4R
Part 2 (19 Jul 11:00-12:30) LLM4R
Lunch (19 Jul 12:30-14:30) LLM4R
Coffee Break (19 Jul 15:30-16:30) LLM4R
Invited talk 1 (24 Jul 09:00-10:00) LINDA
Poster announcements 1 (24 Jul 10:00-10:20) LINDA
Talk session 1 (24 Jul 11:15-12:45) LINDA
Lunch (24 Jul 12:45-13:45) LINDA
Talk session 2 (24 Jul 13:45-14:45) LINDA
Poster announcements 2 (24 Jul 14:45-15:05) LINDA
Invited talk 2 (24 Jul 16:00-17:00) LINDA
Session 1 (25 Jul 09:00-10:30) VeriProP
Coffee Break (25 Jul 10:30-11:00) VeriProP
Session 2 (25 Jul 11:00-12:30) VeriProP
Lunch (25 Jul 12:30-14:00) VeriProP
Session 3 (25 Jul 14:00-15:30) VeriProP
Coffee Break (25 Jul 15:30-16:00) VeriProP
Session 4 (25 Jul 16:00-17:15) VeriProP