Logic List Mailing Archive

Algebraic and Topological Methods in Non-classical Logics II (Barcelona, June 2005)

First announcement and call for papers
                     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

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


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
Constantine Tsinakis, Vanderbilt University
Yde Venema, Universiteit van Amsterdam
Michael Zacharyaschev, King's College London


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


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.


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.


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.


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


The names of invited speakers, and further details about travel
grants, hotels, etc., will be posted at the congress' web page
Please visit it for any other information on the meeting.