[FOM] ANN: ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II
Xavier Noria
fxn at hashref.com
Thu Feb 17 14:29:33 EST 2005
Dear FOMers, I post this announce on behalf of Professor Josep Maria
Font.
Best regards,
-- fxn
===========================
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 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
INVITED SPEAKERS
Guram Bezhanishvili, New Mexico State University, Las Cruces (USA)
Robert Goldblatt, Victoria University, Wellington (New Zealand)
Ian Hodkinson, King's College London (UK)
Peter Jipsen, Chapman University, Orange (USA)
Franco Montagna, Università di Siena (Italy)
Hilary Priestley, St. Anne's College, University of Oxford (UK)
James Raftery, University of 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 (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 PAPERS
Participants who wish to present a talk should submit an abstract
through the Atlas service (http://atlas-conferences.com/) before 31
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 whether their submission
has been accepted for presentation. Participants needing early
acceptance are advised to submit as soon as possible and inform the
organizers of their 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 available funding, and will
be paid in cash during the meeting.
Applications should be sent to mathlog at 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 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.
REGISTRATION
Registration is necessary to attend the meeting. There is a
registration fee of Euro 30 (approx. $ 38 as of February 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 papers by registered participants will be
included in the congress' booklet.
MORE INFORMATION
Further details about registration, hotels, schedule, etc., will be
posted at the congress' web page
http://www.mat.ub.edu/~logica/meeting2005/
Please visit it for more information on the meeting.
More information about the FOM
mailing list