[logic-ml] First Announcement ― TACL 2013

[Hiroakira Ono]

                                       [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

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).

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

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.

  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20121218/40c1c428/attachment-0001.html>