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

INVITED SPEAKERS

Guram Bezhanishvili, New Mexico State University, Las Cruces (USA)
Robert Goldblatt, Victoria University, Wellington (New Zealand)
Ian Hodkinson, Imperial College London (UK)
Peter Jipsen, Chapman University, Orange (USA)
Franco Montagna, Università di Siena (Italy)
Hilary Priestley, Mathematical Institute, University of Oxford (UK)
James Raftery, University of KwaZulu-Natal, Durban (South Africa)

PROGRAMME COMMITTEE

Leo Esakia, Georgian Academy of Sciences
Mai Gehrke, New Mexico State University
Petr Hájek, Academy of Sciences of the Czech Republic
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

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

With the collaboration of IMUB (Institute of Mathematics, University of Barcelona) and IIIA (Artificial Intelligence Research Institute, CSIC).

CONTRIBUTED TALKS

Participants who wish to present a talk should submit an abstract through the Atlas service (http://atlas-conferences.com/) before 10 April 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 whether their submission has been accepted for presentation. Participants needing early acceptance are advised to submit their abstract as soon as possible and inform the organizers of the situation.

TRAVEL GRANTS

We hope to provide some funding to partially cover travel expenses of students and recent Ph.D.'s without grant support, as well as of active researchers from countries with developing economies. The number and amount of these grants will depend on the funding available, and will be paid in cash during the meeting.

Applications should be sent to mathlog@ub.edu before 31 March 2005. To apply send a message with your personal data, a short CV, a description of your research area and its relation with the topics of the meeting. Students and recent Ph.D.'s should also ask their supervisor to send a letter of support to the same address.

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 address is: Gran Via de les Corts Catalanes 585, 08007 Barcelona, Spain. The building is on the square known as Plaça de la Universitat (University square). The lecture rooms are on the ground floor of the building. Participants will be able to use a nearby computer room with Internet access. No Wi-Fi coverage or free Ethernet plugs are planned.

REGISTRATION

Participants must register to attend the meeting. The registration fee is Euro 30 (approx. $ 39 as of March 1st), to be paid upon arrival. Registration includes conference materials, coffee breaks and snacks, and a special price for Saturday's dinner. Abstracts of accepted contributed talks by registered participants will be included in the congress' booklet.

DEADLINES

Submission of contributed talks: 10 April 2005
Acceptation of contributed talks: 30 April 2005
Travel grant applications: 31 March 2005

MORE INFORMATION

Further details about registration, hotels, schedule, etc., will be posted at the congress' web page.

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

For more information on the meeting, please visit this page, or write to mathlog@ub.edu.