POCOCOP Dresden March 2025
15.3 | 16.3 | 17.3 | 18.3 | 19.3 |
---|---|---|---|---|
16:00 Reception (Manuel's apartment) |
13:00 Bouldering (Mandala) 18:00 Madama Butterfly (Semperoper) |
9:00 Welcome (WIL A124) 9:30 Removing algebraicity from infinite-domain CSPs and establishing link to finite-domain PCSPs: Part 1 (WIL A124) 11:00 Database theory: basics and connections to CSP: Part 1 (WIL A124) 12:00 Lunch 13:30 Task Forces 18:30 Dinner |
9:30 Database theory: basics and connections to CSP: Part 2 (WIL A124) 11:00 12:00 Lunch 13:30 Task Forces 19:00 Dinner |
9:30 GMSNP: how to build a good finitely bounded homogeneous template (WIL A124) 11:00 Overview of CSP algorithms and what they solve (WIL A124) 12:00 Lunch 13:30 Task Forces 19:00 Dinner |
In the above table bold means 'official POCOCOP meeting' and not bold means 'optional'.
Room Information:
WIL A124 - available Monday, Tuesday, Wednesday all the time
WIL C102, C103, C104 - available Monday from 1 pm - Tuesday till 2:50 pm - Wednesday from 1 pm.
Topics spreadsheet: https://docs.google.com/spreadsheets/d/1Vb1tP3MGSk23dW47UhydT7fnqJOn-NMIiholx6qajUM/edit?usp=sharing
Task force schedule: https://docs.google.com/spreadsheets/d/1ULDutGsvATaZuj7wEQS9554pn_iTSgIY9z08uNfWhG0/edit?usp=sharing
- Meeting location (WIL B): Zellescher Weg 12, 01069
- Alte Mensa address (common lunch location): Mommsenstraße 13, 01069
- Manuel's apartment (reception address): Seifhennersdorferstr
14, 01099