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

Note: The meeting ID has changed!
  • Title: Decidability and complexity for substructural logics with weakening or contraction
    Speaker: Revantha Ramanayake (University of Groningen)
    Date: Wednesday, 3 November 2021
    Time: 16:00 - 17:00 (CEST)
    Location: Online (Zoom Meeting ID 844-1353-6364)
    [abstract]
  • Joint session with LIRa
    Title: TBA
    Speaker: Yanjing Wang (Peking University)
    Date: Thursday, 11 November 2021
    Time: 15:30 - 17:00 (CEST)
    Location: Online (Zoom link distributed through mailing list)
    [abstract]
  • Title: TBA
    Speaker: Rajeev Gore (Australian National University, Australia)
    Date: Wednesday, 24 November 2021
    Time: TBA
    Location: Online (Zoom Meeting ID 844-1353-6364)
    [abstract]

—∇—

Previous Meetings

  • Title: Decidable fragments of first order modal logic [Slides]
    Speaker: R. Ramanujam (Institute of Mathematical Sciences, India)
    Date: Wednesday, 20 October 2021
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 844-1353-6364)
    [abstract]
  • Title: The homomorphism lattice of finite structures, unique characterization, and exact learnability. [Slides]
    Speaker: Balder ten Cate (ILLC)
    Date: Wednesday, 6 October 2021
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 844-1353-6364)
    [abstract]
  • Title: Cyclic hypersequent calculi for some modal logics with the master modality
    Speaker: Jan Rooduijn (ILLC)
    Date: Wednesday, 29 September 2021
    Time: 16:00 (CEST)
    Location: Online (Zoom Meeting ID 844-1353-6364)
    [abstract]
A|C seminar in 2020/2021
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, Tobias Kappé and Yde Venema. If you're interested in giving a talk at the seminar or have any questions regarding the seminar please contact Tobias at t.w.j.kappe@uva.nl.

If you want to subscribe to the A|C seminar mailing list please send an email to Tobias at t.w.j.kappe@uva.nl with the subject "A|C seminar". In case you no longer wish to subscribe to the mailing list send an email to Tobias with the subject "A|C seminar unsubscribe".


[Privacy Policy]