PERIPATETIC SEMINAR ON SHEAVES AND LOGIC (PSSL 76) First Announcement Dear friends and colleagues, The 76th PSSL will be held at the IT-University of Copenhagen over the weekend 2-3 March, 2002. As usual we welcome talks on sheaves, category theory, logic, and related areas such as applications in (theoretical) computer science. As the meeting is informal in nature talks on work in progress are also welcome. A second announcement with details on accommodation and registration will follow soon. Please direct all correspondence to Carsten Butz (butz@it-c.dk). Copenhagen is located on the east coast of the island Sjaelland. Copenhagen Airport (airport code CPH) is a major European airport with direct flights to most larger European cities. From the airport it takes less than 15 minutes by train to reach the centre of the city. Also, there are direct trains to Copenhagen from Sweden and from Germany. Day trains from Germany leave from Hamburg Central Station and take 4 1/2 hours (the trains take the ferry between Puttgarden and Roedby). There are also direct night trains from and to the Ruhrgebiet and southern Germany. Best regards, Lars Birkedal (birkedal@it-c.dk) Carsten Butz (butz@it-c.dk) Thomas Hildebrandt (hilde@it-c.dk) Anders Kock (kock@imf.au.dk, Aarhus University) 14-Jan-2002 19:19:38 -0400,2942;000000000000-00000000