Logic List Mailing Archive

International Conference on Order, Algebra, and Logics, Vanderbilt University (U.S.A.), 12-16 Jun 2007

International Conference on Order, Algebra, and Logics
Department of Mathematics, Vanderbilt University, June 12-16, 2007

http://www.math.vanderbilt.edu/~oal2007/index.html

AIM & SCOPE

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 - with ordered 
structures playing a central role in this relationship. The conference 
aims to bring together researchers from all these research fields in order 
to foster collaboration and further research.

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
     * 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 programme of the congress will include 
invited lectures and contributed talks. Researchers whose interests fit 
the general aims of the conference are encouraged to participate.

This conference precedes the "Workshop on Universal Algebra and the 
Constraint Satisfaction Problem." The workshop will be held at Vanderbilt 
University during June 17-20, 2007 and participants in the conference are 
encouraged to attend.

CALL FOR PAPERS:

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. 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.

To present a paper, at least one author of each accepted paper must 
register for and attend the conference.

Note for Macintosh Users: Safari appears to have some incompatibility 
issues with the EasyChair software. If you encounter any difficulties, use 
Firefox or Internet Explorer to access the EasyChair Login Page for 
OAL2007 at .

IMPORTANT DATES
- Abstract submission deadline: February 14, 2007
- Acceptance notification: March 10, 2007
- Conference: June 12-16, 2007