Second Announcement & program of
ALGEBRAIC LOGIC and the METHODOLOGY OF APPLYING IT,
July 11-17, 1994, Budapest,
which is part of the TEMPUS Summer School series for
Algebraic and Categorial Methods in Computer Science.
This will be the third one in the above mentioned series of summer schools,
attached to the TEMPUS project entitled "Algebraic and Categorial Methods
in Computer Science". The summer school is sponsored by the European
Community TEMPUS office.
S C I E N T I F I C P R O G R A M
Courses:
________________________________________________________________
| |
| WILLEM BLOK and DON PIGOZZI: General Algebraic Logic |
| |
| VAUGHAN PRATT: Chu Spaces: Complementarity and Uncertainty in |
| Rational Mechanics |
| |
| YDE VENEMA: Boolean Algebras with Operators & Modal Logic |
| |
| ISTVAN NEMETI and HAJNAL ANDREKA: Algebras of Relations of |
| Various Ranks & their Applications |
| |
| WORKSHOP GIVEN BY YOUNG RESEARCHERS: Decidability issues and |
| logics related to the dynamic trend |
| |
| UNIVERSAL ALGEBRA TUTORIAL |
|________________________________________________________________|
ABSTRACTS OF COURSES:
Pratt: "Chu Spaces: Complementarity and Uncertainty in Rational
Mechanics"
"Rational mechanics" captures mind-body duality for autonomous agents in
essentially the same way that quantum mechanics captures momentum-position
duality for physical systems, with Chu spaces in place of Hilbert spaces.
Chu spaces expose a Heisenberg-like uncertainty principle as a previously
unnoticed yet prominent feature of Stone duality.
---------------
Venema: "Boolean Algebras with Operators & Modal Logic"
Formalisms related to Modal Logic play an important role in theoretical
computer science: think of examples like epistemic logic, dynamic logic
or relational algebra. Such formalisms can be treated in a nice algebraic
way via the theory of Boolean Algebras with Operators (BAOs). The course
will be centered around two themes: (1) the duality between BAOs and
Relational (Kripke) Structures, and (2) modal/algebraic languages to
describe these structures. We will review some important and elegant
theorems, like automatic completeness results for a large class of logics.
---------------
Nemeti and Andreka: "Algebras of Relations of Various Ranks &
their Applications"
Theories of relations (binary ones, ternary relations, n-ary ones etc.)
play an essential role both in Computer Science and in Logic. Besides
quantifier logics, they are important for e.g. logics of the dynamic trend,
resource-sensitive logics, substractural logics, logics of actions etc.
We will study algebras whose elements are relations. Research in this
area has been going on for 140 years, hence its theory is powerful and
profoundly applicable. The goal of the course is to make rich theory
accessible, to provide insight into why and how it works, and to highlight
the main directions in which it is "moving".
---------------
Workshop given by young researchers: "Decidability issues and logics
related to the dynamic trend"
The workshop will consist of talks given by young researchers from the
Logic School centered around Amsterdam and Budapest. The topics will be
related to those of the main courses. A tentative list is: decidability
issues (decision problems for Boolean algebras with operators, relation
algebras and algebras of relations of higher ranks), decidability of
logics of the dynamic trend, positive results on the finitization problem
(e.g. on the search for powerful algebras of relations forming a finitely
axiomatizable equational class), the connection between algebraic logic
and logic. This list is more likely to expand than shrink.
The purpose of these talks is to focus on new results and provide the
audience with open problems which might be rewarding to work on.
The speakers of the workshop will be Viktor Gyuris, Agnes Kurucz,
Maarten Marx, Szabolcs Mikulas and Andras Simon.
---------------
Universal Algebra tutorial
This elementary course presents those basics of universal algebra which
will be needed for the rest of the summer school. It is optional depending
on the background of the participant.
---------------
A TENTATIVE schedule of the programme is in the chart below. Abbreviations:
UA tuto = Universal Algebra tutorial
A-N = Andreka-Nemeti
B-P = Blok-Pigozzi
workshop = workshop given by young researchers
+---------+---------+---------+---------+---------+---------+
| Monday | Tuesday |Wednesday|Thursday | Friday |Saturday |
|=======|=========|=========|=========|=========|=========|=========|
| 8- 9 | | UA tuto | | | | |
|-------|---------|---------|---------|---------|---------|---------|
| 9-10 | Pratt | UA tuto |workshop |workshop |workshop |workshop |
|-------|---------|---------|---------|---------|---------|---------|
| 10-11 | Pratt | B-P | Pratt | B-P | Pratt | B-P |
|-------|---------|---------|---------|---------|---------|---------|
| 11-12 | UA tuto | B-P | A-N | B-P | Pratt | Venema |
|-------|---------|---------|---------|---------|---------|---------|
| 12-13 | | | | | | |
|-------|---------|---------|---------|---------|---------|---------|
| 13-14 | | | | | | |
|-------|---------|---------|---------|---------|---------|---------|
| 14-15 | A-N | Venema | E | Venema | A-N | to be |
|-------|---------|---------|---------|---------|---------|announced|
| 15-16 | A-N | Venema | X | Venema | A-N | later |
|-------|---------|---------|---------|---------|---------|---------|
| 16-17 | | Salibra | C | to be | to be | |
|-------|---------|---------|---------|announced|announced|---------|
| 17-18 | | | U | later | later | |
|-------|---------|---------|---------|---------|---------|---------|
| 18-19 | | | R | | | |
|-------|---------|---------|---------|---------|---------|---------|
| 19-20 | party | | S | | | |
|-------|---------|---------|---------|---------|---------|---------|
| 20-21 | party | | ION | | | |
+-------+---------+---------+---------+---------+---------+---------+
LECTURE NOTES: Every registered participant will receive basic lecture
notes for each course indicated in the program. Besides these notes,
scientific papers for further reading and extra copies of the lecture
notes will be sold throughout the summer school.
G E N E R A L I N F O R M A T I O N
ACCOMMODATION: In double bedrooms for 14 DM/day, or in single bedrooms
for 18 DM/day, in Summer Hotel Hill. The lectures will be in the same
building. 25m swimming pool and several other sport facilities will be
available.
MEALS: Continental breakfast for 4 DM/day, lunch for 5,3 DM/day.
SOCIAL PROGRAMS: We plan a reception on Monday evening and a sight seeing
afternoon on Wednesday.
REGISTRATION FEE: 120 DM for participants
50 DM for accompanying persons.
REGISTRATION: Please send name, address (including e-mail, if available)
and gender to the addresses given below as soon as you can. Please indicate
if you plan to bring a guest or indicate the name of participant with whom
you wish to share accommodation. Also indicate if you have any special
request (e.g. vegetarian meals). The number of participants is limited,
therefore registrations is accepted in the order of receipt.
TRAVEL: Budapest has two airport terminals, Ferihegy I and Ferihegy II.
>>From both terminals you have the same possibilities to come to the center.
The most convenient way is offered by the Minibus-Service at very
reasonable price. They take you to any address in Budapest with their
comfortable 8-seaters, for 600 Hungarian forints (equivalent to 10 DM) per
person. The tickets are available at the LRI Airport passenger service
counters.
You can choose to use buses called "Centrum Airport Service" as well.
These buses leave every 30 minutes to Erzsebet square in central Budapest
for 200 forints (equivalent to 3,3 DM), from where you can take tram no. 49
or no. 47 to "Moricz Zsigmond korter", the nearest square to your
accommodation (Summer Hotel Hill, Menesi street 5), which is 5 minutes
walking from the tram station at Moricz Zsigmond korter. For use of trams
and buses, tickets must be purchased in advance, for 25 forints (0.5 DM)
each trip. One can buy tickets from automatons (there are some automatons
at the airport terminal bus stations) or from small shops selling newspaper
or tobacco.
Taxi from Ferihegy to central Budapest costs about 2000 forints (equivalent
to 33 DM). From Nyugati palyaudvar (Western Railway Station) you can reach
Moricz Zsigmond korter by tram no. 4 or no. 6. From Keleti palyaudvar
(Eastern Railway Station) to Moricz Zsigmond korter take bus no. 7 or no.
red 7, from Deli palyaudvar (Southern Railway Station) tram no. 61.
PAYMENT: Payment is expected in cash on the day of arrival in German
marks(DM).
ORGANIZING COMMITTEE:
Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti and Ildiko Sain
ORGANIZING SECRETARY: Corinna Farkas
ADDRESSES: Please send your correspondence to BOTH of the following two
e-mail addresses: cora(a)ludens.elte.hu and h1468sai(a)ella.hu,
or to the following mailing address:
Ildiko Sain, Mathematical Institute, Budapest, Pf. 127, H-1364, Hungary.
Fax: (36-1) 117-7166 (indicate: To Ildiko Sain).
PLEASE, DISTRIBUTE THIS ANNOUNCEMENT FREELY.
Hoping to hear from you, best regards from the
organizers.
