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

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.45ArrivalSaabumine
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

http://www.cs.ioc.ee/yik/schools/win2003/

Modified Monday, Oct 12, 2015 at 17:19 EEST+0300 by monika@cs.ioc.ee