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

11th Estonian Winter School in Computer Science (EWSCS)
XI Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 5-10, 2006

under the auspices of European Educational Forum

AGENDA


 

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.50ArrivalSaabumine
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.30Jan Bergstra "FROM PROGRAM ALGEBRA TO THREAD ALGEBRA I" (details)
10.30 - 10.50Coffee breakKohvipaus
10.50 - 12.20 Nicolas Halbwachs "SYNCHRONOUS PROGRAMMING: PRINCIPLES, COMPILATION, VERIFICATION II" (details)
12.30LunchLõunasöök
14.30 - 16.00 James Massey "INFORMATION THEORY AND CRYPTOGRAPHY II" (details)
16.00 - 16.20Coffee 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.00LunchLõunasöök
14.30 - 16.00 Yvo Desmedt "ROBUST OPERATIONS RESEARCH II" (details)
16.00 - 16.20Coffee 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.30James Massey "INFORMATION THEORY AND CRYPTOGRAPHY III" (details)
10.30 - 10.50Coffee breakKohvipaus
10.50 - 12.20John Reynolds "AN INTRODUCTION TO SEPARATION LOGIC III" (details)
12.30LunchLõunasöök
14.30 - 16.00Nicolas 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