CIDEC ÜIK |
Estonian Winter Schools in Computer Science Eesti arvutiteaduse talvekoolid |
EWSCS 2004 EATTK 2004 |
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.45 | Arrival | Saabumine |
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.20 | Coffee 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.20 | Coffee 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