-----Mensagem original----- De: Tomáš <[email protected]> Para: Tomáš <[email protected]> Data: segunda-feira, 10 de novembro de 2025 às 13:50 -03 Assunto: TACL 2026 - first announcement [ On behalf of the TACL 2026 organising team let me forward to you the first TACL 2026 announcement. If you no longer wish to receive emails about TACL series of conferences and adjacent events please let me know. Tomas Jakl ] ===================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2026) ===================================================== School: July 6 -- 10, 2026 (Krakow) Conference: July 13 -- 17, 2026 (Krakow) https://iphils.uj.edu.pl/tacl The 12th International Conference "Topology, Algebra and Categories in Logic" organized by Jagellonian University (Krakow). Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order and model theory. The program of the conference TACL 2026 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical and topological methods. Featured topics --------------- We welcome contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Lattice theory * Lattices with operators * Many-valued and fuzzy logics * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and types * Residuated structures * Semantics (algebraic, relational, topological, categorical) * Stone-type dualities * Substructural logics Submissions ----------- Abstracts of proposed contributions must be submitted through EasyChair and may be at most 2 pages, including references (using EasyChair style). Contributed presentations will be 30 minutes long. https://easychair.org/my/conference?conf=tacl2026 Important dates --------------- February 23, 2026: Abstract submission deadline April 20, 2026: Notification July 6 -- 10, 2026: School July 13 -- 17, 2026: Conference Venues ------ The conference will be held in the Larisch Palace of the Jagellonian University in Krakow, Poland. Registration ------------ The registration will be open in early April 2026. Program Committee ----------------- Nick Bezhanishvili (co-chair), ILLC - University of Amsterdam Nick Galatos (co-chair), University of Denver Guram Bezhanishvili, New Mexico State University Marta Bilkova, Czech Academy of Sciences Luca Carai, University of Milan David Gabelaia, TSU Razmadze Mathematical Institute Sam van Gool, ENS Paris-Saclay Jean Goubault-Larrecq, ENS Paris-Saclay Wesley Holliday, University of California, Berkeley Rosalie Iemhoff, Utrecht University Tomáš Jakl, Czech Technical University Peter Jipsen, Chapman University Alexander Kurz, Chapman University Vincenzo Marra, University of Milan Matías Menni, Conicet and Universidad Nacional de La Plata Tommaso Moraschini, University of Barcelona Jorge Picado, University of Coimbra Adam Přenosil, University of Barcelona Revantha Ramanayake, University of Groningen Luca Reggio, University of Milan Anna Romanowska, Warsaw University of Technology Luigi Santocanale, Aix-Marseille University Katarzyna Słomczyńska, UKEN Krakow Sonja Smets, University of Amsterdam Luca Spada, University of Salerno Bruno Teheux, University of Luxembourg Sara Ugolini, IIIA - CSIC Fan Yang, Utrecht University Steering Committee ------------------ Guram Bezhanishvili, New Mexico State University, USA Mai Gehrke, Universite Cote d'Azur, Nice, France Silvio Ghilardi, Universita degli Studi di Milano, Italy Ramon 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 -------------------- Zalán Gyenis Tomasz Kowalski (Chair) Piotr Łukowski Katarzyna Słomczyńska Marek Zaionc More Information ---------------- TACL 2026 web site: https://iphils.uj.edu.pl/tacl Email: [email protected] -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1508694841.53519001.1762795134714.JavaMail.zimbra%40ufba.br.
[Logica-l] Fwd: TACL 2026 - first announcement
'Samuel Gomes da Silva' via LOGICA-L Mon, 10 Nov 2025 09:19:09 -0800
