Logic List Mailing Archive

Order, Algebra and Logic

12-16 June 2007
Nashville TN, U.S.A.

- =================================================== -
                     FINAL CALL FOR PAPERS
- =================================================== -

             for the international conference on

                 ORDER, ALGEBRA and LOGICS

                      June 12-16, 2007

     Vanderbilt University, Nashville, Tennessee USA

   Web site: http://www.math.vanderbilt.edu/~oal2007/]

- ==================================================== -
      ABSTRACT SUBMISSION DEADLINE: January 31, 2007
- ==================================================== -

AIMS

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 -- such as modal logic, fuzzy logic, and
substructural logics -- and ordered structures play a central role
in this relationship.  The conference aims to bring together
researchers from all these fields in order to foster collaboration
and further research.

FEATURED AREAS

The featured areas include, but are not limited to, the following
(in alphabetical order):

- Algebraic logic
- Algebraic theory of quasivarieties
- Algorithmic problems in algebra
- Applications of universal algebra to logics
- Binary systems
- Complexity and other algorithmic problems
- Duality theory for algebraic structures
- Finite axiomatizability problems
- Fuzzy logic
- Modal logics
- Non-classical logics
- Numerical invariants of locally finite varieties
- Ordered algebraic structures
- Ordered topological spaces
- Representations of lattices
- Residuated structures
- Substructural logics
- Tame congruence theory and applications
- Topological methods in algebra and logic

The conference will be held in conjunction with the annual Shanks
Lecture Series.  This year's Shanks lecturer is Keith Kearnes of
the University of Colorado at Boulder.  The scientific program of
the congress will include invited lectures and contributed talks.

INVITED SPEAKERS

- Keith Kearnes, University of Colorado [Shanks Lecturer]
- Nikolaos Galatos, Japan Advanced Institute of Science & Technology
- Ramon Jansana, University of Barcelona
- Bjarni Jonsson, Vanderbilt University
- Miklos Maroti, University of Szeged
- Larry Moss, Indiana University, Bloomington
- Daniele Mundici, University of Florence
- Friedrich Wehrung, University of Caen
- Ross Willard, University of Waterloo

PROGRAM COMMITTEE

- Josep Maria Font, University of Barcelona
- Mai Gehrke, New Mexico State University
- Pawel Idziak, Jagiellonian University
- Franco Montagna, University of Siena
- Hiroakira Ono, Japan Advance Institute of Science and Technology
- Agnes Szendrei, University of Colorado at Boulder
- Matt Valeriote, McMaster University
- Yde Venema (Chair), University of Amsterdam

ORGANIZING COMMITTEE

- Antonio Di Nola, University of Salerno
- Wieslaw Dziobiak, University of Puerto Rico, Mayaguez
- Matthew Gould, Vanderbilt University
- Jorge Martinez, University of Florida
- Ralph McKenzie (Co-chair), Vanderbilt University
- George McNulty, University of South Carolina
- George Metcalfe, Vanderbilt University
- Constantine Tsinakis (Co-chair), Vanderbilt University

PAPER SUBMISSION

Researchers wishing to present a 20-30 minute contributed talk at
the conference are invited to submit a short version of their paper
via the EasyChair conference management system.  (Please refer to
the conference web site for detailed instructions.)  These short
papers must be submitted as .ps or .pdf files, have a length of
three pages, and clearly describe the topic and contribution of the
proposed talk.

The first page should include title, names of authors, the
affiliation, address, and email of the corresponding author.  The
submission procedure will also require the authors to provide some
keywords describing the topic of the paper; and a plain text
abstract (200 words maximum).  Hence, keywords and abstract should
not be included in the paper proper.

FINANCIAL SUPPORT REQUESTS

Every effort will be made to provide partial support to
participants who have no alternative sources of funding.  Support
requests should be submitted as soon as possible, but no later than
March 15, 2007.  To do so, please print and complete the support
form found at the conference web site, and return it to us using
the information provided therein. [Important Note: The correct fax
number is 615-343-0215.]

CONFERENCE REGISTRATION

On-line registration is available at the conference web site.  Note
that after May 18, 2007, electronic registration will not be
available and you will have to register upon your arrival in
Nashville.

EXPRESS INTEREST

Please use, at your earliest convenience, the link "Express
Interest" at the conference web site to indicate your level of
interest in the conference.  This task should not take more than
two minutes and will greatly assist the organizers to plan the
local events.

HOTEL RESERVATIONS

The organizers have reserved hotel rooms, at special prices, in the
vicinity of the conference venue.  Participants will need to
communicate directly with the selected hotels to secure their
reservations.  The conference web site contains detailed
information for contacting the hotel of your choice, and deadlines
for obtaining the agreed hotel
rate.

There will be a number of rooms available in campus dormitories.
Information about the location and cost of these rooms will be
posted on the conference web site.  For reservations e-mail
joan.settle@vanderbilt.edu.

VISA REQUIREMENTS

Visa requirements for travel to the United States are continually
changing.  (This is the primary reason for setting an early
deadline for the submission of abstracts.)  International
participants should view immediately the important information that
is available at the conference web site.

OTHER IMPORTANT DATES

- Acceptance notification: March 10, 2007
- Financial request deadline: March 15, 2007
- Conference: June 12-16, 2007
- Hotel reservation deadline:  Check hotel information at conference
   web site for reservation deadlines.

FURTHER INFORMATION

Information about OAL 2007 can be found at the conference web site
at http://www.math.vanderbilt.edu/~oal2007/

E-mail inquiries about OAL 2007 should be directed to the local
organizers at oal2007@vanderbilt.edu or to the program chair.