8th Estonian Winter School in Computer Science (EWSCS)
VIII Eesti Arvutiteaduse Talvekool (EATTK)
Palmse, Estonia
March 2 - 7, 2003
AGENDA
Sunday, March 2 | Pühapäev, 2. märts | |
| 17.00 | Departure from Inst. of Cybernetics | Ärasõit KübI juurest |
| ~17.15 | Departure from Harbour (terminal A) | Ärasõit Sadamast (terminal A) |
| ~17.25 | Departure from Bus Terminal | Ärasõit Bussijaama juurest |
| ~18.45 | Arrival | Saabumine |
| 19.00 | Dinner | Õhtusöök |
Monday, March 3 | Esmaspäev, 3. märts | |
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 08.50 | Opening | Avamine |
| 09.00 - 10.30 | Ivan Damgård "THEORY AND PRACTICE OF MULTIPARTY COMPUTATION I" (details) | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Patrick Cousot "AN INTRODUCTION TO ABSTRACT INTERPRETATION I" (details) | |
| 12.30 | Lunch | Lõunasöök |
| 14.30 - 15.50 | Gregory Chaitin "ALGORITHMIC INFORMATION THEORY I" (details) | |
| 15.50 - 16.10 | Coffee break | Kohvipaus |
| 16.10 - 17.30 | Andris Ambainis "QUANTUM ALGORITHMS AND QUANTUM CRYPTOGRAPHY I" (details) | |
| 17.30 - 17.45 | Break | Paus |
| 17.45 - 18.35 | Students' presentations:
Markku-Juhani O. Saarinen A New Polynomial Evaluation Method and Its Relevance to ECM (abstract) Johan Wallén Linear Approximations of Addition Modulo 2n (abstract) |
|
| 19:00 | Evening Meal and Discussions | Õhtusöök ja diskussioonid |
| 20:00 | Ene Ergma EXOTIC STARS AMONG THE STARS (illustrated talk about neutron stars, black holes, millisecond pulsars etc. in the dining room) | |
Tuesday, March 4 | Teisipäev, 4. märts |
|
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Johan Håstad "PROBABILISTICALLY CHECKABLE PROOFS AND INAPPROXIMABILITY I" (details) | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Ivan Damgård "THEORY AND PRACTICE OF MULTIPARTY COMPUTATION II" (details) | |
| 12.30 | Lunch | Lõunasöök |
| 14.30 - 15.50 | Gregory Chaitin "ALGORITHMIC INFORMATION THEORY II" (details) | |
| 15.50 - 16.10 | Coffee break | Kohvipaus |
| 16.10 - 17.30 | Patrick Cousot "AN INTRODUCTION TO ABSTRACT INTERPRETATION II" (details) | |
| 17.30 - 17.45 | Break | Paus |
| 17.45 - 18.35 | Students' presentations:
Meelis Kull Congruence of Boolean Formulae in Model Counting Algorithms (abstract) Óscar Ribeiro On the Formalization of a Petri Net based Meta-Model with TL (abstract) |
|
| 19:00 | Evening Meal and Discussions | Õhtusöök ja diskussioonid |
| 20:00 ... | Sauna | Saun |
Wednesday, March 5 | Kolmapäev, 5. märts |
|
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 15.30 | Excursion: (Viinistu village - art exhibition, mushroom factory, Jaani-Tooma Suurkivi, Nõmmeveski waterfall etc.) | |
| 13.00 | Lunch | Lõunasöök |
| 14.30 - 15.50 | Andris Ambainis "QUANTUM ALGORITHMS AND QUANTUM CRYPTOGRAPHY II" (details) | |
| 15.50 - 16.10 | Coffee break | Kohvipaus |
| 16.10 - 17.30 | Johan Håstad "PROBABILISTICALLY CHECKABLE PROOFS AND INAPPROXIMABILITY II" (details) | |
| 17.30 - 17.45 | Break | Paus |
| 17.45 - 19.00 | Students' presentations:
Frederik Armknecht A Linearization Attack on the Bluetooth Key Stream Generator (abstract) Mads Jurik A Length Flexible Threshold Cryptosystem with Applications (abstract) Sven Laur Low dimensional attack on NTRU (abstract) |
|
| 19.00 | Evening meal and discussions | Õhtusöök ja diskussioonid |
Thursday, March 6 | Neljapäev, 6. märts |
|
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Patrick Cousot "AN INTRODUCTION TO ABSTRACT INTERPRETATION III" (details) | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Gregory Chaitin "ALGORITHMIC INFORMATION THEORY III" (details) | |
| 12.30 | Lunch | Lõunasöök |
| 14.30 - 15.50 | Johan Håstad "PROBABILISTICALLY CHECKABLE PROOFS AND INAPPROXIMABILITY III" (details) | |
| 15.50 - 16.10 | Coffee break | Kohvipaus |
| 16.10 - 17.30 | Ivan Damgård "THEORY AND PRACTICE OF MULTIPARTY COMPUTATION III" (details) | |
| 17.30 - 17.45 | Break | Paus |
| 17.45 - 18.35 | Students' presentations:
Darius Silingas Applying Hidden Markov Models to Speech Recognition (abstract) Airenas Vaiciunas Statistical modelling of Lithuanian language (abstract) |
|
| 19:00 ... | Bus to Dinner at Altja Tavern | Bussiga õhtusöögile Altja kõrtsis |
Friday, March 7 | Reede, 7. märts |
|
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Gregory Chaitin "ALGORITHMIC INFORMATION THEORY IV" (details) | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Johan Håstad "PROBABILISTICALLY CHECKABLE PROOFS AND INAPPROXIMABILITY IV" (details) | |
| 12.20 - 12.30 | Closing | Lõpetamine |
| 12.30 | Lunch | Lõunasöök |
| 13.30 | Departure | Ärasõit |