[FOM] Fwd: Announcement for FOM

[Martin Davis]

---------- Forwarded message ----------
From: TACL Organisin Committe <tacl2015oc at gmail.com>
Date: Sun, Oct 12, 2014 at 3:30 AM
Subject: Announcement for FOM
To: davism at cs.nyu.edu


           ======================================================
            TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL2015)
                                                School & Conference
            ======================================================
                         School: 15 - 19 June 2015, University of
Salerno (Italy)
                         Conference: 21 - 26 June 2015, Ischia Island
(Italy)

                                      http://logica.dmi.unisa.it/tacl/

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 characterised 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 2015 will focus on three interconnecting
mathematical themes central to the semantic study of logics and their
applications: algebraic, categorical, and topological methods. This is
the seventh conference in the series Topology, Algebra, and Categories
in Logic (TACL). Earlier instalments of this conference have been
organised in Tbilisi (2003), Barcelona (2005), Oxford (2007),
Amsterdam (2009), Marseilles (2011), and Nashville (2013).
Starting from 2013, the conference is preceded by a one-week school.
This year the school will be held at the campus of the University of
Salerno and will include four tutorials, each consisting of 1.5 hour
lectures for five days.

Featured topics
---------------------
Contributed talks can be on any topic involving 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


Steering Committee
------------------------------
Guram Bezhanishvili, New Mexico State University
Mai Gehrke, University of Paris Diderot
Rob Goldblatt, Victoria University, Wellington
Ramón Jansana, University of Barcelona
Achim Jung, University of Birmingham
Hiroakira Ono, Japan Advanced Institute of Science and Technology
Yde Venema, University of Amsterdam
Michael Zakharyaschev, University of London

Programme Committee
------------------------------
Nick Bezhanishvili, University of Amsterdam
Xavier Caicedo, University of los Andes
Thierry Coquand, University of Gothenburg.
Antonio Di Nola, University of Salerno
Themba Dube, University of South Africa
Martin Escardo, University of Birmingham
David Gabelaia, TSU Razmadze Mathematical Institute (co-chair)
Mai Gehrke, University Paris Diderot
Rostislav Horčík, Czech Academy of Sciences
Martin Hyland, University of Cambridge
Rosalie Iemhoff, University of Utrecht
Agi Kurucz, King’s College London
Vincenzo Marra, University of Milan (co-chair)
Lawrence Moss, Indiana University
Prakash Panangaden, McGill University
Hilary Priestley, University of Oxford
Aleš Pultr, Charles University Prague
James Raftery, University of Pretoria
Philip Scott, University of Ottawa
Marek Zawadowski, University of Warsaw

Organising Committee
------------------------------
Antonio Di Nola, University of Salerno
Anna Rita Ferraioli, University of Salerno
Giacomo Lenzi, University of Salerno
Anna Carla Russo, University of Salerno
Luca Spada, University of Amsterdam and University of Salerno
Gaetano Vitale, University of Salerno

Tentative Dates
---------------------------
Call for papers                    15 November 2014
Deadline for submissions   1 February 2015
Notification of acceptance  15 March 2015

Expression of interest
------------------------------
Expressions of interests will be greatly appreciated, please fill in
the simple form on the conference web site under "Express Interest".
This will help the Organising Committee with their planning. You can
also opt-out from receiving future announcements by following the
instructions at the bottom of this email.

More Information
-----------------------
TACL 2015 web site: http://logica.dmi.unisa.it/tacl/
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 Programme Committee (such as usage of the
EasyChair conference system, abstract submission guidelines,
conference programme, etc.) should be sent to tacl2015ed at gmail.com.
Queries for the local Organising Committee (registration, hotel
accommodations, financial support and reimbursements, technology
infrastructure, etc.) should be sent to tacl2015oc at gmail.com.

To unsubscribe from this list, please reply to this email with “OPTOUT
TACL2015” as the subject of the message.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20141012/cd8e4a12/attachment-0001.html>