Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C2.01

Sessions

Opening + Neurosymbolic and Metaprogramming (18 Jul 08:45-10:30) ASPOCP
Coffee Break (18 Jul 10:30-11:00) ASPOCP
Planning and Temporal Reasoning (18 Jul 11:00-12:40) ASPOCP
Lunch (18 Jul 12:40-13:40) ASPOCP
Invited Speaker (18 Jul 13:40-14:40) ASPOCP
Industrial applications (18 Jul 14:40-15:30) ASPOCP
Coffee Break (18 Jul 15:30-16:00) ASPOCP
System and Tools + Closing (18 Jul 16:00-17:20) ASPOCP
ThEdu Session 1 (19 Jul 08:30-10:00) ThEdu
Coffee Break (19 Jul 10:00-11:00) ThEdu
ThEdu Session 2 (19 Jul 11:00-12:00) ThEdu
Lunch (19 Jul 12:00-14:00) ThEdu
ThEdu Session 3 (19 Jul 14:00-15:30) ThEdu
Coffee Break (19 Jul 15:30-16:30) ThEdu
ThEdu Session 4 (19 Jul 16:30-17:30) ThEdu
Business Meeting (19 Jul 17:30-18:00) ThEdu
Morning 1 (24 Jul 09:00-10:10) RajeevFest
Coffee Break (24 Jul 10:10-10:40) RajeevFest
Morning 2 (24 Jul 10:40-12:10) RajeevFest
Lunch (24 Jul 12:10-14:00) RajeevFest
Afternoon 1 (24 Jul 14:00-15:00) RajeevFest
Coffee Break (24 Jul 15:00-15:30) RajeevFest
Afternoon 2 (24 Jul 15:30-17:00) RajeevFest
Introduction to workshop (25 Jul 08:30-08:40) FORCE
Industrial applications (25 Jul 08:40-10:25) FORCE
Coffee Break (25 Jul 10:25-10:55) FORCE
Runtime monitoring (25 Jul 10:55-12:15) FORCE
Lunch (25 Jul 12:15-13:30) FORCE
Autonomous and learning-enabled systems (25 Jul 13:30-15:15) FORCE
Coffee Break (25 Jul 15:15-15:45) FORCE
Theory and logics (25 Jul 15:45-17:25) FORCE
Discussion and conclusion (25 Jul 17:25-17:55) FORCE