CIDEC ÜIK |
Estonian Winter Schools in Computer Science Eesti arvutiteaduse talvekoolid |
EWSCS 2006 EATTK 2006 |
Sunday, March 5 |
Pühapäev, 5. märts | |
17.00 | Departure from Inst. of Cybernetics | Ärasõit KübI juurest |
~17.20 | Departure from Kalev Spa Hotel | Ärasõit Kalev Spa Hotelli juurest |
~17.30 | Departure from Bus Station | Ärasõit Bussijaama juurest |
~18.50 | Arrival | Saabumine |
19.00 | Dinner | Õhtusöök |
Monday, March 6 |
Esmaspäev, 6. märts | |
08.00 - 08.45 | Breakfast | Hommikusöök |
08.50 | Opening | Avamine |
09.00 - 10.30 | Nicolas Halbwachs "SYNCHRONOUS PROGRAMMING: PRINCIPLES, COMPILATION, VERIFICATION I" (details) | |
10.30 - 10.50 | Coffee break | Kohvipaus |
10.50 - 12.20 | James Massey "INFORMATION THEORY AND CRYPTOGRAPHY I" (details) | |
12.30 | Lunch | Lõunasöök |
14.30 - 16.00 | John Reynolds "AN INTRODUCTION TO SEPARATION LOGIC I" (details) | |
16.00 - 16.20 | Coffee break | Kohvipaus |
16.20 - 17.50 | Yvo Desmedt "ROBUST OPERATIONS RESEARCH I" (details) | |
17.50 - 18.05 | Posters intro | |
18.05 - 18.20 | Break | Paus |
18.20 - 19.00 | Students' presentations:
Markulf Kohlweiss Assertion-based Signatures for the XML Signature Standard (abstract) Sven Laur Efficient Mutual Data Authentication Using Manually Authenticated Strings (abstract) | |
19.00 | Evening meal and discussions | Õhtusöök ja diskussioonid |
Tuesday, March 7 |
Teisipäev, 7. märts | |
08.00 - 08.45 | Breakfast | Hommikusöök |
09.00 - 10.30 | Jan Bergstra "FROM PROGRAM ALGEBRA TO THREAD ALGEBRA I" (details) | |
10.30 - 10.50 | Coffee break | Kohvipaus |
10.50 - 12.20 | Nicolas Halbwachs "SYNCHRONOUS PROGRAMMING: PRINCIPLES, COMPILATION, VERIFICATION II" (details) | |
12.30 | Lunch | Lõunasöök |
14.30 - 16.00 | James Massey "INFORMATION THEORY AND CRYPTOGRAPHY II" (details) | |
16.00 - 16.20 | Coffee break | Kohvipaus |
16.20 - 17.50 | John Reynolds "AN INTRODUCTION TO SEPARATION LOGIC II" (details) | |
17.50 - 18.05 | Break | Paus |
18.05 - 18.45 | Students' presentations:
Ilja Tšahhirov Assymetric encryption in automatic analyses for confidentiality against active adversaries (abstract) Dennis Walter Information Flow Analysis via Logical abstraction (abstract) | |
19.00 | Evening meal and discussions | Õhtusöök ja diskussioonid |
20.00 ... | Sauna | Saun |
Wednesday, March 8 |
Kolmapäev, 8. märts | |
08.00 - 08.45 | Breakfast | Hommikusöök |
09.00 - ~13.00 | Excursion: Jäneda estate, concert by composer Urmas Sisask in planetarium | |
13.00 | Lunch | Lõunasöök |
14.30 - 16.00 | Yvo Desmedt "ROBUST OPERATIONS RESEARCH II" (details) | |
16.00 - 16.20 | Coffee break | Kohvipaus |
16.20 - 17.50 | Jan Bergstra "FROM PROGRAM ALGEBRA TO THREAD ALGEBRA II" (details) | |
17.50 - 18.05 | Break | Paus |
18.05 - 18.45 | Students' presentations:
Juhan Ernits Utilising processor cache for speeding up reachability checks in model checking (abstract) Hans Svensson Verification of Implementations of Algorithms using Testing (abstract) | |
19.00 | Evening meal and discussions | Õhtusöök ja diskussioonid |
Thursday, March 9 |
Neljapäev, 9. märts | |
08.00 - 08.45 | Breakfast | Hommikusöök |
09.00 - 10.30 | James Massey "INFORMATION THEORY AND CRYPTOGRAPHY III" (details) | |
10.30 - 10.50 | Coffee break | Kohvipaus |
10.50 - 12.20 | John Reynolds "AN INTRODUCTION TO SEPARATION LOGIC III" (details) | |
12.30 | Lunch | Lõunasöök |
14.30 - 16.00 | Nicolas Halbwachs "SYNCHRONOUS PROGRAMMING: PRINCIPLES, COMPILATION, VERIFICATION III" (details) | |
16.00 - 16.20 | Coffee break | Kohvipaus |
16.20 - 17.20 | Students' presentations:
Yury Lifshits New Algorithms on Compressed Texts (abstract) Dmitri Pavlov Fast Exponential Deterministic Algorithm for Mean Payoff Games (abstract) Konstantin Pervyshev Non-uniform time hierarchies (abstract) | |
17.20 - 17.35 | Break | Paus |
17.35 - 18.15 | Students' presentations:
Philipp Rümmer Constraints in Non-Destructive First-Order Calculi (abstract) Vesal Vojdani Data Race Analysis with the Goblin (abstract) |
|
19.00 ... | Bus to dinner at Vihula Manor | Buss õhtusöögile Vihula mõisas |
23.30 ... | Bus back to Palmse | Buss tagasi Palmsesse |
Friday, March 10 |
Reede, 10. märts | |
08.00 - 08.45 | Breakfast | Hommikusöök |
09.00 - 10.30 | Yvo Desmedt "ROBUST OPERATIONS RESEARCH III" (details) | |
10.30 - 10.50 | Coffee break | Kohvipaus |
10.50 - 12.20 | Jan Bergstra "FROM PROGRAM ALGEBRA TO THREAD ALGEBRA III" (details) | |
12.20 - 12.30 | Closing | Lõpetamine |
12.30 | Lunch | Lõunasöök |
14.00 | Departure | Ärasõit |
http://www.cs.ioc.ee/yik/schools/win2006/
Modified Mar 02, 2006 13:44 by ewscs06(at)cs.ioc.ee