[TYPES] ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (first annoucement)

[mathlog at ub.edu]

(apologies if you receive this more than once)


               First announcement and call for papers

    ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II

                     Barcelona, 15-18 June 2005


This meeting shares the goals of the Tbilisi conference with the same
title, held in July 2003, as well as those of the Patras conference on
many-valued logics and residuated structures, held in June 2004.

In recent years the interest in non-classical logics has been growing.
Motivations from computer science, natural language reasoning and
linguistics have played a significant role in this development. The
semantic study of non-classical logics is a field where no single
overarching paradigm has been established, and where a variety of
techniques are currently being explored. An important goal of this
meeting is to promote the cross-fertilization between the fundamental
ideas connected with these approaches. Thus, we aim to bring together
researchers from various fields of non-classical logics and
applications, as well as from lattice theory, universal algebra,
category theory and general topology, in order to foster collaboration
and further research.

The scientific programme of the congress will include a few invited
lectures and will provide ample time for contributed papers and
interaction between participants. Researchers whose interests fit the
general aims of the conference are encouraged to participate. The
featured areas include, but are not limited to, the following (in
alphabetical order):

			- Algebraic logic
			- Coalgebraic semantics
			- Categorical semantics in general
			- Dynamic logic and dynamic algebras
			- Fuzzy and many-valued logics
			- Lattices with operators
			- Modal logics
			- Ordered topological spaces
			- Ordered algebraic structures
			- Residuated structures
			- Substructural logics
			- Topological semantics of modal logic


PROGRAMME COMMITTEE

Leo Esakia, Georgian Academy of Sciences
Mai Gehrke, New Mexico State University
Petr Hájek, Czech Academy of Sciences
Ramon Jansana, Universitat de Barcelona
Hiroakira Ono, Japan Advanced Institute for Science and Technology
(chair)
Constantine Tsinakis, Vanderbilt University
Yde Venema, Universiteit van Amsterdam
Michael Zacharyaschev, King's College London


ORGANIZING COMMITTEE

Josep Maria Font, Universitat de Barcelona (chair)
Àngel Gil, Universitat Pompeu Fabra (Barcelona)
José Gil, Universitat de Barcelona
Joan Gispert, Universitat de Barcelona
Carles Noguera, Institut d'Investigació en Intel·ligència Artificial
(Bellaterra)
Antoni Torrens, Universitat de Barcelona
Ventura Verdú, Universitat de Barcelona


SPONSORING INSTITUTIONS (some to be confirmed)

Ministry of Education and Science of the Spanish government
Department of Universities, Research and Information Society of the
Generalitat de Catalunya (Catalan government)
Faculty of Mathematics of the University of Barcelona
Faculty of Philosophy of the University of Barcelona
Catalan Mathematical Society


CONTRIBUTED PAPERS

Participants who want to give a talk should submit an abstract through
the system Atlas
<http://atlas-conferences.com/cgi-bin/abstract/submit/capu-01> before
30 March 2005. The abstract should be written in TeX (or in plain,
non-formatted text without formulas) and be at most 2 pages long.
Authors will be notified before 30 April 2005. Participants needing
early acceptation are advised to submit as soon as possible and inform
the organizers of their situation.


TRAVEL GRANTS

The organization hopes to have some funding to partially cover travel
expenses of participants with special needs. The number and amount of
these grants will depend on the available funding. Applications should
reach the Organizing Committee before 30 March 2005. Please visit the
web page for details.


CONGRESS' VENUE

The meeting will take place at the Facultat de Matemàtiques of the
Universitat de Barcelona, a 19th century building located in the city
centre. The lecture rooms will be located in the building's ground
floor. Participants will have access to a nearby computer room with
Internet access. No Wi-Fi coverage or free Ethernet plugs are planned.


DEADLINES

Submission of contributed papers: 30 March 2005
Acceptation of contributed papers: 30 April 2005
Travel grant applications: 30 March 2005


MORE INFORMATION

The names of invited speakers, and further details about travel
grants, hotels, etc., will be posted at the congress' web page

         http://www.mat.ub.es/~logica/meeting2005/

Please visit it for any other information on the meeting.