10th Estonian Winter School in Computer Science (EWSCS)
X Eesti Arvutiteaduse Talvekool
Palmse, Estonia, February 27 - March 4, 2005
under the auspices of European Educational Forum
AGENDA
Sunday, February 27 | Pühapäev, 27. 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 |
| ~17.35 | Departure from Airport | Ärasõit Lennujaama 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 | Kurt Mehlhorn "IMPLEMENTING ALGORITHMS I" (details) | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Greg Morrisett "TOPICS IN LANGUAGE-BASED SECURITY I" (details) | |
| 12.30 | Lunch | Lõunasöök |
| 14.30 - 16.00 | Benny Pinkas "PRIVACY-PRESERVING DATA MINING I" (details) | |
| 16.00 - 16.20 | Coffee break | Kohvipaus |
| 16.20 - 17.50 | Olivier Danvy "A VADE MECUM TO CONTINUATIONS I" (details) | |
| 17.50 - 18.05 | Break | Paus |
| 18.05 - 18.25 | Students' presentations:
Ando Saabas Program Proofs and Compilation (abstract) | |
| 18.25 - 18.40 | Posters intro | |
| 19.00 | Evening Meal and Discussions | Õhtusöök ja diskussioonid |
Tuesday, March 1 | Teisipäev, 1. märts | |
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Peter Bro Miltersen "UNIVERSAL METHODS FOR DERANDOMIZATION I" (details) | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Benny Pinkas "PRIVACY-PRESERVING DATA MINING II" (details) | |
| 12.30 | Lunch | Lõunasöök |
| 14.30 - 16.00 | Olivier Danvy "A VADE MECUM TO CONTINUATIONS II" (details) | |
| 16.00 - 16.20 | Coffee break | Kohvipaus |
| 16.20 - 17.50 | Kurt Mehlhorn "IMPLEMENTING ALGORITHMS II" (details) | |
| 17.50 - 18.05 | Break | Paus |
| 18.05 - 18.45 | Students' presentations:
Sven Laur Additive Conditional Disclosure of Secrets (abstract) Nikolay Vyahhi Recent Progress in Obfuscation (abstract) | |
| 19.00 | Evening Meal and Discussions | Õhtusöök ja diskussioonid |
| 20.00 ... | Sauna | Saun |
Wednesday, March 2 | Kolmapäev, 2. märts | |
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - ~13.00 | Excursion to Rakvere stronghold and at Palmse manor | |
| 13.00 | Lunch | Lõunasöök |
| 14.30 - 16.00 | Greg Morrisett "TOPICS IN LANGUAGE-BASED SECURITY II" (details) | |
| 16.00 - 16.20 | Coffee break | Kohvipaus |
| 16.20 - 17.50 | Peter Bro Miltersen "UNIVERSAL METHODS FOR DERANDOMIZATION II" (details) | |
| 17.50 - 18.05 | Break | Paus |
| 18.05 - 18.45 | Students' presentations:
Dmitry Itsykson Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas (abstract) Vahur Kotkas Propositional Logic for Program Synthesis (abstract) | |
| 19.00 | Evening meal and discussions | Õhtusöök ja diskussioonid |
Thursday, March 3 | Neljapäev, 3. märts | |
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Benny Pinkas "PRIVACY-PRESERVING DATA MINING III" (details) | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Olivier Danvy "A VADE MECUM TO CONTINUATIONS III" (details) | |
| 12.30 | Lunch | Lõunasöök |
| 14.30 - 16.00 | Kurt Mehlhorn "IMPLEMENTING ALGORITHMS III" (details) | |
| 16.00 - 16.20 | Coffee break | Kohvipaus |
| 16.20 - 17.00 | Students' presentations:
Hendrik Nigul Approximate String Matching Using Suffix Tries (abstract) Irina Lovtsova Different Selection Schemas in Multimodal Optimization Task (abstract) | |
| 17.00 - 17.15 | Break | Paus |
| 17.15 - 17.55 | Students' presentations:
Massimiliano Porcu Triangle Strip Generation Using Tunneling Algorithm (abstract) Aleksandrs Vališevskis Calculation of Shannon's Interval Entropy (abstract) |
|
| 19.00 ... | Bus to Dinner at Viinistu | Bussiga õhtusöögile Viinistusse |
| 23.30 ... | Bus starts back from Viinistu | Buss väljub Viinistult |
Friday, March 4 | Reede, 4. märts | |
| 08.00 - 08.45 | Breakfast | Hommikusöök |
| 09.00 - 10.30 | Greg Morrisett "TOPICS IN LANGUAGE-BASED SECURITY III" (details) | |
| 10.30 - 10.50 | Coffee break | Kohvipaus |
| 10.50 - 12.20 | Peter Bro Miltersen "UNIVERSAL METHODS FOR DERANDOMIZATION III" (details) | |
| 12.20 - 12.30 | Closing | Lõpetamine |
| 12.30 | Lunch | Lõunasöök |
| 14.00 | Departure | Ärasõit |