[TYPES/announce] TACL 2013, first call for abstracts

[Alexander Kurz]

[Apologies for multiple copies]

======================================================

TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2013)

======================================================

July 28 - August 1, 2013
Department of Mathematics, Vanderbilt University
Nashville, Tennessee USA
http://www.math.vanderbilt.edu/~tacl2013/

The Sixth International Conference on Topology, Algebra and Categories
in conjunction with the
28th Annual Shanks Lecture Series

======================================================

Confirmed invited speakers
-------------------------------------

Vladimir Voevodsky, Institute for Advanced Studies, USA (Shanks Lecturer)

Nick Bezhanishvili, Utrecht University, The Netherlands

Leo Cabrer, University of Oxford, UK

Silvio Ghilardi, University of Milan, Italy

George Metcalfe, University of Bern, Switzerland

Alex Simpson, University of Edinburgh, UK



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 2013 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 sixth 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), Marseilles (2011).



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

* 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

* Stone-type dualities

* Substructural logics

* Topological semantics of modal logic


Submissions
-----------------

Contributed presentations will be of two types:

o 20 minutes long presentations in parallel sessions and

o featured, 30 minutes long, plenary presentations.

The submission of an abstract will be 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, as well as a link to the EasyChair system, can
be found at the conference web site.


Important dates
-----------------

April 1, 2013: Abstract submission deadline

May 1, 2013:   Notification to authors

July 28-August 1, 2013:  Conference


Program Committee
---------------------------

Steve Awodey, Carnegie Mellon University

Guram Bezhanishvili, New Mexico State University

David Gabelaia, Razmadze Mathematical Institute, Tbilisi

Nick Galatos (co-chair), University of Denver

Mai Gehrke, LIAFA, University of Paris Diderot

Rob Goldblatt, Victoria University, Wellington

John Harding, New Mexico State University

Ramon Jansana, University of Barcelona

Peter Jipsen, Chapman University

Achim Jung, University of Birmingham

Alexander Kurz (co-chair), University of Leicester

Vincenzo Marra, University of Milan

Hiroakira Ono, Japan Advanced Institute of Science and Technology

Alessandra Palmigiano, University of Amsterdam

Hilary Priestley, St Anne's College, Oxford

James Raftery, University of KwaZulu-Natal, Durban

Thomas Streicher, Technical University of Darmstadt

Kazushige Terui, Kyoto University

Constantine Tsinakis, Vanderbilt University

Yde Venema, University of Amsterdam

Michael Zakharyaschev, Birkbeck College, University of London


Organizing Committee
-------------------------------

Chris Conidis, Vanderbilt University

Lianzhen Liu, Jiangnan University, China

Warren McGovern, Florida Atlantic University

Francesco Paoli, University of Cagliari

Rebecca Steiner, Vanderbilt University

Constantine Tsinakis (chair), Vanderbilt University

William Young, Vanderbilt University


Expression of interest
------------------------------

We would greatly appreciate your taking two minutes to express your
level of interest in the conference by filling out a simple form on
the conference web site under "Express Interest". This will help the
Organizing Committee with their planning. You can also opt-out from
receiving future announcements by clicking the link at the bottom of
this email.

More Information
-----------------------

TACL 2013 web site: http://www.math.vanderbilt.edu/~tacl2013/

Use this site for local information, including hotel accommodations,
for travel information and registration, and for submitting a request
for financial support.

Any queries for the Program Committee (such as usage of the EasyChair
conference system, abstract submission guidelines, conference program,
etc.) should be sent to tacl2013 at gmail.com. Queries for the local
Organizing Committee (registration, hotel accommodations, financial
support and reimbursements, technology infrastructure, etc.) should be
sent to tacl2013oc at vanderbilt.edu.