AGENDA
Sunday, March 1 | |
| 17:00 | Departure from former Inst. of Cybernetics building (Akadeemia tee 21) (Google map) |
| ~17:30 | Stop at City Center - in front of Vene Kultuurikeskus (Mere pst 5) (Google map) |
| ~17:45 | Stop at local bus stop next to Intercity Bus Station (Lastekodu 46) (Google map) |
| ~18:00 | Stop 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:15 | Arrival to Palmse and check-in |
| 19:45 | Dinner at Palmse Tavern |
Monday, March 2 | |
| 08:00 - 08:45 | Breakfast |
| 08:50 | Opening |
| 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:00 | Dinner and discussions |
| 21:00 ... | Sauna II |
Wednesday, March 4 | |
| 08:00 - 08:30 | Breakfast |
| 09:00 - 12:30 | Excursion 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:15 | Dinner 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 |
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/