[News & Future Meetings] [Previous Meetings] [Contact] This page concerns the Algebra|Coalgebra Seminar at the Institute for Logic, Language & Computation (ILLC) of the University of Amsterdam. The purpose of the seminar is to disseminate results and insights about and around algebraic and coalgebraic methods in logic. |

## News & Future meetingsThe A|C Seminar will resume again in the fall semester. |

## Previous MeetingsTitle: Coalgebraic positive logic and lifting functors
Speaker: Jim de Groot (The Australian National University)
Date: Wednesday, 26 June, 2019.
[abstract] Title: Completeness of Game Logic
Speaker: Helle Hvid Hansen (Delft University of Technology)
Date: Wednesday, 22 May, 2019.
[abstract] Title: A universal proof theoretical approach to interpolation
Speaker: Raheleh Jalali (Institute of Mathematics of the Czech Academy of Sciences)
Date: Wednesday, 1 May, 2019.
[abstract] Title: Towards a Logic for Conditional Strategic Reasoning
Speaker: Valentin Goranko (Stockholm University)
Date: Wednesday, 17 April, 2019.
[abstract] Title: Flat fixpoint logics with converse modalities
Speaker: Sebastian Enqvist (Stockholm University)
Date: Wednesday, 3 April, 2019.
[abstract] Title: Cyclic proofs for circular reasoning
Speaker: Graham Leigh (University of Gothenburg)
Date: Wednesday, 27 March, 2019.
[abstract] Title: Trajectory domains: analyzing the behavior of transition systems
Speaker: Levin Hornischer (ILLC)
Date: Wednesday, 13 March, 2019.
[abstract] Title: Coalgebra Learning via Duality
Speaker: Clemens Kupke (University of Strathclyde)
Date: Wednesday, 27 February, 2019.
[abstract] Title: Modal logics of polygons and beyondy
Speaker: David Gabelaia (Tbilisi State University, A. Razmadze Mathematical Institute)
Date: Wednesday, 30 January, 2019.
[abstract] Title: Logical aspects of algebra-valued models of set theory
Speaker: Robert Paßmann (ILLC)
Date: Wednesday, 19 December, 2018.
[abstract] Title: Automata that Transform Infinite Words
Speaker: Jörg Endrullis (Vrije Universiteit Amsterdam)
Date: Wednesday, 5 December, 2018.
[abstract] Title: Beth definability and the Stone-Weierstrass Theorem
Speaker: Luca Reggio (Czech Academy of Sciences)
Date: Wednesday, 28 November, 2018.
[abstract] Title: What is the size of a formula? Basic size matters in the modal mu-calculus
Speaker: Yde Venema (ILLC)
Date: Wednesday, 21 November, 2018.
[abstract] Title: Etale groupoid convolution algebras
Speaker: Benjamin Steinberg (CUNY)
Date: Wednesday, 7 November, 2018.
[abstract] Title: Difference hierarchies and duality
Speaker: Célia Borlido (Laboratoire J.A. Dieudonné)
Date: Wednesday, 31 October, 2018.
[abstract] Title: Point-free geometries - foundations and systems
Speaker: Rafał Gruszczyński (Nicolaus Copernicus University)
Date: Wednesday, 10 October, 2018.
[abstract] Title: Hyper-MacNeille completions of Heyting algebras
Speaker: Frederik M. Lauridsen (ILLC)
Date: Wednesday, 26 September, 2018.
[abstract] Title: A perspective on non-commutative frame theory
Speaker: Ganna Kudryavtseva (University of Ljubljana)
Date: Wednesday, 12 September, 2018.
[abstract] Title: How to extend de Vries duality to completely regular spaces
Speaker: Guram Bezhanishvili (New Mexico State University)
Date: Wednesday, 20 June, 2018.
[abstract] Title: Fine-Grained Computational Complexity
Speaker: Jouke Witteveen (ILLC)
Date: Wednesday, 6 June, 2018.
[abstract] Title: W Types with Reductions
Speaker: Andrew Swan (ILLC)
Date: Wednesday, 23 May, 2018.
[abstract] Title: A simple propositional calculus for compact Hausdorff spaces
Speaker: Nick Bezhanishvili (ILLC)
Date: Wednesday, 9 May, 2018.
[abstract] Title: Uniform interpolation via an open mapping theorem for Esakia spaces
Speaker: Sam van Gool (ILLC)
Date: Wednesday, 25 April, 2018.
[abstract] Title: Classical equivalents of intuitionistic implication
Speakers: Esther Boerboom and Noor Heerkens (ILLC)
Date: Wednesday, 11 April, 2018.
[abstract] Title: Long-Term Values in Markov Decision Processes, (Co)Algebraically
Speaker: Frank Feys (TU Delft)
Date: Wednesday, 28 March, 2018.
[abstract] Title: MacNeille transferability
Speaker: Frederik M. Lauridsen (ILLC)
Date: Wednesday, 21 March, 2018.
[abstract] Title: Path categories
Speaker: Benno van den Berg (ILLC)
Date: Wednesday, 7 March, 2018.
[abstract] Title: Duality in Logic and Computer Science
Speakers: Thijs Benjamins, Chase Ford, Kristoffer Kalavainen, Kyah Smaal, and Tatevik Yolyan (ILLC)
Date: Wednesday, 31 January, 2018.
[abstract] Title: Stone-Priestley duality for MTL triples
Speaker: Wesley Fussner (University of Denver)
Date: Wednesday, 13 December, 2017.
[abstract] Title: Choice-free Stone duality
Speaker: Nick Bezhanishvili (ILLC)
Date: Wednesday, 17 April, 2017.
[abstract] Title: Ordering Free Groups
Speaker: George Metcalfe (Universität Bern)
Date: Wednesday, 26 April, 2017.
[abstract] Title: Modal logics of the real line
Speaker: Andrey Kudinov (HSE Moscow)
Date: Wednesday, 14 December, 2016.
[abstract] Title: Nominal Sets in Constructive Set Theorys
Speaker: Andrew Swan (ILLC)
Date: Wednesday, 9 November, 2016.
[abstract] Title: Some model theory for the modal μ-calculus
Speaker: Yde Venema (ILLC)
Date: Wednesday, 26 October, 2016.
[abstract] Title: On generalized Van-Benthem-type characterizations
Speaker: Grigory Olkhovikov (Ruhr-Universitaet Bochum, Institut fuer Philosophie II)
Date: Wednesday, 28 September, 2016.
[abstract] Title: Bitopology and four-valued logic
Speaker: Tomáš Jakl (Charles University, Prague and University of Birmingham)
Date: Wednesday, 4 May, 2016.
[abstract] Title: MV-algebras and the Pierce-Birkhoff conjecture
Speaker: Serafina Lapenta (University of Salerno)
Date: Wednesday, 20 April, 2016.
[abstract] Title: Studying profinite semigroups via logic
Speaker: Sam van Gool (CUNY City College and ILLC)
Date: Wednesday, 30 March, 2016.
[abstract] Title: Investigations on Gödel’s incompleteness properties for guarded fragment and other decidable versions of FOL
Speaker: Mohamed Khaled (Central European University, Budapest)
Date: Wednesday, 16 March, 2016.
[abstract] Title: Subminimal Logics of Negation
Speaker: Almudena Colacito (ILLC)
Date: Wednesday, 9 March, 2016.
[abstract] Title: Weak Subintuitionistic Logic
Speaker: Fatemeh Shirmohammadzadeh Maleki (Shahid Beheshti University, Tehran and ILLC)
Date: Wednesday, 24 February, 2016.
[abstract] Title: Monadic second order logic as the model companion of temporal logic
Speaker: Silvio Ghilardi (University of Milan)
Date: Wednesday, 27 January, 2016.
[abstract] Title: Duality for Non-monotonic Consequence Relations and Antimatroids
Speakers: Joahnnes Marti and Riccardo Pinosio (ILLC)
Date: Wednesday, 2 December, 2015.
[abstract] Title: Some open problems concerning MSO for coalgebras
Speaker: Sebastian Enqvist (ILLC)
Date: Wednesday, 18 November, 2015.
[abstract] Title: Derivative and counting operators on topological spaces
Speaker: Alberto Gatto (Imperial College London)
Date: Wednesday, 18 November, 2015.
[abstract] Title: Coalgebraic many-valued logics
Speaker: Marta Bílková (Charles University in Prague)
Date: Wednesday, 4 November, 2015.
[abstract] Title: The Wellfounded Parts of Final Coalgebras are Initial Algebras
Speaker: Larry Moss (Indiana University Logic Program and Math department)
Date: Wednesday, 8 July, 2015.
[abstract] Title: Stable canonical rules: bounded proofs, dichotomy property and admissible bases
Speaker: Silvio Ghilardi (University of Milan)
Date: Wednesday, 27 May, 2015.
[abstract] Title: Stone duality above dimension zero
Speaker: Vincenzo Marra (University of Milan)
Date: Wednesday, 27 April, 2015.
[abstract] Title: Modal logic of topology
Speaker: Nick Bezhanishvili (ILLC) and Jan van Mill (KdVI)
Date: Wednesday, 15 April, 2015.
[abstract] Title: Global caching for the alternation-free coalgebraic mu-calculus
Speaker: Daniel Hausmann (Friedrich-Alexander University of Erlangen and Nurnberg)
Date: Wednesday, 1 April, 2015.
[abstract] Title: Dependency as question entailment
Speaker: Ivano Ciardelli (ILLC, University of Amsterdam)
Date: Wednesday, 18 March, 2015.
[abstract] Title: Up-to techniques for bisimulations with silent moves
Speaker: Daniela Petrişan (Raboud University, Nijmegen)
Date: Wednesday, 4 March, 2015.
[abstract] Title: Strong Completeness for Iteration-free Coalgebraic Dynamic Logics.
Speaker: Helle Hansen (TU Delft)
Date: Wednesday, 18 February, 2015.
[abstract] Title: Residuated Basic Algebras
Speaker: Minghui Ma (Southwest University)
Date: Wednesday, 4 February, 2015.
[abstract] Title: Non-self-referential realizable frangments of modal and intuitionistic logics
Speaker: Junhua Yu (Tsinghua University)
Date: Wednesday, 21 January, 2015.
[abstract] Title: Modal Logics for Presheaf Categories
Speaker: Giovanni Cina (ILLC, University of Amsterdam)
Date: Wednesday, 3 December, 2014.
[abstract] Title: Completeness and Incompleteness in Nominal Kleene Algebra
Speaker: Dexter Kozen (Cornell University)
Date: Wednesday, 26 November, 2014.
[abstract] Title: Polyhedra: from geometry to logic
Speaker: Andrea Pedrini (University of Milan)
Date: Wednesday, 5 November, 2014.
[abstract] Title: Exact Unification Type and Admissible rules
Speaker: Leonardo Cabrer (University of Florence, Italy)
Date: Wednesday, 29 October, 2014.
[abstract] Title: PDL has Craig Interpolation since 1981
Speaker: Malvin Gattinger (ILLC, University of Amsterdam)
Date: Wednesday, 1 October, 2014.
[abstract] Title: Changing a Semantics: Opportunism, or Courage?
Speaker: Johan van Benthem (ILLC, University of Amsterdam)
Date: Wednesday, 17 September, 2014.
[abstract] Title: Axiomatizations of intermediate logics via the pseudo-complemented lattice reduct of Heyting algebras
Speaker: Julia Ilin (ILLC, University of Amsterdam)
Date: Wednesday, 11 June, 2014.
[abstract] Title: Duality and canonicity for Boolean algebra with a relation
Speaker: Sumit Sourabh (ILLC, University of Amsterdam)
Date: Wednesday, 11 June, 2014.
[abstract] Title: Adding the Supremum to Interpretability Logic
Speaker: Paula Henk (ILLC, University of Amsterdam)
Date: Wednesday, 28 May, 2014.
[abstract] Title: Duality for Logic of Quantum Actions
Speaker: Shengyang Zhong (ILLC, University of Amsterdam)
Date: Wednesday, 28 May, 2014.
[abstract] Title: Many-valued modal logic over residuated lattices via duality (joint work with Andrew Craig - University of Johannesburg)
Speaker: Umberto Rivieccio (Delft University of Technology)
Date: Wednesday, 14 May, 2014.
[abstract] Title: Using Admissible Rules to Characterise Logics
Speaker: Jeroen Goudsmit (Utrecht University)
Date: Wednesday, 30 April, 2014.
[abstract] Title: Uniform Interpolation for Coalgebraic Fixpoint Logic
Speaker: Fatemeh Seifan (ILLC, University of Amsterdam)
Date: Wednesday, 30 April, 2014.
[abstract] Title: Free algebras for Gödel-Löb provability logic
Speaker: Sam van Gool (LIAFA, Université Paris-Diderot & Radboud Universiteit Nijmegen)
Date: Wednesday, 16 April, 2014.
[abstract] Title: Canonical rules for modal logic
Speaker: Nick Bezhanishvili (ILLC, University of Amsterdam)
Date: Thursday, 20 March, 2014.
[abstract] Title: From free algebras to proof bounds.
Speaker: Silvio Ghilardi (University of Milano)
Date: Thursday, 20 February, 2014.
[abstract] Title: Cut-elimination in circular proofs.
Speaker: Jérôme Fortier (UQAM / AMU)
Date: Thursday, 20 February, 2014.
[abstract] Title: Open maps, small maps and final coalgebras.
Speaker: Benno van den Berg (ILLC, University of Amsterdam)
Date: Thursday, 6 February, 2014.
[abstract] Title: A coalgebraic view of characteristic formulas in equational modal fixed point logics.
Speaker: Sebastian Enqvist (ILLC, University of Amsterdam)
Date: Wednesday, 22 January, 2014.
[abstract] Title: Coalgebriac Announcement Logics
Speaker: Facundo Carreiro (ILLC, University of Amsterdam)
Date: Wednesday, 4 December, 2013.
[abstract] Title: An algebraic approach to cut-elimination for substructural logics.
Speaker: Sumit Sourabh (ILLC, University of Amsterdam)
Date: Wednesday, 20 November, 2013.
[abstract] Title: Terminal Sequences and Their Coalgebras.
Speaker: Johannes Marti (ILLC, University of Amsterdam)
Date: Wednesday, 31 October, 2013.
[abstract] Title: Two isomorphism criteria for directed colimits.
Speaker: Luca Spada (ILLC, Amsterdam and University of Salerno)
Date: Wednesday, 9 October, 2013.
[abstract] Title: A non-commutative Priestly duality
Speaker: Sam van Gool (Radbound University, Nijmegen)
Date: Wednesday February 13, 2013[abstract] Title: Bilattices with modal operators
Speaker: Speaker: Umberto Rivieccio (University of Birmingham)
Date: Wednesday May 30, 2012[abstract] Title: Topological- and Neighborhood-Sheaf Semantics for First-Order Modal Logic
Speaker: Kohei Kishida (ILLC, Amsterdam)
Date: Wednesday May 23, 2012[abstract] A|C seminar in 2009/2010 A|C seminar in 2008/2009 A|C seminar in 2007/2008 A|C seminar in 2006/2007 |

## ContactThe seminar is currently organized by Bahareh Afshari, Nick Bezhanishvili, and Frederik Lauridsen. If you're interested in giving a talk at the seminar or have any questions regarding the seminar please contact Frederik atf.m.lauridsen[at]uva.nl
If you want to subscribe to the A|C seminar mailing list please send an email to Frederik at |