UPDATES
Topology, Algebra, and Categories
in Logic
Coimbra, 20-24 June 2022

UPDATES


Photos by Petr Cintula. Photo Gallery 3
Photos. Photo Gallery 1, Photo Gallery 2.
Group Photo. Photo1, Photo2, Photo3, Photo4.
Slides. The slides of invited talks are available here. The slides of contributed talks are available here.
Booklet. The booklet of abstracts is available as a PDF here.
Programme. See the detailed programme here. It is available as a PDF here.
Plenary talks. The abstracts of invited talks are available here.
Poster. conference, summer school, conference + school.
Programme. The Conference programme will include 9 plenary presentations and 87 contributed talks.
Registration is open. The registration fee includes the welcome reception, coffee-breaks, lunches, excursion, and the conference dinner at São Marcos Palace.

  • Academic registration: 150 euros (early registration: until May 15); 200 euros (after May 15).

  • Student registration: 100 euros (early registration: until May 15); 150 euros (after May 15).
Caution: We have been informed that some of our participants are being targeted with phishing emails. The conference has not contracted with any agents to book travel or hotel space on our behalf. If you receive a message offering such services, please disregard it.

TACL 2022

Organized by

Centre for Mathematics of the University of Coimbra

Department of Mathematics, University of Coimbra




This is the tenth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).
Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017) and Nice (2019).

TOPICS.
Contributed talks in any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science are welcome.
This includes, but is not limited to, the following areas:

  • Algebraic structures in CS
  • Algebraic logic
  • Categorical methods in logic
  • Coalgebra
  • Domain theory
  • Fuzzy and many-valued logics
  • Lattice theory
  • Lattices with operators
  • Modal logics
  • Non-classical logics
  • Ordered algebraic structures
  • Ordered topological spaces
  • Pointfree topology
  • Proofs and types
  • Residuated structures
  • Semantics
  • Stone-type dualities
  • Substructural logics
  • Topological semantics of modal logic


Programme Committee

  • Nick Bezhanishvili, University of Amsterdam, Netherlands
  • Agata Ciabattoni, Vienna University of Technology, Austria
  • Maria Manuel Clementino, Universidade de Coimbra, Portugal
  • Mai Gehrke, Université Côte D'Azur, Nice, France
  • Silvio Ghilardi, Università degli Studi di Milano, Italy
  • Zuzana Haniková, Inst. of Computer Science, Czech Academy of Sciences
  • John Harding, New Mexico State University, USA
  • Tomáš Jakl, University of Cambridge, UK
  • Zurab Janelidze, Stellenbosch University, South Africa
  • Ramón Jansana, Universitat de Barcelona, Spain
  • Peter Jipsen, Chapman University, USA (PC co-chair)
  • Agi Kurucz, King's College London, UK
  • Serafina Lapenta, Università degli Studi di Salerno, Italy
  • Matías Menni, Conicet and Universidade Nacional de La Plata, Argentina
  • George Metcalfe, University of Bern, Switzerland
  • Hiroakira Ono, Japan Advanced Institute of Science & Technology, Japan
  • Daniela Petrisan, University Paris Diderot (Paris 7), France
  • Jorge Picado, Universidade de Coimbra, Portugal (PC co-chair)
  • Adam Přenosil, Università degli Studi di Cagliari, Italy
  • Luca Reggio, University College London, UK
  • Greg Restall, University of St Andrews, UK
  • Benno van den Berg, University of Amsterdam, Netherlands

Steering Committee

  • Guram Bezhanishvili, New Mexico State University, USA
  • Mai Gehrke, Université Côte d’Azur, Nice, France
  • Silvio Ghilardi, Università degli Studi di Milano, Italy
  • Ramón Jansana, Universitat de Barcelona, Spain
  • Hilary Priestley, University of Oxford, UK
  • James Raftery, University of Pretoria, South Africa
  • Yde Venema, University of Amsterdam, Netherlands

Organizing Committee

  • Maria Manuel Clementino (chair)
  • Igor Arrieta
  • Ana Belén Avilez
  • Célia Borlido
  • Maria João Ferreira
  • Carlos Fitas
  • Gonçalo Gutierres
  • Dirk Hofmann
  • Graham Manuell
  • Jorge Picado
  • Sandra Pinto
  • Rui Prezado
  • Manuela Sobral
  • Lurdes Sousa


Important Dates

Abstract submission deadline: March 4 March 31, 2022

Notification to authors: April 15 April 22, 2022

Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system:

          easychair.org/conferences/?conf=tacl2022

Contributed talks: 25 min talk duration + 5 min questions resp. break.


The registration fee includes the welcome reception, coffee-breaks, lunches, excursion, and the conference dinner at São Marcos Palace.

  • Academic registration: 150 euros (early registration: until May 15); 200 euros (after May 15).

  • Student registration: 100 euros (early registration: until May 15); 150 euros (after May 15).

Invited Speakers

Contributed talks

In addition to invited one-hour talks there will be 30 minute contributed talks (25 min talk duration + 5 min questions resp. break).

Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system:

          easychair.org/conferences/?conf=tacl2022


Abstract submission deadline: March 4 March 31, 2022

Notification to authors: April 15 April 22, 2022

Venue & Local info

TACL2022 will be held at the Department of Mathematics of the University of Coimbra (PORTUGAL):



The university is located on the top of a hill ("ALTA") overlooking the city, like an acropolis:





Coimbra is a city in the center of Portugal. It served as the country's capital during the First Dynasty (12th Century) and remains home to the University of Coimbra, the first academic institution in the Portuguese-speaking world and one of the oldest in Europe.


A virtual tour of the University.


How to travel to Coimbra


The airports nearer to Coimbra are located in Lisboa (200 km away) and in Porto (120 km away).


From Lisboa (Humberto Delgado) International Airport

By train: from Lisbon airport you will need to go to Lisboa-Oriente (Gare do Oriente) railway station. You can either take the underground metro or catch a taxi. The journey should take approximately 10 minutes. Trains to Coimbra run every hour and you should expect the journey to take approximately 2 hours.

There are two railway stations in Coimbra: Coimbra-A – Estação Nova, “The New Station” and Coimbra-B – Estação Velha, “The Old Station”. All trains stop at Coimbra B. Once there, you should take a connection to Coimbra-A (your train ticket already includes this short trip). That will be the best choice, if you are staying downtown.

Check the website of the CP - Trains to see the timetable and prices. Rail travel is regular, fast and reliable provided you take the Alfa Pendular or Intercidades trains.


By express bus: you will need to catch a taxi to Sete Rios Bus Station; the journey should take approximately 10 minutes. Express buses to Coimbra run every hour and you should expect the journey to take approximately 2 hours and a half.

Check the website of the Express Buses Network to see the timetable and prices.


By shuttle transfer: there is also a reliable door to door shuttle service Coimbra Airport Shuttle that offers numerous daily shuttles going to or departing from the airports of Lisbon and Porto. Seats should be booked in advance.

Check the website of the Coimbra Airport Shuttle for timetable, prices and booking.


From Porto (Francisco Sá Carneiro) International Airport

By train: from Porto airport you will need to travel to Porto-Campanhã (Gare de Campanhã), the main railway station in Porto. You can either take the underground metro or catch a taxi. You should expect the journey to take approximately 30 minutes. Several trains run from Porto to Coimbra daily. You should expect the journey to take one hour and a half.

There are two railway stations in Coimbra: Coimbra-A – Estação Nova, “The New Station” and Coimbra-B – Estação Velha, “The Old Station”. All trains stop at Coimbra B. Once there, you should take a shuttle to Coimbra-A (your train ticket already includes this short trip). That will be the best choice, if you are staying downtown.

Check the website of the CP - Trains to see the timetable and prices. Rail travel is regular, fast and reliable provided you take the Alfa Pendular or Intercidades trains.


By shuttle transfer: there is a reliable door to door shuttle service Coimbra Airport Shuttle that offers numerous daily shuttles going to or departing from the airports of Lisbon and Porto. Seats should be booked in advance.

Check the website of the Coimbra Airport Shuttle for timetable, prices and booking.


Accommodation (near the University)

You find below some information about hotels in Coimbra, located at walking distance to the University. You may find other options booking directly at booking sites.

Hotels

  • Casa de São Bento Lofts & Suites
    E-mail: geral@casadesaobento.com
    Webpage: www.casadesaobento.com

    - Single Room (standard): 65€
    - Single Room (superior): 75€
    - Double Room (standard): 75€
    - Double Room (superior): 85€
    - Triple Room (superior): 90€
    Breakfast included.

  • Sapientia Boutique Hotel****
    Email: hello@sapientiahotel.com
    Webpage: www.sapientiahotel.com

    - 10% discount in the available room rates.
    Please send an email to hello@sapientiahotel.com to make a reservation and mention "Topology, Algebra, and Categories in Logic - TACL 2022" on the subject.

    • Hostels e B&B

  • Coimbra Monumentais B&B
    Email: coimbramonumentais@gmail.com
    Webpage: www.coimbramonumentais.com

    - Single Room: 52€
    - Double or Twin Room: 62€
    Breakfast included.

  • São Bento na Alta
    www.saobentonaalta.com

  • Penedo da Saudade Suites & Hostel
    www.penedodasaudade.pt

  • República Guest House
    www.republicaguesthouse.pt

  • The Luggage
    www.theluggage.pt

  • NS Hostel & Suites
    hote.link/ns-hostel-suites-coimbra-portugal

  • Alojamento Local Duarte's

  • WW Hostel & Suites

    • Accommodation (downtown)

    You find below some information about hotels in downtown. They are almost all still located at a walking distance, but a steep climb is required to get to the University from downtown!

  • Hotel Astória***
    Email: astoria@almeidahotels.pt
    Webpage: www.almeidahotels.pt

    - Single Room: 65€
    - Double Room: 70€
    Breakfast included.
    Please send an email to astoria@almeidahotels.pt to make a reservation and mention TACL 2022.

  • Hotel Ibis Coimbra**
    Email: h1672@accor.com
    Webpage: www.ibishotels.com

    - 10% discount in the available room rates.
    Please send an email to h1672@accor.com to make a reservation and mention TACL 2022.

  • Hotel Oslo***
    Email: mail@hoteloslo-coimbra.pt
    Webpage: www.hoteloslo-coimbra.pt

    - 10% discount in the available room rates.
    Please mention that you are a participant of the TACL 2022 conference.

  • Stay Hotel Coimbra***
    Email: coimbra@stayhotels.pt
    Webpage: www.stayhotels.pt/coimbra-centro

    - Single Room: 65€ (without breakfast) and 74€
    - Double Room: 65€ (without breakfast) and 83€
    - Twin Room: 65€ (without breakfast) and 83€
    Breakfast included.

  • Hotel Dona Inês****
    E-mail: eventos@donaines.pt
    Webpage: www.donaines.pt

    - 10% discount in the available room rates.
    Please send an email to eventos@donaines.pt to make a reservation and mention TACL 2022.


    • Registration

    The registration fee includes the welcome reception, coffee-breaks, lunches, excursion, and the conference dinner at São Marcos Palace.

    • Academic registration: 150 euros (early registration: until May 15); 200 euros (after May 15).

    • Student registration: 100 euros (early registration: until May 15); 150 euros (after May 15).

    To register please fill the Registration Form below.

    After registration the fee payment must be made through the UCoimbra website at https://lojas.ci.uc.pt/uc
    (need to create an account in "My Account").

    Please send a copy of your payment receipt to

    Registration form


    Fill out the form below and press the "SEND" button.
    Please bear in mind that registration is not complete until the registration fee has been paid.


    Family name: *

    First name: *

    Affiliation: *

    Country: *

    e-mail address: *


    Registration:

    Academic
    Student


    I need a receipt:

    Yes
    No


    addressed to (Name or Institution, Fiscal Number, Address):

    Dietary restrictions:

    * mandatory fields


    List of Registered Participants

    (updated June 14)

    1. Marco Abbadini (Università degli Studi di Salerno)
    2. Samson Abramsky (University College London)
    3. Jiri Adámek (Czech Technical University, Prague)
    4. Paolo Aglianò (University of Siena)
    5. Rodrigo Nicolau Almeida (University of Amsterdam)
    6. Amir Akbar Tabatabai (University of Groningen)
    7. Nathanael Arkor (Masaryk University, Brno)
    8. Peter Arndt (University of Düsseldorf)
    9. Igor Arrieta (CMUC, University of Coimbra and University of the Basque Country UPV/EHU)
    10. Ana Belén Avilez (CMUC, Universidade de Coimbra)
    11. Rui Soares Barbosa (INL – International Iberian Nanotechnology Laboratory, Braga)
    12. Raquel Bernardes (CMUC, Universidade de Coimbra)
    13. Nick Bezhanishvili (ILLC, University of Amsterdam)
    14. Marta Bílková (Czech Academy of Sciences, Prague)
    15. Célia Borlido (CMUC, Universidade de Coimbra)
    16. Dominique Bourn (Université du Littoral, Calais)
    17. Luca Carai (University of Salerno)
    18. James Carr (University of Queensland, Brisbane)
    19. Petr Cintula(Czech Academy of Sciences, Prague)
    20. Antonio Maria Cleani (University of Southern California)
    21. Maria Manuel Clementino (CMUC, Universidade de Coimbra)
    22. Greta Coraglia (University of Genova)
    23. Alfredo Costa (CMUC, Universidade de Coimbra)
    24. Maxime Culot (Université catholique de Louvain)
    25. Andrea De Domenico (Vrije Universiteit Amsterdam)
    26. Cédric De Lacroix (Laboratoire d'Informatique et Systèmes, Aix-Marseille Université)
    27. Ivan Di Liberti (Stockholm University)
    28. Matthew Di Meglio (University of Edinburgh)
    29. Nadja Egner (Université catholique de Louvain )
    30. Jacopo Emmenegger (Universita' di Genova)
    31. David Fernández-Duque (Ghent University)
    32. Maria João Ferreira (CMUC, Universidade de Coimbra)
    33. Carlos Fitas (CMUC, Universidade de Coimbra)
    34. Damiano Fornasiere (University of Barcelona)
    35. David Forsman (Université catholique de Louvain)
    36. Alfredo Roque Freire (Universidade de Aveiro)
    37. Wesley Fussner (University of Bern)
    38. Nick Galatos (University of Denver)
    39. Richard Garner (Macquarie University, Sydney)
    40. Silvio Ghilardi (Università deglu Studi di Milano)
    41. Alessandro Gianola (Free University of Bozen-Bolzano)
    42. Sam van Gool (IRIF, Université de Paris)
    43. Abdelkader Gouaich (CNRS LIRMM)
    44. Jean Goubault-Larrecq (École Normale Supérieure Paris-Saclay)
    45. Quentin Gougeon (CNRS, Toulouse University)
    46. Herman Goulet-Ouellet (CMUC, Universidade de Coimbra)
    47. Giuseppe Greco (Vrije Universiteit Amsterdam)
    48. Rafal Gruszczynski (Nicolaus Copernicus University in Torun, Poland)
    49. Gonçalo Gutierres (CMUC, Universidade de Coimbra)
    50. Moghbeli Halimeh (University of Jiroft, Iran)
    51. Eli Hazel (Macquarie University, Sydney)
    52. Lukas Heidemann (University of Oxford)
    53. Dirk Hofmann (CIDMA, Universidade de Aveiro)
    54. Nick Hu (University of Oxford)
    55. Gejza Jenča (Slovak University of Technology, Bratislava)
    56. Peter Jipsen (Chapman University, Orange CA)
    57. Peter Johnstone (University of Cambridge)
    58. Kristóf Kanalas (Masaryk University, Brno)
    59. Panagis Karazeris (University of Patras)
    60. Roman Kniazev (LIX, Ecole Polytechnique)
    61. Alexander Kurz (Chapman University, Orange CA)
    62. Serafina Lapenta (University of Salerno)
    63. Gabriele Lobbia (Masaryk University, Brno)
    64. Peter Lefanu Lumsdaine (Stockolm University)
    65. Krishna Manoorkar (Vrije University, Amsterdam)
    66. Graham Manuell (CMUC, Universidade de Coimbra)
    67. Sergio Marcelino (Instituto de Telecomunicações, Lisboa)
    68. Ioannis Markakis (University of Cambridge)
    69. Vincenzo Marra (University of Milan)
    70. Miguel Martins (University of Barcelona)
    71. Nelson Martins-Ferreira (Polytechnic of Leiria)
    72. Guillaume Massas (UC Berkeley)
    73. Adam Mata (Warsaw University of Technology)
    74. Brett McLean (Ghent University)
    75. Sebastian Melzer (New Mexico State University, Las Cruces)
    76. Maria Paula Menchon (Nicolaus Copernicus University in Torun, Poland)
    77. George Metcalfe (University of Bern)
    78. Aline Michel (Université catholique de Louvain)
    79. Andrea Montoli (Università degli Studi di Milano)
    80. Carla Ruivo Morouço (Universidade de Coimbra)
    81. Adam Ó Conghaile (University of Cambridge)
    82. Axel Osmond (Université de Paris)
    83. Mattia Panettiere (Vrije Universiteit Amsterdam)
    84. Jorge Picado (CMUC, Universidade de Coimbra)
    85. Sandra Pinto (CMUC, Universidade de Coimbra)
    86. Wolfgang Poiger (University of Luxembourg)
    87. Adam Prenosil (University of Cagliari)
    88. Davide Emilio Quadrellaro (University of Helsinki)
    89. Jalali Raheleh (Utrecht University)
    90. Sanjiv Ranchod (University of Cape Town)
    91. Cerene Rathilal (University of Johannesburg)
    92. Ranjitha Raviprakash (New Mexico State University)
    93. Luca Reggio (University College London)
    94. Ülo Reimaa (University of Tartu, Estonia, & Université catholique de Louvain, Belgium)
    95. Diana Rodelo (CMUC and Universidade do Algarve)
    96. Morgan Rogers (Laboratoire d'Informatique Paris Nord)
    97. Antonino Salibra (Université Paris Cité)
    98. Hernan Javier San Martin (Universidad Nacional de la Plata)
    99. Luigi Santocanale (LIS/Aix-Marseille Université)
    100. Simon Santschi (University of Bern)
    101. Chiara Sarti (University of Cambridge)
    102. Igor Sedlár (Czech Academy of Sciences)
    103. Ilya Shapirovsky (New Mexico State University)
    104. Manuela Sobral (CMUC, Universidade de Coimbra)
    105. Sergejs Solovjovs (Czech University of Life Sciences, Prague)
    106. Lurdes Sousa (Polytechnic Institute of Viseu, Portugal & CMUC, Universidade de Coimbra)
    107. Luca Spada (University of Salerno)
    108. Gavin St. John (University of Cagliari)
    109. Isar Stubbe (Université du Littoral Côte d'Opale, Calais)
    110. Anna Laura Suarez (Université Côte d'Azur, Nice)
    111. Calin Tatarun (University of Cambridge)
    112. Bruno Teheux (University of Luxembourg)
    113. Walter Tholen (York University, Toronto)
    114. Naomi Tokuda (University of Bern)
    115. Davide Trotta (University of Pisa)
    116. Konstantinos Tsamis (University of Patras)
    117. Apostolos Tzimoulis (Vrije Universiteit Amsterdam)
    118. Sara Ugolini (IIIA - CSIC, Barcelona)
    119. Amanda Vidal (Artificial Intelligence Research Institute, Barcelona)
    120. Corentin Vienne (Université catholique de Louvain)
    121. Xiaolong Wang (Vrije Universiteit Amsterdam)
    122. Johann Joubert Wannenburg (Institute of Computer Science, Czech Academy of Sciences, Prague)
    123. Friedrich Wehrung (University of Caen)
    124. Joshua Wrigley (Università degli Studi dell'Insubria, Varese)
    125. João José Xarez (Universidade de Aveiro)
    126. Kentarô Yamamoto (Institute of Computer Science, the Czech Academy of Sciences, Prague)
    127. Fan Yang (University of Helsinki)
    128. Errol Yuksel (Stockholm University)
    129. William Zuluaga Botero (Universidad Nacional del Centro de la Provincia de Buenos Aires)

    Conference Programme



    Conference dates:

    Arrival: 19/06/2022 (welcome reception)

    Talks: 20/06 - 24/06

    Departure: 25/06/2022

    The programme will have 9 invited talks and 87 contributed talks.

    Contributed talks will be 30 mins long (including 5mins for discussion), and invited ones 60 minutes (including 5mins for discussion).

    Each lecture room has two big blackboards, a beamer projector and screen.


    The booklet of abstracts is available as a PDF here.


    Schedule:



    Sunday 19 Monday 20 Tuesday 21 Wednesday 22 Thursday 23 Friday 24
    08:30 Registration
    09:00 Invited talk Invited talk Invited talk Invited talk
    09:30 Invited talk
    10:00   Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
    10:30   Coffee Break
    11:00   Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
    11:30   Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
    12:00   Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
    12:30   LUNCH
     
     
    14:30   Invited talk Invited talk Excursion Invited talk Parallel Sessions
    15:00   Parallel Sessions
    15:30   Parallel Sessions Parallel Sessions Parallel Sessions Parallel Sessions
    16:00   Coffee Break Coffee Break
    16:30   Visit to UC Old Campus Parallel Sessions Parallel Sessions Invited talk
    17:00   Parallel Sessions Parallel Sessions
    17:30
    18:00  
    18:30  
    19:00 Welcome Reception
    19:30   Conference Dinner
    20:00  
    20:30  
     


    Detailed Programme:


    -Invited talks: Room Pedro Nunes (main entrance level)

    -Parallel Session 1: Room Pedro Nunes

    -Parallel Session 2: Room 17 de Abril (main entrance level)

    -Parallel Session 3: Room 2.4 (level 2)


    The program is available as a PDF here.

    List of contributed talks:

    (ordered by submission date)


    1. Jeffrey T. Denniston, Jan Paseka and Sergejs Solovjovs.
      Are finite affine topological spaces worthy of study?
      Abstract, Slides

    2. William Javier Zuluaga Botero.
      Central elements and the Gaeta topos: An algebraic and functorial overview on coextensive varieties
      Abstract, Slides

    3. Wesley Fussner and George Metcalfe.
      Transfer theorems for finitely subdirectly irreducible algebras
      Abstract, Slides

    4. Hernán San Martín.
      On relative principal congruences in term quasivarieties
      Abstract, Slides

    5. Samson Abramsky, Anuj Dawar and Adam O Conghaile.
      Cohomological refinements of k-consistency and k-equivalence
      Abstract, Slides

    6. Dominique Bourn.
      On the concept of Algebraic Crystallography
      Abstract, Slides

    7. Axel Osmond and Ivan Di Liberti.
      First order doctrines as bipresentable 2-categories
      Abstract, Slides

    8. Gejza Jenča.
      Quantum logics as algebras for monads
      Abstract, Slides

    9. Jiri Adámek.
      Hausdorff Polynomial Functors
      Abstract

    10. Greta Coraglia and Ivan Di Liberti.
      Deduction via 2-category theory
      Abstract, Slides

    11. Paolo Aglianò and Sara Ugolini.
      Projectivity in commutative residuated lattices
      Abstract, Slides

    12. Simon Santschi.
      Semilinear idempotent distributive l-monoids
      Abstract, Slides

    13. Sara Ugolini.
      Duality, unification, and admissibility in the positive fragment of Lukasiewicz logic
      Abstract, Slides

    14. Samson Abramsky and Rui Soares Barbosa.
      Contextuality in Logical Form: Duality for transitive partial CABAs
      Abstract, Slides

    15. Luigi Santocanale and Cédric De Lacroix.
      Unitless Frobenius Quantales
      Abstract, Slides

    16. Naomi Tokuda.
      The Dependence-Problem in Varieties of Modal Semilattices
      Abstract, Slides

    17. Saul Fernandez Gonzalez.
      Some Topological Considerations on Orthogonality
      Abstract, Slides

    18. Marco Abbadini, Guram Bezhanishvili and Luca Carai.
      An approach à la de Vries to compact Hausdorff spaces and closed relations
      Abstract, Slides

    19. Aline Michel and Marino Gran.
      Torsion theories and coverings of preordered groups
      Abstract, Slides

    20. Nick Bezhanishvili, Luca Carai, Silvio Ghilardi and Lucia Landi.
      Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
      Abstract, Slides

    21. Luigi Santocanale and Cédric De Lacroix.
      Frobenius structures in autonomous categories
      Abstract, Slides

    22. Nikolaos Galatos, George Metcalfe, Almudena Colacito and Simon Santschi.
      Lattice-ordered groups via distributive lattice-ordered monoids
      Abstract, Slides

    23. Adam Přenosil.
      From residuated lattices to ℓ-groups via free nuclear preimages
      Abstract, Slides

    24. Philippe Balbiani and Quentin Gougeon.
      Projective unification through duality
      Abstract, Slides

    25. João J. Xarez.
      The Monotone-Light Factorization for 2-categories via 2-preorders
      Abstract, Slides

    26. Damiano Fornasiere and Tommaso Moraschini.
      Sahlqvist correspondence for deductive systems
      Abstract, Slides

    27. Davide Trotta and Maria Emilia Maietti.
      Abstracting sheafification as a tripos-to-topos adjunction
      Abstract, Slides

    28. Andrea De Domenico, Ali Farjami, Krishna Balajirao Manoorkar, Alessandra Palmigiano, Mattia Panettiere and Xiaolong Wang.
      Subordination Algebras as Semantic Environment of Input/Output Logic
      Abstract, Slides

    29. Willem Conradie, Andrea De Domenico, Krishna Balajirao Manoorkar, Alessandra Palmigiano and Mattia Panettiere.
      Non-distributive logics as evidential logics
      Abstract, Slides

    30. Panagis Karazeris and Konstantinos Tsamis.
      Filtral pretoposes and compact Hausdorff locales
      Abstract, Slides

    31. Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis and Jinsheng Chen.
      Syntactic completeness of proper display calculi
      Abstract, Slides

    32. Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis and Nachoem Wijnberg.
      Interrogative agendas, categorization, and decision-making
      Abstract, Slides

    33. Sanjiv Ranchod.
      Internal Factorisation Systems
      Abstract, Slides

    34. Graham Manuell.
      Presenting quotient locales
      Abstract, Slides

    35. Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere and Apostolos Tzimoulis.
      Unified inverse correspondence for DLE-logics
      Abstract, Slides

    36. Igor Arrieta.
      Generalized subspaces in the duality of TD-spaces
      Abstract, Slides

    37. Luca Carai, Serafina Lapenta and Luca Spada.
      Baker-Beynon duality beyond finite presentations
      Abstract, Slides

    38. Petr Cintula.
      (A bit more) abstract Lindenbaum lemma
      Abstract, Slides

    39. Matthew Di Meglio.
      Universality of the self indexing of a finitely complete category and of its monoidal generalisation
      Abstract, Slides

    40. Giuseppe Greco, Apostolos Tzimoulis, Michael Moortgat and Valentin D. Richard.
      Lambek-Grishin Calculus: Focusing, Display and Full Polarization
      Abstract, Slides

    41. Tommaso Moraschini, James G Raftery and Johann J. Wannenburg.
      Epimorphisms in Varieties of De Morgan Monoids
      Abstract, Slides

    42. Andrea De Domenico, Giuseppe Greco and Alessandra Palmigiano.
      Algorithmic correspondence and analytic rules for (D)LE logics
      Abstract, Slides

    43. Guram Bezhanishvili and Sebastian Melzer.
      Hofmann-Mislove through the lenses of Priestley
      Abstract, Slides

    44. Herman Goulet-Ouellet.
      A pronilpotent look at maximal subgroups of free profinite monoids
      Abstract, Slides

    45. Peter Arndt, Hugo Mariano and Darllan Pinto.
      Algebraizability as algebraic structure
      Abstract, Slides

    46. Paula Menchón and Ricardo O. Rodriguez.
      Twist-structures isomorphic to modal Nelson Lattices
      Abstract, Slides

    47. Mai Gehrke and Sam van Gool.
      Preserving joins at primes
      Abstract, Slides

    48. Carlos Fitas.
      On presheaf submonads of quantale enriched categories
      Abstract, Slides

    49. Kentarô Yamamoto.
      The small index property of the Fraı̈ssé limit of finite Heyting algebras
      Abstract, Slides

    50. Ana Belén Avilez.
      Farness via Galois adjunctions and a separation theorem for uniform frames
      Abstract, Slides

    51. Célia Borlido and Brett McLean.
      Difference-restriction algebras of partial functions with operators: discrete duality and completion
      Abstract, Slides

    52. Anna Laura Suarez.
      Sublocales of the frame of fitted sublocales
      Abstract, Slides

    53. Cerene Rathilal.
      Locally non-separating sublocales and Peano compactifications
      Abstract

    54. Marco Abbadini and Luca Reggio.
      Regular categories and soft sheaf representations
      Abstract, Slides

    55. Rafal Gruszczzynski.
      A representation theorem for a system of point-free geometry
      Abstract, Slides

    56. Ilya Shapirovsky.
      Sums of Kripke frames and locally finite modal logics
      Abstract, Slides

    57. Igor Sedlar.
      One-sorted program algebras
      Abstract, Slides

    58. Alexander Kurz, Wolfgang Poiger and Bruno Teheux.
      Modal logic over semi-primal algebras
      Abstract, Slides

    59. Antonino Salibra.
      An algebraic theory of clones
      Abstract, Slides

    60. Célia Borlido and Brett McLean.
      Difference-restriction algebras of partial functions: axiomatizations and representations
      Abstract, Slides

    61. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali and Andrey Rivkin.
      Combination of Quantifier-Free Uniform Interpolants using Beth Definability (Abridged Version)
      Abstract, Slides

    62. Wesley Fussner and Gavin St. John.
      Associativity in Quantum Logic
      Abstract, Slides

    63. Amirhossein Akbar Tabatabai, Rosalie Iemhoff and Raheleh Jalali.
      Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
      Abstract, Slides

    64. Christopher J. Dean, Eric Finster, Ioannis Markakis, David Reutter and Jamie Vicary.
      Free Weak ω-Categories as an Inductive Type
      Abstract, Slides

    65. James Carr, Nick Bezhanishvili and Tommaso Moraschini.
      Hereditary Structural Completeness over K4
      Abstract, Slides

    66. Luca Carai, Serafina Lapenta and Luca Spada.
      The coordinatization of the spectra of ℓ-groups
      Abstract, Slides

    67. Andrea De Domenico, Krishna Balajirao Manoorkar, Alessandra Palmigiano, Mattia Panettiere and Apostolos Tzimoulis.
      A Gödel-type translation for non-distributive logics
      Abstract, Slides

    68. Adam Mata and Michał Stronkowski.
      Comparison of tabular intermediate logics
      Abstract, Slides

    69. Wesley Fussner and Nick Galatos.
      The Structure of Totally Ordered Idempotent Residuated Lattices
      Abstract, Slides

    70. Nick Bezhanishvili and Antonio Maria Cleani.
      Translational Embeddings via Stable Canonical Rules
      Abstract, Slides

    71. Diana Rodelo, Maria Manuel Clementino and Andrea Montoli.
      Remarks on enriched protomodularity
      Abstract, Slides

    72. Jacopo Emmenegger, Fabio Pasquali and Giuseppe Rosolini.
      Elementary fibrations and groupoids
      Abstract, Slides

    73. Georgi Nakov and Davide Emilio Quadrellaro.
      Algebraizable Weak Logics
      Abstract, Slides

    74. Rui Prezado.
      Lifting of monotone-light factorizations
      Abstract, Slides

    75. Giuseppe Greco, Apostolos Tzimoulis and Daniil Kozhemiachenko.
      Lukasiewicz logic properly displayed
      Abstract, Slides

    76. Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto and Apostolos Tzimoulis.
      Modal reduction principles across relational semantics
      Abstract, Slides

    77. Mattia Panettiere and Apostolos Tzimoulis.
      Graded modal logic with a single modality
      Abstract, Slides

    78. Alfredo Costa and Jorge Almeida.
      Equidivisibility and profinite coproduct
      Abstract, Slides

    79. Dirk Hofmann.
      On the double category of coalgebras
      Abstract, Slides

    80. Manuela Sobral and George Janelidze.
      Initiating descent theory for closure spaces
      Abstract, Slides

    81. Lurdes Sousa, Ivan Di Liberti and Gabriele Lobbia.
      Kan-injectivity and lax-idempotent monads
      Abstract, Slides

    82. Peter Jipsen and Melissa Sugimoto.
      On varieties of residuated po-magmas and the structure of finite ipo-semilattices
      Abstract, Slides

    83. Ülo Reimaa.
      Regular algebras over semimonads
      Abstract, Slides

    84. Eli Hazel.
      Dualities from categorical first principles
      Abstract

    85. Giuseppe Greco, Apostolos Tzimoulis, Krishna Manoorkar and Sabine Frittella.
      Probability via logic: semantic analysis and proof theory
      Abstract, Slides

    86. Alfredo Roque Freire and Manuel Martins.
      Modality in worlds with different logics
      Abstract, Slides

    87. Sérgio Marcelino and Carlos Caleiro.
      Advantages and challenges posed by PNmatrices
      Abstract, Slides


    SOCIAL PROGRAMME

    WELCOME RECEPTION:

    The welcome reception takes place at Cafetaria do Museu (the cafeteria of the UC Science Museum, number 5 in this map) on Sunday, June 19, 18:30-21:00.
    You may register then.

    VISIT TO THE UNIVERSITY:

    On Monday, at 16:30, we planned a visit to the Old Campus of the University of Coimbra (Palace of Schools, number 2 in this map). Quoting the University site "With 730 years of history, the University of Coimbra is an unavoidable institution in the history of Portugal and the entire Portuguese-speaking world, having been considered a UNESCO World Heritage Site in 2013, due to its unique material and immaterial heritage, fundamental in the history of Portugal. European and world scientific culture."

    At the registration you'll be asked whether you are willing to participate in this visit.

    EXCURSION:

    The price for accompanying persons is 30 euros.

    OPTION 1: EXCURSION TO BUSSACO FOREST (Mata do Bussaco)
    Classified as a Property of Public Interest, the monumental complex of Bussaco has exceptional national value. The central nucleus formed by the Bussaco Palace Hotel and the Convent of Santa Cruz are joined by chapels, the steps that make up the Via Sacra, the Military Museum, fountains (Fonte Fria with its monumental staircase) and viewpoints. It currently occupies 105 hectares and has one of the best dendrological collections in Europe, with around 250 species of trees and shrubs with remarkable specimens. It is one of the richest national forests in terms of natural, architectural and cultural heritage, and can be divided into three landscape units: Arboretum, Gardens and Vale dos Fetos and Relic Forest. The Mata Nacional do Bussaco provides food, shelter and refuge for over one hundred and fifty species of vertebrates, some of great conservation value, such as Iberian endemisms or protected species. The visit encompasses the Convent, the Garden of Bussaco Palace and some of the most emblematic places of the Forest. At the end brunch will be served at Portas de Coimbra.

    OPTION 2: EXCURSION TO LOUSÃ MONTAIN (Serra da Lousã)
    Our journey starts at the Castle of Lousã. Since 946 B.C. it has stood in Serra da Lousã, where we are going to walk. The old trails have been used for more than 3 centuries by the inhabitants of the Schist Villages. We will go from the castle, through forests of very old oaks and chestnut trees, to the village of "Talasnal", up on the mountain. There, in the "Eira Cimeira", where all the community events took place, we will taste local liquors and pastry, made from local products. Through the narrow streets, we will feel how the people lived there, how they worked the land and what they got out of it, and how hard life was. On our way back to the castle, we will see the impact of invasive plants on our mountain and how we can fight it. Back in the castle, and after 5 km of walk, a brunch will be served. Notice: take light clothes, nice and comfortable walking shoes, water bottles, hats and lots of sun cream.

    CONFERENCE DINNER

    The conference dinner will take place at Palácio de São Marcos on Thursday, June 23.
    The price for accompanying persons is 35 euros.

    Summer School




    Dates

    Arrival: 13/06/2022 (welcome dinner)

    School: 14/06 - 18/06, lunchtime.

    Venue

    The summer school associated to the TACL conference will be held in Flag Hotel Miravillas, in Praia de Mira (a village located on the Atlantic coast, 40km northwest of Coimbra).

    The traditional "Arte Xavega" in Praia de Mira: a video.

    Walking Trails in Mira: maps with information in English HERE.
    PDFs: All routes, Water Mills Route, Vala Real Route, Conglomerate Route, Dunes Route, Pine Forest Route.


    Lecturers


    School’s Programme



    The school’s programme is also available for download here: [PDF], [PNG]



    Tuesday 14 Wednesday 15 Thursday 16 Friday 17 Saturday 18
    09:30 Proof Theory, Logic and Algebra
    Rosalie Iemhoff     		From metric spaces to quantale-enriched categories
    Walter Tholen     		Proof Theory, Logic and Algebra
    Amir Tabatabai     		From metric spaces to quantale-enriched categories
    Walter Tholen     		From metric spaces to quantale-enriched categories
    Walter Tholen
     
    10:15 Duality Theory
    Dirk Hofmann
     
    11:00 COFFEE BREAK
    11:30 Pointfree Topology and Constructive Mathematics
    Graham Manuell     		Duality theory
    Dirk Hofmann     		Pointfree Topology and Constructive Mathematics
    Graham Manuell     		Duality theory
    Dirk Hofmann     		Proof Theory, Logic and
    Algebra
    Amir Tabatabai
     
    12:15 Pointfree Topology and Constructive Mathematics
    Graham Manuell
     
    13:00 LUNCH
     
     
    14:30 Duality theory
    Dirk Hofmann     		Proof Theory, Logic and
    Algebra
    Rosalie Iemhoff     		From metric spaces to quantale-enriched categories
    Walter Tholen     		Proof Theory, Logic and
    Algebra
    Amir Tabatabai
     
    15:30 Pointfree Topology and Constructive Mathematics
    Graham Manuell     		Pointfree Topology and Constructive Mathematics
    Graham Manuell
     
    16:30 Coffee Break



    List of Participants

    (updated June 1)

    1. Marco Abbadini (University of Salerno)
    2. Igor Arrieta (CMUC, Universidade de Coimbra)
    3. Ana Belén Avilez (CMUC, Universidade de Coimbra)
    4. Raquel Bernardes (CMUC, Universidade de Coimbra)
    5. Célia Borlido (CMUC, Universidade de Coimbra)
    6. Andrea Cappelletti (Università degli Studi di Milano)
    7. Maria Manuel Clementino (CMUC, Universidade de Coimbra)
    8. Andrea De Domenico (Vrije Universiteit, Amsterdam)
    9. Cédric De Lacroix (Aix-Marseille Université)
    10. Mathew Di Meglio (University of Edinburgh)
    11. Nadja Egner (Université catholique de Louvain)
    12. Maria João Ferreira (CMUC, Universidade de Coimbra)
    13. Carlos Fitas (CMUC, Universidade de Coimbra)
    14. Damiano Fornasiere (University of Barcelona)
    15. David Forsman (Université catholique de Louvain)
    16. Abdelkader Gouaich (CNRS LIRMM, Montpellier)
    17. Quentin Gougeon (CNRS, Toulouse University)
    18. Giuseppe Greco (Vrije Universiteit, Amsterdam)
    19. Francesca Guffanti (Università degli Studi di Milano)
    20. Gonçalo Gutierres (CMUC, Universidade de Coimbra)
    21. Eli Hazel (Macquarie University, Sydney)
    22. Dirk Hofmann (CIDMA, Universidade de Aveiro)
    23. Rosalie Iemhoff (Utrecht University)
    24. Raheleh Jalali (Utrecht University)
    25. Peter Jipsen (Chapman University, Orange CA)
    26. Kristóf Kanalas (Masaryk University, Brno)
    27. Lia Malato Leite (FCUL - Universidade de Lisboa)
    28. Krishna Balajirao Manoorkar (Vrije Universiteit, Amsterdam)
    29. Sandra Mantovani (Università degli Studi di Milano)
    30. Graham Manuell (CMUC, Universidade de Coimbra)
    31. Miguel Martins (University of Barcelona)
    32. Adam Mata (Warsaw University of Technology)
    33. Sebastian Melzer (New Mexico State University, Las Cruces)
    34. Maria Paula Menchon (Nicolaus Copernicus University in Torun, Poland)
    35. Giuseppe Metere (Università degli Studi di Palermo)
    36. Aline Michel (Université catholique de Louvain)
    37. Carla Morouço (Universidade de Coimbra)
    38. Georgi Nakov (University of Strathclyde)
    39. Mattia Panettiere (Vrije Universiteit, Amsterdam)
    40. Jorge Picado (CMUC, Universidade de Coimbra)
    41. Wolfgang Poiger (University of Luxembourg)
    42. Rui Prezado (CMUC, Universidade de Coimbra)
    43. Davide Emilio Quadrellaro (University of Helsinki)
    44. Sanjiv Ranchod (University of Cape Town)
    45. Ranjitha Raviprakash (New Mexico State University, Las Cruces)
    46. Konstantine Razmadze (Tbilisi State University)
    47. Manuela Sobral (CMUC, Universidade de Coimbra)
    48. Anna Laura Suarez (Université Côte d'Azur)
    49. Amir Tabatabai (Utrecht University)
    50. Walter Tholen (York University, Toronto)
    51. Apostolos Tzimoulis (Vrije Universiteit, Amsterdam)
    52. Corentin Vienne (Université catholique de Louvain)
    53. Xiaolong Wang (Vrije Universiteit, Amsterdam)
    54. Errol Yuksel (Stockholm University)




    REGISTRATION

    The hotel is fully booked.
    If you want to attend the School you will have to reserve your accommodation by yourself and register sending a message to .

    • Registration fee: 260 euros

      It includes shared accommodation in double rooms in Flag Hotel Miravillas, the welcome dinner, lunches, coffee-breaks and the transport from Coimbra to Praia de Mira (note that the number of spaces in the school is limited).

    • Travel to Praia de Mira: There will be bus arrangements to take us from Coimbra to Praia de Mira and back. The bus from Coimbra will depart on Monday June 13 at 17:30 from the Math Department and at 18:00 from Coimbra B railway station. We'll come back to Coimbra on Saturday June 18 after lunch.



    Financial Support

    Limited funds for supporting summer school participants are available (mainly through the ERC Advanced Project DuaLL). This is intended primarily for students, but non-students can be considered in exceptional circumstances.

    Those who plan to request financial support should submit a copy of their CV and a letter of support from their PhD advisor or post-doc supervisor (if applicable) to

    ,

    with 'Summer School support request' in the subject, by March 18, 2022.


    Organizing Committee

    • Maria Manuel Clementino (chair)
    • Igor Arrieta
    • Ana Belén Avilez
    • Célia Borlido
    • Maria João Ferreira
    • Carlos Fitas
    • Rui Prezado

    SPONSORS


    Contact Us

    for any questions regarding TACL2022 Conference or the Summer School, please write an email to