Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C4.05

Sessions

Coffee Break (18 Jul 10:00-11:00) SteamingNeSy
Lunch (18 Jul 12:00-14:00) SteamingNeSy
Part I. Introduction to Complex Event Recognition (CER) (18 Jul 14:00-14:45) SteamingNeSy
Part II. Formal Methods for CER (18 Jul 14:45-15:30) SteamingNeSy
Coffee Break (18 Jul 15:30-16:30) SteamingNeSy
Part III. Probabilistic CER (18 Jul 16:30-17:15) SteamingNeSy
Part IV. Neuro-Symbolic CER (18 Jul 17:15-18:00) SteamingNeSy
Invited Talk 1 (24 Jul 09:00-10:00) THEMA
Coffee Break (24 Jul 10:00-10:30) THEMA
Session 1 (24 Jul 10:30-11:50) THEMA
Lunch (24 Jul 12:00-14:00) THEMA
Invited Talk 2 (24 Jul 14:00-15:00) THEMA
Coffee Break (24 Jul 15:00-15:30) THEMA
Session 2 (24 Jul 15:30-16:30) THEMA
Interactive Session (24 Jul 16:10-17:00) THEMA
Session 1 (25 Jul 09:00-10:05) LPOP
Coffee Break (25 Jul 10:05-11:00) LPOP
Session 2 (25 Jul 11:00-12:00) LPOP
Lunch (25 Jul 12:00-14:00) LPOP
Session 3 (25 Jul 14:00-16:00) LPOP
Coffee Break (25 Jul 16:00-16:30) LPOP
Session 4 (25 Jul 16:30-17:30) LPOP