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.45 | Arrival | Saabumine |
| 19.00 | Dinner | Õhtusöök |
Monday, February 28 | Esmaspäev, 28. veebruar |
|
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 08.50 | Opening | Avamine |
| 09.00 - 10.30 | Dr. Gilles Barthe TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS I | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Prof. Dr. Claus P. Schnorr SECURITY OF BASIC DISCRETE LOG CRYPTOSYSTEMS I | |
| 13.30 | Lunch | Lõunasöök |
| 14.20 - 15.50 | Dr. Mati Pentus CORRESPONDENCE BETWEEN LAMBEK GRAMMARS AND CONTEXT-FREE GRAMMARS I | |
| 15.50 - 16.10 | Coffee break | Kohvipaus |
| 16.10 - 17.40 | Prof. Wang Yi MODEL CHECKING FOR REAL TIME SYSTEMS I | |
| 17.40 - 18.00 | Break | Paus |
| 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:00 | Dinner & Discussions | Õhtusöök ja diskussioonid |
Tuesday, February 29 | Teisipäev, 29. veebruar |
|
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Prof. Wang Yi MODEL CHECKING FOR REAL TIME SYSTEMS II | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Dr. Gilles Barthe TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS II | |
| 13.30 | Lunch | Lõunasöök |
| 14.20 - 15.50 | Prof. Dr. Claus P. Schnorr SECURITY OF BASIC DISCRETE LOG CRYPTOSYSTEMS II | |
| 15.50 - 16.10 | Coffee break | Kohvipaus |
| 16.10 - 17.40 | Dr. Mati Pentus CORRESPONDENCE BETWEEN LAMBEK GRAMMARS AND CONTEXT-FREE GRAMMARS II | |
| 17.40 - 18.00 | Break | Paus |
| 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:00 | Dinner & Discussions | Õhtusöök ja diskussioonid |
Wednesday, March 1 | Kolmapäev, 1. märts |
|
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Prof. Dr. Claus P. Schnorr SECURITY OF BASIC DISCRETE LOG CRYPTOSYSTEMS III | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Dr. Gilles Barthe TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS III | |
| 13.30 | Lunch | Lõ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.00 | Coffee break | Kohvipaus |
| 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.00 | Dinner | Õhtusöök |
| 19:00 | Sauna | Saun |
Thursday, March 2 | Neljapäev, 2. märts |
|
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Dr. Gilles Barthe TYPE-THEORETIC FOUNDATIONS OF PROOF-ASSISTANTS IV | |
| 10.30 - 11.00 | Coffee break | Kohvipaus |
| 11.00 - 12.30 | Dr. Mati Pentus CORRESPONDENCE BETWEEN LAMBEK GRAMMARS AND CONTEXT-FREE GRAMMARS III | |
| 12.30 - 12.45 | Closing | Lõpetamine |
| 13.30 | Lunch | Lõunasöök |
| 14.30 | Departure | Ärasõit |