25th Estonian Winter School in Computer Science (EWSCS)
XXV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 1 - 6, 2020

AGENDA

 

Sunday, March 1

17:00Departure from former Inst. of Cybernetics building (Akadeemia tee 21) (Google map)
~17:30Stop at City Center - in front of Vene Kultuurikeskus (Mere pst 5) (Google map)
~17:45Stop at local bus stop next to Intercity Bus Station (Lastekodu 46) (Google map)
~18:00Stop at Airport (at long-distance bus stop on the city side of the passenger terminal next to the tram stop;
map at Parking and traffic arrangements at Tallinn Airport)
~19:15Arrival to Palmse and check-in
19:45Dinner at Palmse Tavern

 

Monday, March 2

08:00 - 08:45Breakfast
08:50Opening
09:00 - 10:00 Andrew M. Pitts "An introduction to nominal sets" I (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Jiří Sgall "Online algorithms" I (details)
11:30 - 11:45 Break
11:45 - 12:45 Joost-Pieter Katoen "Foundations of probabilistic programming" I (details)
13:00 Lunch
14:30 - 15:30 Patric Östergård "Classification of mathematical structures" I (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Marco Gaboardi "Differential privacy and applications" I (details)
17.00 - 17.15 Break
17.15 - 18.45 Student session: Student session
1. Anastasiia Sofronova Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs (abstract)
2. Artur Riazanov Perfect matching is hard for tree-like Res(xor) (abstract)
3. Rodrigo Raya A Formal Proof of the Group Law for Edwards Curves. (abstract)
4. Jose Manuel Rodriguez Caballero A new proof technique in elementary number theory based on context-free grammar (abstract)
5. Rishikesh Reddy Gajjala An Efficient Coding Technique to Reduce Communication for Distributed Deep Learning (abstract)
6. Raul-Martin Rebane Are SIS hash functions collapsing? (abstract)
19:00 Dinner and discussions
21:00 ... Sauna I

 

Tuesday, March 3

08:00 - 08:45 Breakfast
09:00 - 10:00 Jiří Sgall "Online algorithms" II (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Joost-Pieter Katoen "Foundations of probabilistic programming" II (details)
11:30 - 11:45 Break
11:45 - 12:45 Patric Östergård "Classification of mathematical structures" II (details)
13:00 Lunch
14:30 - 15:30 Marco Gaboardi "Differential privacy and applications" II (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Andrew M. Pitts "An introduction to nominal sets" II (details)
17.30 - 18.30 Exercises in Training centre (former Malt Barn)
19:00Dinner and discussions
21:00 ... Sauna II

 

Wednesday, March 4

08:00 - 08:30 Breakfast
09:00 - 12:30Excursion by bus with Anne Kurepalu to Sagadi Manor and Forestry Museum and Vihula Manor.
12:30 Lunch
14:00 - 15:00 Jiří Sgall "Online algorithms" III (details)
15:00 - 15:20 Coffee break
15:20 - 16:20 Joost-Pieter Katoen "Foundations of probabilistic programming" III (details)
16:20 - 16:35 Break
16:35 - 17:35 Andrew M. Pitts "An introduction to nominal sets" III (details)
17.35 - 18.00 Break
18.00 - 19.00 Exercises at Training centre (former Malt Barn)
19:15Dinner and discussions

 

Thursday, March 5

08:00 - 08:45 Breakfast
09:00 - 10:00 Patric Östergård "Classification of mathematical structures" III (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Marco Gaboardi "Differential privacy and applications" III (details)
11:30 - 11:45 Break
11:45 - 12:45 Joost-Pieter Katoen "Foundations of probabilistic programming" IV (details)
13:00 Lunch
14:30 - 15:30 Andrew M. Pitts "An introduction to nominal sets" IV (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Student session
7. Jules Chouquet Probabilistic protocol complex : Topology for randomized distributed algorithms (abstract)
8. Ayberk Tosun Pointless Topology in Univalent Foundations (abstract)
9. Davide Castelnovo Preclosure Hyperdoctrines, Completeness of (Higher Order) Spatial Logic for Closure Spaces (abstract)
10. Chad Nester Cartesian restriction categories and their string diagrams (abstract)
17:30 - 18:30 Exercises at Training centre (former Malt Barn)
19:00 ... Dinner at Palmse Manor House
22:00 ... CRAPCON 2020 at the hotel's restaurant

 

Friday, March 6

08:00 - 08:45 Breakfast
09:00 - 10:00 Marco Gaboardi "Differential privacy and applications" IV (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Patric Östergård "Classification of mathematical structures" IV (details)
11:30 - 11:45 Break
11:45 - 12:45 Jiří Sgall "Online algorithms" IV (details)
12:45 - 12:50 Closing
13:00 Lunch
14:00 Check-out and departure

Valid CSS! Valid XHTML 1.0 Strict Last changed March 3, 2020 21:00 Europe/Helsinki (GMT +02:00) by local organizers, ewscs20(at)cs.ioc.ee
EWSCS'20 page: //cs.ioc.ee/ewscs/2020/