9–11 February 2027 · Felix Klein room, Leipzig University
All times are Leipzig local time: CET (UTC+1). Each invited talk has a 60-minute slot: 45 minutes for the presentation and 15 minutes for questions. The 12 invited talks are distributed as five on Tuesday, five on Wednesday and two on Thursday.
Speaker allocations, exact times and delivery arrangements remain subject to confirmation. The Wednesday afternoon slots allow potential Zoom participation from the USA; participation arrangements will be confirmed individually.
09:15–09:30 · Opening and welcome — Guillermo Badia and Andreas Maletti
09:30–10:30 · Jacques Sakarovitch
Not all (semi)rings are strong
On the problem of the definition of the star of a series
10:30–11:00 · Coffee break
11:00–12:00 · Miroslav Ćirić
Weighted Finite Automata over Complete Additively Idempotent Semirings
12:00–13:30 · Lunch break
13:30–14:30 · Carles Noguera
Weighted models of computation and descriptive complexity
14:30–14:45 · Short break
14:45–15:45 · Dietrich Kuske
Boolean combinations of omega-rational trace languages: emptiness, rationality, regularity
15:45–16:00 · Coffee break
16:00–17:00 · Paul Gastin
Weighted linear temporal logic
Tentative title
From 17:00 · Informal discussion and individual meetings
09:30–10:30 · Thomas Eiter
Title to be announced
10:30–11:00 · Coffee break
11:00–12:00 · Kim Guldstrand Larsen
Title to be announced
12:00–13:30 · Lunch break
13:30–14:30 · John Truss
Countable homogeneous ordered multipartite graphs
14:30–14:45 · Short break
14:45–15:30 · Manfred Droste
Celebratory contribution
Proposed, subject to confirmation; 30-minute talk + 15-minute discussion. Additional to the 12 invited talks.
15:30–16:00 · Coffee break
16:00–17:00 · Guo-Qiang Zhang
Ensemble Logic and Symbolic Biomedicine: an Overview
Potential US Zoom joining time: 09:00–10:00 Houston (CST).
17:00–17:15 · Short break
17:15–18:15 · Yuri Gurevich
Assisted algorithms
Potential US Zoom joining times: 11:15–12:15 Eastern (EST) / 08:15–09:15 Pacific (PST).
09:30–10:30 · Wieslaw Kubis
Title to be announced
10:30–10:45 · Coffee break
10:45–11:45 · H Dugald Macpherson
Title to be announced
The conference finishes at 11:45.
Talk titles, abstracts and speaker profiles