EWSCS 2000 / EATTK 2000

5^th Estonian Winter School in Computer Science (EWSCS)
V Eesti Arvutiteaduse Talvekool (EATTK)

What was EWSCS'2000? See PHOTOS by Monika	Mis oli EATTK'2000? Vaadake Monika tehtud PILTE.
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:
SECURITY OF BASIC DISCRETE LOG CRYPTOSYSTEMS (abstract) Prof. Dr. Claus P. Schnorr (University Frankfurt, Department of Mathematics, Germany) CORRESPONDENCE BETWEEN LAMBEK GRAMMARS AND CONTEXT-FREE GRAMMARS (abstract) Dr. Mati Pentus (Dept of Math Logic and Theory of Algorithms, Moscow State University, Russia) MODEL CHECKING FOR REAL TIME SYSTEMS (abstract) Prof. Wang Yi ( Dept of Computer Systems IT, Uppsala University, Sweden) TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS (abstract) Dr. Gilles Barthe (Oasis team at INRIA Sophia-Antipolis, France)

This year there were again 2 winners at the student presentation contest:	Parima tudengiettekande tiitel läks sellel aastal jälle jagamisele:
"EFFICIENT ON-LINE DIGITAL SIGNATURE VALIDATION" - Jan Willemson (Uni of Tartu) "ON USING THE TWO-LEVEL MODEL AS THE BASIS OF MORPHOLOGICAL ANALYSIS AND SYNTHESIS OF ESTONIAN" - Heli Uibo (Uni of Tartu)

ORGANISING COMMITTEE:	KORRALDUSKOMITEE:
Jüri Vain (head /esimees), Helger Lipmaa, Monika Perkmann, Tarmo Uustalu, Mati Tombak