=============================================================================== > TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) > =============================================================================== > > 26-30 July 2011 > Universités Aix-Marseille I-II-III, France > http://www.lif.univ-mrs.fr/tacl2011/ > > > > Scope > ----- > 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 2011 will focus on three > interconnecting mathematical themes central to the semantical study > of logics and their applications: algebraic, categorical, and > topological methods. This is the fifth 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). > > > Featured topics > --------------- > > Contributed talks can deal with any topic dealing with 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 > * Fuzzy and many-valued logics > * Lattice theory > * Lattices with operators > * Modal logics > * Non-classical logics > * Ordered topological spaces > * Ordered algebraic structures > * Pointfree topology > * Proofs and Types > * Residuated structures > * Semantics > * Stone-type dualities > * Substructural logics > * Topological semantics of modal logic > > Submissions > ----------- > Contributed presentations will be of two types: 20 minutes long > presentations in parallel sessions and featured, 30 minutes long, > plenary presentations. The submission of an abstract of 1-4 pages is > required to be selected for a contributed presentation of either > kind. While preference will be given to new work, results that have > already been published or presented elsewhere will also be > considered. More information on the submission procedure is > available on the conference website. > > > Important dates > --------------- > April 18, 2011: Abstract submission deadline > May 20, 2011: Notification to authors > July 26-30, 2011: Conference > > > > Program Committee > ----------------- > Guram Bezhanishvili, New Mexico State University > Petr Cintula, Academy of Sciences of the Czech Republic > Thierry Coquand, University of Gothenburg > Mai Gehrke, Radboud University, Nijmegen > Silvio Ghilardi, Università degli Studi di Milano > Rob Goldblatt, Victoria University, Wellington > Martin Hyland, King's College, Cambridge > Ramon Jansana, Universitat de Barcelona > Achim Jung (PC co-chair), University of Birmingham > Alexander Kurz, University of Leicester > Yves Lafont, Université Aix-Marseille II > Tadeusz Litak, University of Leicester > Paul-André Melliès, CNRS Paris Diderot > George Metcalfe, Universität Bern > Nicola Olivetti, Université Aix-Marseille III > Hiroakira Ono, Japan Advanced Institute of Science and Technology > Luigi Santocanale, Université Aix-Marseille I > Kazushige Terui, Kyoto University > Costantine Tsinakis, Vanderbilt University > Yde Venema (PC co-chair), University of Amsterdam > Friedrich Wehrung, Université de Caen > Michael Zakharyaschev, University of London > > More Information > ---------------- > If you have any queries please send them to the conference email address: > tacl2...@lif.univ-mrs.fr > =============================================================================== > > >
---------------------------------------------------------------- Universidade Federal da Bahia - http://www.portal.ufba.br _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
