Atlas home || Conferences | Abstracts | about Atlas
Sponsor: Esprit working group 21900 - TYPES
Organizers: Ana Bove, Thierry Coquand, Peter Dybjer, Birgitta Magnusson, Bengt Nordström, Jan Smith
Description:
The last workshop within the Types Working Group will be organised by Chalmers. It will be held 12-16 June 99 at Lökeberg, which is beautifully situated on the
boarder between the archipelago and rural area north of Göteborg (close to Marstrand). The meeting will start in the afternoon Saturday the 12th and end at lunch
on Wednesday the 16th. You will get more details in February!
Date received: February 06, 1999
© 2008 Atlas Conferences Inc.