WebHome
Address
Publications
Technical Reports
Talks
Theses Superv.
Software
Activities
Schedule
Curriculum Vitae
Research
Projects
Teaching
Fp
AFP
IPT
TS
Students
Master Projects
Center
Master Program
Archive
STOP
Pictures and Movies
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Stop Project
Swierstra
As part of the Dutch STOP project two Summerschools were organised. The proceedings of the International Summer School on _Constructive Algorithmics_, 12-21 September 1989, Hollum-Ameland: * [[http://www.cs.uu.nl/~doaitse/STOP/STOP1.pdf][Part 1]] (6.3 Mb) * [[http://www.cs.uu.nl/~doaitse/STOP/STOP2.pdf][Part 2]] (4.8 Mb) * [[http://www.cs.uu.nl/~doaitse/STOP/STOP3.pdf][Part 3]] (4.5 Mb) * [[http://www.cs.uu.nl/~doaitse/STOP/STOP4.pdf][Part 4]] (4.6 Mb) The proceedings of the EURICS Workshop _Calculational Theories of Program Structure_, 23-27 September 1989, Hollum-Ameland are availbale upon request [[mailto:doaitse@cs.uu.nl]]
