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
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. 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@ludens.elte.hu and h1468sai@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.