Logic List Mailing Archive

AAA80 workshop on general algebra / non-classical algebraic semantics

1-6 June 2010
Bedlewo, Poland

AAA80 WORKSHOP ON GENERAL ALGEBRA
in connection with the
WORKSHOP ON NON-CLASSICAL ALGEBRAIC STRUCTURES

http://www.mini.pw.edu.pl/aaa80


* DATES AND VENUE

These meetings will be held at the Mathematical Research
and Conference Center (a part of the Stefan Banach
International Mathematical Center) in Bedlewo
(www.impan.pl/EN/Bedlewo), near Poznan, Poland,
from June 1 (arrival day) to June 6 (departure day).

The meetings fall within the Stefan Banach conference series.

Both meetings will be organized by the Algebra Group
at the Warsaw University of Technology, in conjunction
with Potsdam University. Support is provided by the
Stefan Banach International Mathematical Center,
Warsaw University of Technology and Potsdam University.


* INVITED SPEAKERS

The list of invited speakers includes:

Joel Berman (Chicago, Illinois)
Igor Dolinka (Novi Sad)
Ales Drapal (Prague)
Heinz-Peter Gumm (Marburg)
Pawel Idziak (Krakow)
Jaroslav Jezek (Prague)
Achim Jung (Birmingham)
Andrzej Kisielewicz (Wroclaw)
Jimmie Lawson (Baton Rouge, Louisiana)
Franco Montagna (Siena)
Gabor Nagy (Szeged)
Jonathan D. H. Smith (Ames, Iowa)
Yde Venema (Amsterdam)


* SCOPE

The conference will consist of two parts:

1.   A workshop on non-classical algebraic structures
     (June 2-3, 2010);
2.   A workshop within the series of AAA conferences
     (June 4-6, 2010);

each comprising several longer keynote plenary lectures,
a number of shorter plenary lectures, and a larger number
of 20-minute contributed talks.

The main topics of this conference are related to the
traditional areas of the AAA conferences, but with special
emphasis on the following:

1.  Non-classical algebraic structures --- e.g. entropic
algebras and in particular modes (idempotent and entropic
algebras), quasigroups and related structures, semirings
and semimodules.

2.  Universal algebra and lattice theory --- duality
and representation theory for algebraic structures,
lattices of (quasi)varieties, finite axiomatizability
problems, clone theory, complexity, and other algorithmic issues.

3.  Applications of algebra in logic, combinatorics and computer
science --- especially applications of universal algebra in
(fuzzy and non-classical) logics, graph theory, automata,
design and coding theories, the algebraic theory of coalgebras.

4.  Classical algebraic structures --- semigroups, groups,
  rings, and ordered algebraic structures, especially in
connection with universal algebraic methods.

The primary aim of the conference is to review the most recent
research results and trends in the above areas, and to promote
discussions and interactions between researchers. It should
bring together researchers working in the above areas, in order
to foster collaboration and future research.

A secondary goal is to attract the interest of graduate students
and younger researchers, providing them with interesting
and significant problems to work on.


* PROCEEDINGS

We plan to publish conference proceedings containing
original research articles as a special volume of
Demonstratio Mathematica. Detailed information will be
provided later on the conference web site.


* FINANCIAL SUPPORT

We hope to be able to provide financial support for a
limited number of participants. Preference will be
given to junior and low budget participants whose
contributed talk proposal has been approved.


* REGISTRATION

To register please go to the conference web site:
http://www.mini.pw.edu.pl/aaa80
Registration will open shortly.
The deadline for registration is 7 May 2010.


* ABSTRACTS

Abstracts of proposed talks should comprise 3-4 pages
in length, to be sent to: aaa80@mini.pw.edu.pl
by 30 March 2010.  For a template and further instructions,
please see the conference web site. Authors will
be informed of acceptance of their talks by 10 May 2010.


* COSTS

The total cost of registration, accommodation and meals
for the two workshops will be approximately 200 Euros.


For further information please see the conference web site:
http://www.mini.pw.edu.pl/aaa80
This site will be updated regularly.



We are looking forward to meeting you in Bedlewo.

Organizing Committee: T. Brengos, K. Denecke, B. Jablonski,
A. Pilitowska, A. Romanowska, M. Stronkowski, A. Zamojska-Dzienio.

Scientific Committee: R. Poeschel, A. Romanowska, J.D.H. Smith.