Tempus Summer School for Algebraic and Categorical Methods in Computer Science First Announcement Brno, June 28 - July 3, 1993 Sponsored by the European Community TEMPUS office the organizers are pleased to announce an intensive course designed to serve its students as a forum for exchange of ideas between the disciplines of mathematics and computer science. In particular, to carry out the broad mission of the TEMPUS program, the Summer School will provide some of the ablest young scholars in Central Europe with an opportunity to learn from and speak directly with world renowned experts as well as to exchange ideas with the partici- pants from Western Europe. Courses: P. J. Freyd (Philadelphia), Cartesian Logic and Cartesian Categories Y. Lafont (Paris), Linear Logic J. Lambek (Montreal), Categories and Deductive Systems C. P. Stirling (Edinburgh), Modal and Temporal Logics for Processes G. Winskel (Aarhus), Models and Logic for Concurrent Computation Special lecture: D. S. Scott (Linz), The Theory of Domains: Origin, Development, Future Lectures will be held starting Monday morning, June 28, to Saturday noon, July 3; Wednesday afternoon is reserved for social activities. Each course will consist of five lectures,one lecture per day. Fees: Conference fee is 220 DM, (tuition 100 DM, accomodation 120 DM). Price includes accomodation in double bedrooms, breakfast and lunch. Registration: Please send name, address (including e-mail, if available) and gender to the organising office by April 30, 1993.Please indicate if you plan to bring a guest or indicate the name of participant with whom you wish to share accommodation. Scholarships: Under sponsorship of the TEMPUS project, there are 40 scholar- ships available for students of partner universities. These will cover travel, accommodation and tuition. The recipients will be selected by the responsible persons at these universities. Organizing Committee: Jiri Rosicky Anna Sekaninova Jan Slovak Address: TEMPUS SUMMER SCHOOL Department of algebra and geometry Masaryk Univerzity Janackovo nam. 2a 662 95 BRNO Czech Republic e-mail: tempus@adelard.dcs.muni.cs fax: 42-5-74 55 10 (from April 42-5-41 21 03 37) phone: 42-5-74 56 66 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++