================================================================= TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2019) First announcement ================================================================= Conference: June 17 - 21, 2019 in Nice School: June 10 - 15, 2019 in ??le de Porquerolles https://math.unice.fr/tacl/2019/ Organized by Laboratoire J. A. Dieudonn??, Universit?? C??te d???Azur. Scope ----- Studying logic 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 programme of the conference TACL 2019 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods. TACL 2019 is the ninth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier instalments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), and Prague (2017). Featured topics --------------- Contributed talks are intended to be about topological, algebraic or categorical methods used in mathematical or computer science logic. This includes, but is not limited to, the following areas: * Algebraic logic * Algebraic structures in CS * 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 Invited speakers ---------------- * Samson Abramsky Department of Computer Science, University of Oxford * Johan van Benthem Department of Philosophy, Stanford University * Marcel Ern?? Institute of Algebra, Number Theory and Discrete Mathematics, Leibniz University Hannover * Sam van Gool Institute for Logic, Language and Computation, University of Amsterdam * Wesley Holliday Department of Philosophy, University of California Berkeley * Agi Kurucz Department of Informatics, King???s College London * Tommaso Moraschini Institute of Computer Science, Czech Academy of Sciences * Daniela Petrisan Institut de Recherche en Informatique Fondamentale, Universit?? Paris Diderot * Hilary Priestley Mathematical Institute, University of Oxford * Boris Zilber Mathematical Institute, University of Oxford Lecturers at the Summer School ------------------------------ * Maria Manuel Clementino - Category Theory Coimbra University * Andr?? Joyal - Topos Theory University of Quebec in Montreal * George Metcalfe - Algebraic Methods in Proof Theory University of Bern * Yde Venema - Duality Theory University of Amsterdam Submission instructions ----------------------- Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system: https://easychair.org/conferences/?conf=tacl2019 Important dates --------------- School: June 10 - 15, 2019 Conference: June 17 - 21, 2019 Contributed talks: Submission deadline: February 27, 2019 Notification to authors: April 10, 2019 The school's programme will start on Tuesday June 11 in the morning and will end on Saturday June 15 in the afternoon. Arrival on the island will be on Monday June 10 in the evening and departure at the end of the day on Saturday June 15. A bus transfer from and to Nice will be arranged by the organisers. The conference programme will start on Monday June 17 in the morning and will end on Friday June 21 in the afternoon. Program Committee ----------------- Silvio Ghilardi, University of Milan, Italy (PC co-chair) Ramon Jansana, University of Barcelona, Spain (PC co-chair) Mai Gehrke, CNRS and Universit?? C??te d???Azur, France (liaison with local organizing committee) Nick Bezhanishvili, University of Amsterdam, Netherlands Marta B??lkov??, Charles University, Czech Republic Agata Ciabattoni, TU Vienna, Austria David Gabelaia, Tbilisi State University, Republic of Georgia Jean Goubault-Larrecq, ENS Cachan, France John Harding, New Mexico State University, USA Rosalie Iemhoff, Utrecht University, Netherlands Vincenzo Marra, University of Milan, Italy Paul-Andr?? Melli??s, CNRS and Paris Diderot University, France Jorge Picado, University of Coimbra, Portugal Ale?? Pultr, Charles University, Czech Republic James Raftery, University of Pretoria, South Africa Anna Romanowska, Warsaw Polytechnic, Poland Valentin Shehtman, Moscow State University, Russia Isar Stubbe, University C??te d???Opale, France Fred Wehrung, CNRS and University of Caen, France Michael Zakharyaschev, University of London, United Kingdom Steering Committee ------------------ Guram Bezhanishvili, New Mexico State University, United States Mai Gehrke, CNRS and Universit?? C??te d???Azur, France Silvio Ghilardi, University of Milan, Italy Rob Goldblatt, Victoria University Wellington, New Zealand Ram??n Jansana, University of Barcelona, Spain Hilary Priestley, University of Oxford, United Kingdom James Raftery, University of Pretoria, South Africa Yde Venema, University of Amsterdam, Netherlands Organizing Committee -------------------- Mai Gehrke ??tienne Lozes Fr??d??ric Patras Luigi Santocanale Clemens Berger Carlos Simpson C??lia Borlido Tom???? Jakl Brett McLean Axel Osmond Luca Reggio Mehdi Za??di More Information ---------------- Information about registration and potential applications for reduced fees as well as suggested hotels will be forthcoming in future announcements. Since hotels on the riviera fill up quickly it is important to book early. If you want to be sure to receive future announcements, please send a message to this effect to the conference e-mail address. TACL 2019 web site: https://math.unice.fr/tacl/2019/ Conference email: tacl@unice.fr School web site: https://math.unice.fr/tacl/2019/school/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]