First Announcement We are pleased to announce a summer school concentrating on 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. Planned courses include: Willem BLOK and Don PIGOZZI: General Algebraic Logic Vaughan PRATT: Chu Spaces: Theory and Applications Yde VENEMA: Boolean Algebras with Operators Istvan NEMETI and Hajnal ANDREKA: Algebras of Relations of Various Ranks & their Applications Decidability issues and logics related to the dynamic trend (workshop given by young researchers). (For the time being, Yde Venema accepted our invitation only tentatively.) We plan to have classes from 10-12 in the mornings and 14-17 in the afternoons from Monday to Friday and 10-12 on Saturday. ACCOMMODATION: In double bedrooms in Summer Hotel Hill, for 14 DM/day. The lectures will be in the same building. 25m swimming pool and several other sport facilities will be available. MEALS: Continental breakfast is available for 4 DM/day. Lunch is available for 5,3 DM/day. SOCIAL PROGRAMS: We plan a reception on Monday evening and a sight seeing afternoon on Wednesday. FEES: The registration fee is 120 DM. REGISTRATION: Please send name, address (including e-mail, if available) and gender to the organizing office by April 30, 1994 at the latest, but send it 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 second circular will be sent only to those who have answered the first circular. The number of participants is limited to 100 persons, therefore registrations will be accepted in the order of receipt. SCHOLARSHIPS: This year, unfortunately, the TEMPUS JEP is not allowed to give any grant to students from EC countries for participation at the summer school. All that they can offer is a grant for 1 professor from each of the partner universities. Grants for students from eastern partner universities are available in a limited number. Please, apply for them to the organizing committee. ORGANIZING COMMITTEE: Hajnal Andreka, Miklos Ferenczy, 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 Hung. Acad. Sci. 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.