Workshop in celebration of Alexandru Baltag's Birthday

Saturday 15th January 2022

13:45-19:00 -- Click here for the zoom recordings

The workshop took place online via zoom and featured short talks by Alexandru’s long-standing colleagues and collaborators. The workshop has been included in the LIRa seminar and has been associated with the World Logic Day of 2022.

Program

The Abstracts are displayed underneath the Program.

13 : 45 --14 : 00 Welcome: Johan van Benthem (text)

14 : 00 --14 : 30 Samson Abramsky: Nothing will come of everything (abstract / slides)

14 : 30 --15 : 00 Sonja Smets: Dynamic Quantum Logic: Extensions and Variations (abstract / slides)

15 : 00 --15 : 30 Fenrong Liu: A Simple Logic of the Hide and Seek Game (abstract / slides)

15 : 30 --15 : 40 Break

Samson Abramsky: TBA

15 : 40 --16 : 1 0 Nick Bezhanishvili: The topological mu-calculus (abstract / slides)

16 : 10 --16 : 40 Luís Soares Barbosa: Paraconsistent transition systems and their logics (abstract / slides)

16 : 40 --16 : 50 Break

16 : 50 --17 : 20 Alexander Kurz: Coalgebraic Modal Logic (abstract / notes)

17 : 20 -- 17 : 50 Kevin Kelly: Characterization of Inductive Learnability when Question has Overlapping Answers (abstract / slides)

17 : 50 --18 : 00 Break

18 : 00 --18 : 30 Larry Moss: Alexandru and the story of classical DEL (slides)

18 : 30 --18 : 50 Johan van Benthem: Information and Dependence: Travels with Alexandru (abstract / slides)

18 : 50 --19 : 00 Alexandru Baltag

Helvetica Light is an easy-to-read font, with tall and narrow letters, that works well on almost every site.