This is the homepage of a summer school which was held in Sobótka near Wroclaw in September 1996. Although the main purpose of this page was to be the source of information for participants going to attend the school, we do not intend to remove it from our www server after the event. Most of the course materials are still available, some new stuff has been added.

Added in 2026: although most of external links on this page are now broken, we still keep it as is, as a relict of the past.

On the occasion of its 50th anniversary ACM introduces a series of
State of the Art Summer Schools in Computer Science
in Eastern European countries, aiming at young faculty members, advanced PhD and MSc students and other persons interested in computer science. The series starts in 1996 with two summer schools: in Sobótka (Poland) on Functional and Object Oriented Programming and in Belis-Fintinele (Romania) on Intelligent and Natural Language Interfaces.
Program Chairs
Doris Lidtke
Towson State Univ.
Claus Unger
University of Hagen

ACM State of the Art Summer School

Functional and Object Oriented Programming

September 8-14, 1996, Sobótka (Poland)

Lecturers

Martín Abadi (Digital SRC, Palo Alto):
Object calculi
Luca Cardelli (Digital SRC, Palo Alto):
Object-oriented features
Fritz Henglein (Univ. of Copenhagen):
Type-based program analysis
Jens Palsberg (Purdue Univ.):
Type inference for objects
John Reynolds (Carnegie Mellon Univ.):
Algol-like languages, syntactic control of interference, and polymorphic linear lambda calculus
Andrzej Tarlecki (Warsaw Univ.):
Extended ML: a framework for formal development of modular Standard ML programs
Jerzy Tiuryn (Warsaw Univ.):
Subtyping polymorphic types
Pawel Urzyczyn (Warsaw Univ.):
Polymorphic type-checking and related problems

Program Chair

Leszek Pacholski
Institute of Computer Science
University of Wroclaw
Przesmyckiego 20
PL-51-151 Wroclaw, Poland
e-mail: school@tcs.uni.wroc.pl

Local Organizers

Iwona Dziwulska (secretary)
Marcin Mlotkowski
ToMasz Wierzbicki

Format

Beside lectures of invited speakers the summer school will comprise presentations of selected participants' (senior graduate students and postdocs) actual research, intense discussions of actual and future research projects, and ad hoc evening panels and demonstrations. It is not expected that these presentation will contain results that are ready for publication, rather the intention is to give young researchers an opportunity to get comments and advice from the experts.

List of participants

Course materials

Statistics

Registration

Deadline for registration was June 15, 1996.

Where it is and how to get there?

Timetable

The school starts on Sunday, September 8 in the evening with a dinner planned at 7pm. There will be refreshments served from 2pm to 5 pm for the participants who arrive earlier. Reception desk will be opened from 12pm. The lectures start in the Monday morning. The school ends on Saturday, September 14 at 2pm.

A picture from Farewell party (here's another one)

If you have any questions please send an e-mail to school@tcs.uni.wroc.pl
Back to Theoretical Computer Science Group at University of Wroclaw