Logic List Mailing Archive

2nd Conference on Order Algebra and Logics

6-10 June 2011
Krakow, Poland

====================================================================
                       FIRST ANNOUNCEMENT
====================================================================

SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS

(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