Tuesday, 18-Aug-2026
10:30-11:15h Tutorial Session
empty slot
11:15-12:00h Tutorial Session
empty slot
12:00-12:45h Tutorial Session
"TAAM/MATTS refinement in Olex2"
(Paulina Dominiak)
TAAM/MATTS
14:30-15:15h Tutorial Session
empty slot
15:15-16:00h Tutorial Session
empty slot
16:00-16:45h Tutorial Session
empty slot