from 20th 2022
until 24th April 2022
Plemelj villa
Bled
This workshop is dedicated to datasets of highly symmetrical graphs, covering aspects of dataset construction, formalization in proof assistants, and developing user friendly presentations.
Institute of Mathematics, Physics, and Mechanics
in collaboration with
DMFA Slovenije
Wednesday | Thursday | Friday | Saturday | Sunday | |
---|---|---|---|---|---|
9:00-10:00 | Problem session | Problem session | Problem session | Problem session | Problem session |
10:00-13:00 | Work in groups | Work in groups | Work in groups | Work in groups | Work in groups |
13:00-14:30 | Lunch break | Lunch break | Lunch break | Lunch break | Lunch break |
14:30-17:30 | Work in groups | Work in groups | Work in groups | Work in groups | Progress report and discussion |
17:30-18:30 | Progress report and discussion | Progress report and discussion | Progress report and discussion | Progress report and discussion |