Registration
TACL 2026 School
Week at a glance
| Time | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|
| 09:00–10:00 | Registration, welcome | |||
| 10:00–11:30 | Ana Sokolova #1 | Ana Sokolova #2 | Ana Sokolova #3 | Michał Stronkowski #2 |
| 11:30–12:00 | Break | Break | Break | Break |
| 12:00–13:30 | Jonathan Smith #1 | Jonathan Smith #2 | Jonathan Smith #3 | Marcus Tressl #3 |
| 13:30–15:30 | Lunch break | Lunch break | Lunch break | Lunch break |
| 15:30–17:00 | Marcus Tressl #1 | Michał Stronkowski #1 | Marcus Tressl #2 | Michał Stronkowski #3 |
School venue
Psychology Building, JU
Romana Ingardena 6, Kraków- Floor
- 6th floor
- Room
- 6.01 (aula)
21 July 2026
Tuesday
09:00–10:00
10:00–11:30
Lecture 1
Ana Sokolova
Coalgebra, Algebra, and Logics for Process Semantics #1
11:30–12:00
Break
12:00–13:30
Lecture 1
Jonathan Smith
Algebraic Methods in Applied Logic #1
13:30–15:30
Lunch break
15:30–17:00
Lecture 1
Marcus Tressl
Non-Hausdorff Topology in Algebra and Logic #1
22 July 2026
Wednesday
10:00–11:30
Lecture 2
Ana Sokolova
Coalgebra, Algebra, and Logics for Process Semantics #2
11:30–12:00
Break
12:00–13:30
Lecture 2
Jonathan Smith
Algebraic Methods in Applied Logic #2
13:30–15:30
Lunch break
15:30–17:00
Lecture 1
Michał Stronkowski
Admissibility #1
23 July 2026
Thursday
10:00–11:30
Lecture 3
Ana Sokolova
Coalgebra, Algebra, and Logics for Process Semantics #3
11:30–12:00
Break
12:00–13:30
Lecture 3
Jonathan Smith
Algebraic Methods in Applied Logic #3
13:30–15:30
Lunch break
15:30–17:00
Lecture 2
Marcus Tressl
Non-Hausdorff Topology in Algebra and Logic #2
24 July 2026
Friday
10:00–11:30
Lecture 2
Michał Stronkowski
Admissibility #2
11:30–12:00
Break
12:00–13:30
Lecture 3
Marcus Tressl
Non-Hausdorff Topology in Algebra and Logic #3
13:30–15:30
Lunch break
15:30–17:00
Lecture 3
Michał Stronkowski
Admissibility #3