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

9th Estonian Winter School in Computer Science (EWSCS)
IX Eesti Arvutiteaduse Talvekool (EATTK)

Palmse, Estonia
February 29 - March 5, 2004

AGENDA


 

Sunday, February 29

Pühapäev, 29. veebruar

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 1

Esmaspäev, 1. märts

08.00 - 08.45 Breakfast Hommikusöök
08.50 Opening Avamine
09.00 - 10.30 Sergei Artemov "PROOF POLYNOMIALS I" (details)
10.30 - 10.50 Coffee break Kohvipaus
10.50 - 12.20 Madhu Sudan "ESSENTIAL CODING THEORY I" (details)
12.30 Lunch Lõunasöök
14.30 - 16.00 Achim Jung "STONE DUALITY AND PROGRAM LOGICS I" (details)
16.00 - 16.20 Coffee break Kohvipaus
16.20 - 17.50 Rusins Freivalds "UNREASONABLE EFFECTIVENESS OF CLASSICAL MATHEMATICS IN COMPUTER SCIENCE I" (details)
17.50 - 18.05 Break Paus
18.05 - 18.45 Students' presentations:
Matti Järvisalo Cut in a Tableau Method for Boolean Circuits (abstract)
Christian Mahesh Hansen Incremental Closure of Free Variable Sequent Calculus (abstract)
19.00 Evening Meal and Discussions Õhtusöök ja diskussioonid

 

Tuesday, March 2

Teisipäev, 2. märts

08.00 - 08.45 Breakfast Hommikusöök
09.00 - 10.30 Madhu Sudan "ESSENTIAL CODING THEORY II" (details)
10.30 - 10.50 Coffee break Kohvipaus
10.50 - 12.20 Achim Jung "STONE DUALITY AND PROGRAM LOGICS II" (details)
12.30 Lunch Lõunasöök
14.30 - 16.00 Moni Naor "CRYPTOGRAPHY AND PRIVACY-PRESERVING OPERATIONS I" (details)
16.00 - 16.20Coffee break Kohvipaus
16.20 - 17.50 Sergei Artemov "PROOF POLYNOMIALS II" (details)
17.50 - 18.05 Break Paus
18.05 - 18.45 Students' presentations:
Yury Lifshits Communication Complexity of the Polygon Inequality (abstract)
Alexander Kulikov Automated Proofs of Upper Bounds for NP-hard Problems (abstract)
19.00 Evening Meal and Discussions Õhtusöök ja diskussioonid
20.00 ... Sauna Saun

 

Wednesday, March 3

Kolmapäev, 3. märts

08.00 - 08.45 Breakfast Hommikusöök
09.00 - ~14.00 Excursion
14.30 - 16.00 Rusins Freivalds "UNREASONABLE EFFECTIVENESS OF CLASSICAL MATHEMATICS IN COMPUTER SCIENCE II" (details)
16.00 - 16.20Coffee break Kohvipaus
16.20 - 17.50 Moni Naor "CRYPTOGRAPHY AND PRIVACY-PRESERVING OPERATIONS II" (details)
17.50 - 18.05 Break Paus
18.05 - 18.45 Students' presentations:
Emilia Oikarinen Verifying the Equivalence of Disjunctive Logic Programs (abstract)
Juhan Ernits Application of Model Checking in Memory Arbiter Synthesis (abstract)
19.00 Evening meal and discussions Õhtusöök ja diskussioonid

 

Thursday, March 4

Neljapäev, 4. märts

08.00 - 08.45 Breakfast Hommikusöök
09.00 - 10.30 Achim Jung "STONE DUALITY AND PROGRAM LOGICS III" (details)
10.30 - 10.50 Coffee break Kohvipaus
10.50 - 12.20 Sergei Artemov "PROOF POLYNOMIALS III" (details)
12.30 Lunch Lõunasöök
14.30 - 16.00 Madhu Sudan "ESSENTIAL CODING THEORY III" (details)
16.00 - 16.20 Coffee break Kohvipaus
16.20 - 17.20 Students' presentations:
Frederik Armknecht On Fast Algebraic Attacks (abstract)
Tommi Meskanen On NTRU Cryptosystem (abstract)
Johan Wallén Rational Series in Cryptanalysis (abstract)
17.20 - 17.35 Break Paus
17.35 - 18.15 Students' presentations:
Lutz Strassburger The Calculus of Structures (abstract)
Liliana Cojocaru The Communication Complexity of Parallel and Distributive Computing (abstract)
19.00 ... Bus to Dinner Bussiga õhtusöögile

 

Friday, March 5

Reede, 5. märts

08.00 - 08.45 Breakfast Hommikusöök
09.00 - 10.30 Moni Naor "CRYPTOGRAPHY AND PRIVACY-PRESERVING OPERATIONS III" (details)
10.30 - 10.50 Coffee break Kohvipaus
10.50 - 12.20 Achim Jung "STONE DUALITY AND PROGRAM LOGICS 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/win2004/

Modified Thursday, Jan 01, 1970 at 2:00 EET+0200 by monika(at)cs.ioc.ee