Algebra|Coalgebra Seminar




[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 meetings

  • The A|C Seminar will continue in September 2021.
  • The slides for Luigi Santocanale's talk can be found here.

—∇—

Previous Meetings

  • Title: : Fixed-point elimination in the Intuitionistic Propositional Calculus (Slides)
    Speaker: Luigi Santocanale (Aix-Marseille Université)
    Date: Wednesday, 26 May, 2021.
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Distributive lattice-ordered monoids (Joint work with A. Colacito, G. Metcalfe and S. Santschi)
    Speaker: Nick Galatos (University of Denver)
    Date: Wednesday, 12 May, 2021.
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Expressive Logics for Coinductive Predicates
    Speaker: Jurriaan Rot (Radboud University)
    Date: Wednesday, 28 April, 2021.
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: The topological mu-calculus
    Speaker: David Fernández-Duque (Gent University)
    Date: Wednesday, 21 April, 2021.
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Towards a Proof Theory of Probabilistic Logics
    Speaker: Matteo Mio (ENS-Lyon)
    Date: Wednesday, 14 April, 2021.
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Measure-theoretic semantics for quantitative linear-time logics
    Speaker: Corina Cirstea (University of Southampton)
    Date: Wednesday, 31 March, 2021.
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: A proof-theoretic approach to formal epistemology (joint work with Edi Pavlović)
    Speaker: Sara Negri (Università degli Studi di Genova)
    Date: Wednesday, 17 March, 2021.
    Time: 16:00 (CET)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: On cut-elimination for the Grzegorczyk modal logic (Slides)
    Speaker: Daniyar Shamkanov (Steklov Mathematical Institute)
    Date: Wednesday, 3 March, 2021.
    Time: 16:00 (CET)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Strong Completeness in Topological Semantics
    Speaker: Philip Kremer (University of Toronto)
    Date: Wednesday, 17 February, 2021.
    Time: 16:00 (CET)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
    Speaker: Alexandra Silva (University College London)
    Date: Wednesday, 3 February, 2021.
    Time: 16:00 (CET)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Isotropy Groups of Quasi-Equational Theories (Slides, PhD Thesis, Journal article)
    Speaker: Jason Parker (Brandon University)
    Date: Wednesday, 6 January, 2021.
    Time: 16:00 (CET)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: The Univalence Principle
    Speaker: Paige Randall North (Ohio State University)
    Date: Wednesday, 2 December, 2020.
    Time: 15:00 (CET) Note: this seminar will be held one hour earlier than usual.
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Effective Kan fibrations in simplicial sets
    Speaker: Benno van den Berg (ILLC)
    Date: Wednesday, 4 November, 2020.
    Time: 16:00 (CET)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: A Functional (Monadic) Second-Order Theory of Infinite Trees
    Speaker: Colin Riba (ENS de Lyon)
    Date: Wednesday, 21 October, 2020.
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

  • Title: Guarded Kleene Algebra with Tests
    Speaker: Tobias Kappé (Cornell University)
    Date: Wednesday, 7 October, 2020.
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 922-5064-0302)
    [abstract]

A|C seminar in 2019/2020
A|C seminar in 2018/2019
A|C seminar in 2017/2018
A|C seminar in 2016/2017
A|C seminar in 2015/2016
A|C seminar in 2014/2015
A|C seminar in 2013/2014
A|C seminar in 2012/2013
A|C seminar in 2009/2010
A|C seminar in 2008/2009
A|C seminar in 2007/2008
A|C seminar in 2006/2007


Contact

The seminar is currently organized by Bahareh Afshari, Benno van den Berg, Nick Bezhanishvili, Jan Rooduijn and Yde Venema. If you're interested in giving a talk at the seminar or have any questions regarding the seminar please contact Jan at j.m.w.rooduijn[at]uva.nl.

If you want to subscribe to the A|C seminar mailing list please send an email to Jan at j.m.w.rooduijn[at]uva.nl with the subject "A|C seminar". In case you no longer wish to subscribe to the mailing list send an email to Jan with the subject "A|C seminar unsubscribe".


[Privacy Policy]