CIDEC    
ÜIK
Estonian Winter Schools in Computer Science    
Eesti arvutiteaduse talvekoolid
EWSCS 2000
EATTK 2000

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

Park Hotel Palmse, Lahemaa, Estonia
Feb 27 - March 2, 2000

AGENDA / KAVA


 

Sunday, February 27

Pühapäev, 27. veebruar

16.30 Departure from Inst. of Cybernetics Ärasõit KübI juurest
~18.45ArrivalSaabumine
19.00DinnerÕhtusöök

 

Monday, February 28

Esmaspäev, 28. veebruar

08.00 - 08.45BreakfastHommikusöök
08.50OpeningAvamine
09.00 - 10.30 Dr. Gilles Barthe TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS I
10.30 - 10.50Coffee breakKohvipaus
10.50 - 12.20 Prof. Dr. Claus P. Schnorr SECURITY OF BASIC DISCRETE LOG CRYPTOSYSTEMS I
13.30LunchLõunasöök
14.20 - 15.50 Dr. Mati Pentus CORRESPONDENCE BETWEEN LAMBEK GRAMMARS AND CONTEXT-FREE GRAMMARS I
15.50 - 16.10Coffee breakKohvipaus
16.10 - 17.40 Prof. Wang Yi MODEL CHECKING FOR REAL TIME SYSTEMS I
17.40 - 18.00BreakPaus
18.00 - 19.00 Students' presentations:
Juris Smotrovs (Uni of Latvia) "Quantum Finite Automata: an Overview"
Peeter Laud (Uni of Tartu) "On accountable status attesters"
19:00Dinner & DiscussionsÕhtusöök ja diskussioonid

 

Tuesday, February 29

Teisipäev, 29. veebruar

08.00 - 08.45BreakfastHommikusöök
09.00 - 10.30 Prof. Wang Yi MODEL CHECKING FOR REAL TIME SYSTEMS II
10.30 - 10.50Coffee breakKohvipaus
10.50 - 12.20 Dr. Gilles Barthe TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS II
13.30LunchLõunasöök
14.20 - 15.50 Prof. Dr. Claus P. Schnorr SECURITY OF BASIC DISCRETE LOG CRYPTOSYSTEMS II
15.50 - 16.10Coffee breakKohvipaus
16.10 - 17.40 Dr. Mati Pentus CORRESPONDENCE BETWEEN LAMBEK GRAMMARS AND CONTEXT-FREE GRAMMARS II
17.40 - 18.00BreakPaus
18.00 - 19.00 Students' presentations:
Jan Willemson (Uni of Tartu) "Efficient on-line digital signature validation"
Sven Heiberg (Uni of Tartu) "Security Applications for PDA's (Personal Digital Assistant)"
Vahur Kotkas (Tallinn Tech Uni) "Modeling Cash-Point Service"
19:00Dinner & DiscussionsÕhtusöök ja diskussioonid

 

Wednesday, March 1

Kolmapäev, 1. märts

08.00 - 08.45BreakfastHommikusöök
09.00 - 10.30 Prof. Dr. Claus P. Schnorr SECURITY OF BASIC DISCRETE LOG CRYPTOSYSTEMS III
10.30 - 10.50Coffee breakKohvipaus
10.50 - 12.20 Dr. Gilles Barthe TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS III
13.30LunchLõunasöök
14.30 - 15.30 Excursion in Palmse
15.30 - 16.30 Students' presentations:
Rasa Ruseckaite (Vytautas Magnus Uni) "Digital EEG signal processing in epilepsy prediction"
Ausra Saudargiene (Inst of Math and Informatics) "Whitening data transformation and single-layer perceptron"
16.30 - 17.00Coffee breakKohvipaus
17.00 - 18.00 Students' presentations:
Marko Kääramees (Tallinn Tech Uni) "A Logic of Knowledge and Action"
Heli Uibo (Uni of Tartu) "On Using the Two-level Model as the Basis of Morphological Analysis and Synthesis of Estonian"
Vytautas Barzdaitis (Vytautas Magnus Uni) "Extracting Noisy Data from Experiment Data by means of Fuzzy Inference System"
18.00DinnerÕhtusöök
19:00SaunaSaun

 

Thursday, March 2

Neljapäev, 2. märts

08.00 - 08.45BreakfastHommikusöök
09.00 - 10.30 Dr. Gilles Barthe TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS IV
10.30 - 11.00Coffee breakKohvipaus
11.00 - 12.30 Dr. Mati Pentus CORRESPONDENCE BETWEEN LAMBEK GRAMMARS AND CONTEXT-FREE GRAMMARS III
12.30 - 12.45ClosingLõpetamine
13.30LunchLõunasöök
14.30DepartureÄrasõit

01/03/2000 monika@cs.ioc.ee