Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

31 January 2018, Algebra|Coalgebra Seminar, Thijs Benjamins, Chase Ford, Kristoffer Kalavainen, Kyah Smaal, and Tatevik Yolyan

Speaker: Thijs Benjamins, Chase Ford, Kristoffer Kalavainen, Kyah Smaal, and Tatevik Yolyan (ILLC)
Title: Duality in Logic and Computer Science
Date: Wednesday 31 January 2018
Time: 13:30-16:30
Location: Room F2.19, ILLC, Science Park 107, Amsterdam

This special session of the A|C seminar will consist of five 25-minute presentations by the participants of the MoL January project taught by Sam van Gool. Each participant studied one recent article on duality theory and its applications in logic and computer science, and will give a presentation in which they summarize the main results of the paper and highlight points of particular interest. The following papers will be presented:

G. Bezhanishvili & N. Bezhanishvili, An Algebraic Approach to Canonical Formulas: Modal Case (2011), presented by Kyah Smaal;

T. Colcombet & D. Petrisan, Automata and Minimization (2017), presented by Thijs Benjamins;

S. Ghilardi, Continuity, Freeness and Filtrations (2010), presented by Tatevik Yolyan;

W. Holliday, Possibility Frames and Forcing for Modal Logic (2016), the section on duality theory, presented by Chase Ford;

T. Place & M. Zeitoun, Separating Regular Languages with First-order Logic (2016), presented by Kristoffer Kalavainen.

There will be some time for discussion and Q&A after each presentation.