Logic List Mailing Archive

TACL 2013: Topology, Algebra and Categories in Logic, Nashville TN (U.S.A.), 24 July to 1 August 2013

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

TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2013)

                      Conference and Summer School
       (Abstract Submission Deadline: April 1, 2013)
       (Support Request Deadline: April 21, 2013)
======================================================

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

Conference and Shanks Lectures: July 28 - August 1, 2013
Summer School: July 24 - 27, 2013

Department of Mathematics, Vanderbilt University
Nashville, Tennessee USA
http://www.math.vanderbilt.edu/~tacl2013/
=============================================


Sponsors
-------------

National Science Foundation
Association for Symbolic Logic
Shanks Endowment
Vanderbilt University
Consortium for Order in Algebra and Logic


Invited Speakers (Conference)
-------------------------------------------------------

Vladimir Voevodsky, Institute for Advanced Studies (Shanks Lecturer)

Bernhard Banaschewski, McMaster University

Nick Bezhanishvili, Utrecht University

Leo Cabrer, University of Oxford

Silvio Ghilardi, University of Milan

Rostislav Horcik, Academy of Sciences of the Czech Republic

George Metcalfe, University of Bern

Alex Simpson, University of Edinburgh


Summer School Invited Speakers and Courses
-------------------------------------------------------------------------

Grigori Mints,  Stanford University (on Proof Theory)

Lawrence Moss, Indiana University (on Recursion and Circularity)

Francesco Paoli, University of Cagliari (on Algebraic Logic)

Peter Selinger, Dalhousie University (on Categorical Logic)


Scope of the Conference
---------------------------------

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

* Point-free topology

* Proofs and Types

* Residuated structures

* Semantics

* Stone-type dualities

* Substructural logics

* Topological semantics of modal logic


The Summer School
----------------------------

TACL brings together different disciplines with the goal of exploring 
problems in logic. Partly due to the success of the TACL conference 
series, researchers have started employing tools used outside their 
immediate areas, either individually or in collaboration with specialists 
in research fields featured in the series. Such interactions have also 
naturally lead to new directions that combine ideas from two or more 
research fields.

This has been a gradual and arduous process and TACL can boast of having 
participants that are at least somewhat familiar with most of the featured 
areas. However, young researchers and students who attend the conference 
and work in TACL fields have a more restricted and specialized repertoire 
of tools and knowledge. The goal of the Summer School is to fill the gap 
and expose such researchers to a variety of methods that can be used to 
study logic. It will primarily target graduate students and postdocs, but 
also more senior researchers who are not familiar with aspects of 
neighboring areas.

Prospective Summer School participants should express their interest on 
the 'Express Interest' page of the TACL 2013 web site by selecting the 
events that plan to attend (summer school and/or conference). Limited 
funds for supporting summer school participants are available (mainly 
through NSF). Those who plan to request financial support should submit a 
copy of their CV and a letter of support from their PhD advisor or 
post-doc supervisor (if applicable) to 
tacl2013@gmail.com<mailto:tacl2013@gmail.com> with 'Summer School support 
request' in the subject line by April 21, 2013. In addition, they need to 
fill out the financial support form on the 'Support Requests' page by the 
same date. Registration should also be completed by June 1, 2013. We would 
appreciate your assistance in advertising the Summer School to interested 
students. Additional information can be found on the 'Summer School' page 
of the TACL 2013 web site.


Submissions to the Conference
-------------------------------------------

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

April 21, 2013: Conference support request deadline

April 21, 2013: Summer School support request deadline

May 1, 2013: Notification to authors and summer school applicants

June 1, 2013 - Deadline for early online registration and payment

July 24 - 27: Summer School

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@gmail.com<mailto:tacl2013@gmail.com>. 
Queries for the local Organizing Committee (registration, hotel 
accommodations, financial support and reimbursements, technology 
infrastructure, etc.) should be sent to 
tacl2013oc@vanderbilt.edu<mailto:tacl2013oc@vanderbilt.edu>.


Joee C. Kirby
Assistant to the Chair
Department of Mathematics
Vanderbilt University
jo.c.kirby@vanderbilt.edu