PERIPATETIC SEMINAR ON SHEAVES AND LOGIC 55th Meeting---Second Announcement The 55th meeting of the seminar will be held at the University of Edinburgh's Computer Science Department over the weekend of 28--29 May 1994. As usual, we welcome talks on or related to category theory, geometry or logic. Attendees include one of the founders of the seminar, Dana Scott, plus Robin Milner and Gordon Plotkin. Here is a current list of speakers and titles: Robin Milner TBA Alex Mifsud TBA Claudio Hermida TBA David Murphy TBA Edmund Robinson TBA Bart Jacobs TBA Alex Simpson `Categorical completeness results for the simply-typed lambda-calculus' Peter Johnstone `The category of Heyting algebras is protomodular' Harold Simmons `The Smyth-Plotkin construction seen as an instance of glueing' There is no registration fee. Attendees may be like to get together on the Friday evening in Maxie's Bistro, 32b West Nicholson Street, Edinburgh from 7:30 pm. There will be limited bar food available at Maxie's for those who want it. Proceedings will begin on Saturday at 9:15 am in Room 3317, the James Clerk Maxwell Building, the King's Buildings (the science campus of Edinburgh University), when we will finalize the timetable and start talks. The first session will be about concurrency, using categories with structure to model it. A light lunch will be provided each day in the adjoining room, as well as coffee and biscuits. We enclose a list of reasonably priced, good quality Edinburgh restaurants and bars. Fridays and Saturdays tend to be busy, so if you want a specific restaurant, it is advisable to book in advance. If you are not so fussy, you should have no difficulty finding something reasonable around Lothian Road, near High Street, or down Leith Walk. Those of you who have requested accommodation should already have received details by electronic mail or fax. If you would like help in booking accommodation, please contact Lorraine. John Power Marcelo Fiore Lorraine Edgar ------------------------------------------------------------------------------- Please return to Lorraine Edgar, Dept of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ. I intend to come to the 55th meeting of the PSSL. * I intend to give a talk entitled * Please reserve accommodation for Friday/Saturday/Sunday night(s). Name Address Email Tel No Fax No (* Delete if inapplicable) ---------------------------------------------------------------------------- Restaurants North Sea Village (556-9476) Sheraton Hotel (229-9131) 18 Elm Row (Leith) 1 Festival Square Chinese Terraced restaurant, traditional The Maple Inn (225-1721) Kalpna (667-9890) 44 Grindlay Street 2/3 St Patrick's Square Chinese Indian vegetarian Pierre Victoire Henderson's Salad Table (225-2131) 10 Victoria Street (225-1721) 94 Hanover Street 8 Union Street (557-8451) Vegetarian rest. and wine bar 38-40 Grassmarket (226 2442) 3-4 Dock Place (555-6178) Szechuan House (229-4655/6481) French 12-14 Leamington Terrace Chinese Pierre Lapin (668-4332) 32 West Nicolson Street Suruchi (556-6583) French (Mainly vegetarian) 14a Nicholson Street Indian L'Auberge (556-5888) 58 St Mary's Street Pubs and Wine Bars French, expensive Bannerman's Bar (556-3154) Lancers Brasserie (332-3444) 212 Cowgate 5 Hamilton Place, 1 Dean Park Lane Indian Cafe Royal Bistro Bar (557-4792) 17 West Rigester Street Cavalry Club (228-3282) Bennets Bar (229-5143) 3 Atholl Place, near Haymarket 8 Leven Street Indian Cellar No 1 (220-4298) Mammas (225-6464) 1 Chambers Street 30 Grassmarket Wine Bar Italian Tinelli Ristorante (652 1932) Maxie's Bistro \& Wine Bar (667-0845) 139 Easter Road 32b West Nicholson Street Italian Viva Mexico (226-5145) Anchor Close (off Cockburn Street) Mexican Carlton Highland Hotel (556-7277) North Bridge Traditional