Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C4.01

Sessions

Coffee Break (18 Jul 10:00-11:00) CARLA
Lunch (18 Jul 12:00-14:00) CARLA
CARLA Workshop (18 Jul 14:30-15:30) CARLA
Coffee Break (18 Jul 15:30-16:30) CARLA
CARLA Workshop - II Sessions (18 Jul 16:30-17:35) CARLA
Contributed Talks 1 (19 Jul 09:00-10:10) JoeFest
Coffee Break (19 Jul 10:10-10:40) JoeFest
Contributed Talks 2 (19 Jul 10:40-12:20) JoeFest
Lunch (19 Jul 12:20-13:50) JoeFest
In-Person Invited Talks (19 Jul 13:50-15:05) JoeFest
Coffee Break (19 Jul 15:05-15:35) JoeFest
Pre-recorded Invited Talks (19 Jul 15:35-17:00) JoeFest
ARQNL Opening (24 Jul 08:55-09:00) ARQNL
ARQNL Invited Talk (24 Jul 09:00-09:50) ARQNL
ARQNL Session 1: Modal Logics (24 Jul 09:50-10:30) ARQNL
Coffee Break (24 Jul 10:00-11:00) ARQNL
ARQNL Session 2: Definite Descriptions and Free Logics (24 Jul 11:00-12:15) ARQNL
Lunch (24 Jul 12:15-13:30) ARQNL
ARQNL Session 3: Proof Theory and Substructural Logics (24 Jul 13:30-14:50) ARQNL
ARQNL Session 4: Tableaux (24 Jul 15:10-16:10) ARQNL
Coffee Break (24 Jul 15:30-16:30) ARQNL
ARQNL Session 5: Embeddings and Benchmarks (24 Jul 16:40-17:30) ARQNL
Session 1 (25 Jul 09:00-10:00) PAAR
Coffee Break (25 Jul 10:00-10:30) PAAR
Session 2 (25 Jul 10:30-12:00) PAAR
Lunch (25 Jul 12:00-13:30) PAAR
Session 3 (25 Jul 13:30-15:00) PAAR
Coffee Break (25 Jul 15:00-15:30) PAAR
Session 4 (25 Jul 15:30-17:00) PAAR