CIDEC logo
IV EWSCS'99
IV EATTK'99

Park Hotel Palmse, Lahemaa, Estonia
Feb 28 - March 4, 1999

List of participants Osavõtjate nimekiri
AGENDA KAVA
Photos Fotod
Indrek Sander - http://www.ut.ee/~inc/palmse/
Tarmo Uustalu - http://www.cs.ioc.ee/yik/schools/win99/pictures.html
The Estonian Winter Schools in Computer Science are held annually and organized by CIDEC. Eesti arvutiteaduse talvekoolid on iga-aastased ning nende korraldajaks on ÜIK.
The following short courses were given: Toimusid järgmised lühikursused:
COALGEBRAIC TECHNIQUES FOR REACTIVE FUNCTIONAL PROGRAMMING
Prof. Richard Kieburtz (Oregon Graduate Institute, USA)

ALGEBRAIC AND CO-ALGEBRAIC METHODS FOR CALCULATING FUNCTIONAL PROGRAMS
Prof. Jeremy Gibbons (Oxford Brookes University, UK)  (lecture notes)

MODEL-CHECKING REACTIVE SYSTEMS
Dr. Yassine Lakhnech (University of Kiel, Germany)

MODERN CRYPTOGRAPHIC PROTOCOLS FOR ELECTRONIC VOTING AND ELECTRONIC PAYMENTS
Dr. Berry Schoenmakers (Department of Mathematics and Computing Science, Eindhoven University of Technology, The Netherlands)

This year there were 2 winners at the student presentation contest: Parima tudengiettekande tiitel läks sellel aastal jagamisele:
NEW LINKING SCHEMES FOR DIGITAL TIME-STAMPING - Peeter Laud, Univ. of Tartu
MENDLER-STYLE INDUCTIVE TYPES - Varmo Vene, Univ. of Tartu

ORGANISING COMMITTEE:

KORRALDUSKOMITEE:

Jaan Penjam, Monika Perkmann, Tarmo Uustalu, Jüri Vain, Varmo Vene

10/09/1999 webmaster