
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div><div class="">===================================================<br class="">TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022)<br class="">First announcement<br class="">===================================================<br class=""><br class="">Conference: June 20-24, 2022 in Coimbra<br class="">School: June 13-18, 2022 in Praia de Mira<br class=""><br class=""><a href="https://www.mat.uc.pt/~tacl2022" class="">https://www.mat.uc.pt/~tacl2022</a><br class=""><br class="">Organized by the Centre for Mathematics (CMUC) and the Department of Mathematics (DMUC) of the University of Coimbra<br class=""><br class=""><br class="">Scope<br class="">--------<br class="">Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in<br class="">computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields,<br class="">including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2022 will<br class="">focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological,<br class="">algebraic, and categorical methods.<br class=""><br class="">TACL 2022 is the tenth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).<br class="">Earlier instalments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007),<br class="">Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017), and Nice (2019).<br class=""><br class=""><br class="">Featured topics<br class="">---------------------<br class="">Contributed talks are intended to be about topological, algebraic or categorical methods used in mathematical or computer science<br class="">logic. This includes, but is not limited to, the following areas:<br class=""><br class="">* Algebraic logic<br class="">* Algebraic structures in CS<br class="">* Categorical methods in logic<br class="">* Coalgebra<br class="">* Domain theory<br class="">* Fuzzy and many-valued logics<br class="">* Lattice theory<br class="">* Lattices with operators<br class="">* Modal logics<br class="">* Non-classical logics<br class="">* Ordered algebraic structures<br class="">* Ordered topological spaces<br class="">* Pointfree topology<br class="">* Proofs and types<br class="">* Residuated structures<br class="">* Semantics<br class="">* Stone-type dualities<br class="">* Substructural logics<br class="">* Topological semantics of modal logic<br class=""><br class=""><br class="">Invited speakers<br class="">---------------------<br class=""><br class="">* Marta Bilkova, Czech Academy of Sciences, Prague<br class="">* David Fernandez-Duque, Ghent University<br class="">* Richard Garner, Macquarie University, Sydney<br class="">* Jean Goubault-Larrecq, Ecole Normale Superieure Paris-Saclay<br class="">* Peter Johnstone, University of Cambridge<br class="">* Vincenzo Marra, University of Milan<br class="">* Amanda Vidal, Artificial Intelligence Research Institute, Barcelona<br class="">* Friedrich Wehrung, University of Caen<br class="">* Fan Yang, University of Helsinki<br class=""><br class=""><br class="">Lecturers at the Summer School<br class="">------------------------------------------<br class=""><br class="">* Dirk Hofmann, University of Aveiro<br class="">* Rosalie Iemhoff, Utrecht University<br class="">* Graham Manuell, University of Coimbra<br class="">* Walter Tholen, York University, Toronto<br class=""><br class=""><br class="">Submission instructions<br class="">-------------------------------<br class="">Authors can submit an Extended Abstract of 2 pages (including<br class="">references) at the EasyChair conference system:<br class=""><br class=""><a href="https://easychair.org/conferences/?conf=tacl2022" class="">https://easychair.org/conferences/?conf=tacl2022</a><br class=""><br class=""><br class="">Important dates<br class="">---------------------<br class="">School: June 13-18, 2022<br class="">Conference: June 20-24, 2022<br class=""><br class="">Contributed talks:<br class="">Submission deadline: March 4, 2022<br class="">Notification to authors: April 15, 2022<br class=""><br class="">The school's programme will start on Tuesday June 14 in the morning and will end on Saturday June 18 in the afternoon.<br class="">A bus transfer from and to Coimbra will be arranged by the organisers, on the afternoon of June 13 and June 18, respectively.<br class=""><br class="">The conference programme will start on Monday June 20 in the morning and will end on Friday June 24 in the afternoon.<br class=""><br class=""><br class="">Financial support<br class="">-----------------------<br class=""><br class="">For the summer school a certain amount of funding is available for those in financial need. This is intended primarily for students, but non-students can be considered in exceptional circumstances.<br class=""><br class=""><br class="">Program Committee<br class="">---------------------------<br class=""><br class="">Peter Jipsen, Chapman University, USA (PC co-chair)<br class="">Jorge Picado, Universidade de Coimbra, Portugal (PC co-chair)<br class="">Nick Bezhanishvili, University of Amsterdam, Netherlands<br class="">Agata Ciabattoni, Vienna University of Technology, Austria<br class="">Maria Manuel Clementino, Universidade de Coimbra, Portugal<br class="">Mai Gehrke, Université Côte D'Azur, Nice, France<br class="">Silvio Ghilardi, Università degli Studi di Milano, Italy<br class="">Zuzana Hanikova, Inst. of Computer Science, Czech Academy of Sciences<br class="">John Harding, New Mexico State University, USA<br class="">Tomas Jakl, University of Cambridge, UK<br class="">Zurab Janelidze, Stellenbosch University, South Africa<br class="">Ramon Jansana, Universitat de Barcelona, Spain<br class="">Agi Kurucz, King's College London, UK<br class="">Serafina Lapenta, Universita degli Studi di Salerno, Italy<br class="">Matias Menni, Conicet and Universidade Nacional de La Plata, Argentina<br class="">George Metcalfe, University of Bern, Switzerland<br class="">Hiroakira Ono, Japan Advanced Institute of Science & Technology, Japan<br class="">Daniela Petrisan, University Paris Diderot (Paris 7), France<br class="">Adam Prenosil, Universita degli Studi di Cagliari, Italy<br class="">Luca Reggio, University of Oxford, UK<br class="">Greg Restall, University of St Andrews, UK<br class="">Benno van den Berg, University of Amsterdam, Netherlands<br class=""><br class=""><br class="">Steering Committee<br class="">---------------------------<br class=""><br class="">Guram Bezhanishvili, New Mexico State University, United States<br class="">Mai Gehrke, CNRS and Universite Cote d'Azur, France<br class="">Silvio Ghilardi, University of Milan, Italy<br class="">Ramon Jansana, University of Barcelona, Spain<br class="">Hilary Priestley, University of Oxford, United Kingdom<br class="">James Raftery, University of Pretoria, South Africa<br class="">Yde Venema, University of Amsterdam, Netherlands<br class=""><br class=""><br class="">Organizing Committee<br class="">-----------------------------<br class="">Maria Manuel Clementino (chair)<br class="">Igor Arrieta<br class="">Ana Belen Avilez<br class="">Celia Borlido<br class="">Maria Joao Ferreira<br class="">Carlos Fitas<br class="">Goncalo Gutierres<br class="">Dirk Hofmann<br class="">Graham Manuell<br class="">Jorge Picado<br class="">Sandra Pinto<br class="">Rui Prezado<br class="">Manuela Sobral<br class="">Lurdes Sousa<br class=""><br class="">More Information<br class="">------------------------<br class=""><br class="">Information about registration as well as suggested hotels will be forthcoming in future announcements.<br class=""><br class="">If you would like to receive future announcements, please send a message to this effect to the conference e-mail address.<br class=""><br class="">TACL 2022 web site: <a href="https://www.mat.uc.pt/~tacl2022/" class="">https://www.mat.uc.pt/~tacl2022/</a><br class="">Conference email: <a href="mailto:tacl2022@mat.uc.pt" class="">tacl2022@mat.uc.pt</a><br class="">School web site: <a href="https://www.mat.uc.pt/~tacl2022/#school" class="">https://www.mat.uc.pt/~tacl2022/#school</a><br class=""><br class="">-----------------------</div></body></html>