=========================
FIRST ANNOUNCEMENT
=========================
(Honoring Ralph McKenzie, Hiroakira Ono and Andrzej Wronski on the occasion of their 70th Birthdays)
June 6-10, 2011
Jagiellonian University, Krakow, Poland
=========================
This meeting shares the goals of the conference with the same title, held Nashville in June 2007, and continues the tradition of related conferences in Prague, Novi Sad and Szeged.
Recent years have witnessed increased research activity on the interface between logic and universal algebra. In particular, the use of algebraic methods has proved to be fruitful in the study of non-classical logics as well as in investigations related to the constraint satisfaction problem. The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research.
FEATURED AREAS
The featured areas include, but are not limited to, the following (in alphabetical order):
- Algebraic logic
- Algorithmic problems in algebra
- Applications of universal algebra to logics
- Applications of universal algebra to the constraint satisfaction problem
- Complexity and other algorithmic problems
- Duality theory for algebraic structures
- Lattice theory
- Modal logics
- Non-classical logics
- Ordered algebraic structures
- Ordered sets
- Proof theory
- Residuated structures and substructural logics
- Tame congruence theory and applications
- Topological methods in algebra and logic
The scientific program consists of 50-minute plenary lectures, and 20-minute contributed talks.
INVITED SPEAKERS
- Libor Barto (Prague)
- Nikolaos Galatos (Denver)
- Mai Gehrke (Nijmegen)
- Keith Kearnes (Boulder)
- Tomasz Kowalski (Lisbon)
- Tadeusz Litak (Leicester)
- Petar Markovic (Novi Sad)
- Miklos Maroti (Szeged)
- Vicenzo Marra (Milan)
- George McNulty (South Carolina)
- George Metcalfe (Bern)
- Daniele Mundici (Florence)
- Kazushige Terui (Kyoto)
- Matthew Valeriote (Ontario)
- Ross Willard (Waterloo)
ADDITIONAL INFORMATION
Details regarding conference registration, submission of abstracts of contributing talks, and local accommodations will be included in the forthcoming second announcement.
ORGANIZERS
- Wieslaw Dziobiak, University of Puerto Rico, Mayaguez
- Pawel Idziak, Jagiellonian University
- Marcin Kozik, Jagiellonian University
- Constantine Tsinakis, Vanderbilt University