[cat.fr] Fwd: categories: TACL 2019 First announcement

[Isar Stubbe <>]

Bonjour à tous,

je me permets de vous transmettre l'annonce de la conférence TACL 2019, qui 
aura lieu à Nice. Le "C" dans TACL est pour "catégories", c'est donc un 
excellent forum pour présenter vos travaux ayant un lien avec la logique (au 
sens large)!

Bonne journée,

Isar Stubbe.


> Begin forwarded message:
> 
> From: Tomáš Jakl <>
> Subject: categories: TACL 2019 First announcement
> Date: 8 October 2018 at 12:21:48 GMT+2
> To: Categories list <>, Logic list <>
> Reply-To: Tomáš Jakl <>
> 
> =================================================================
>      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:   
> School web site:    https://math.unice.fr/tacl/2019/school/
> 
> 
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]