On Full Abstraction for PCF , J.M.E. Hyland and C.-H.L. Ong. Denotational Semantics , R.D. Tennent, ch. of Handbook of Logic in Computer Science vol. 3, OUP, 1994. Lectures take place in Auditorium F Dept. of Mathematical Science Ny Munkegade, bldg. 530, 1st floor There will be signs at the main entrance.
Participants Here is a list of participants and where they stay during the summer school.
The registration fee is 1100 Danish kroner. Application for grants is made as part of the electronical registration. 33 Participants will have received a separate mail with detailed accommodation information. Ny Munkegade, bldg. 540, 2nd floor DK-8000 Aarhus C Tel.