Monday 24 October | |
08:45 - 09:00 | Welcome |
09:00 - 09:30 | George Willis How do we talk to a computer about TDLC groups and why do we wish to? |
09:30 - 10:00 | Michal Ferov A candidate paradigm for computation and visualisation in TDLC groups |
10:00 - 11:00 | Morning tea and introduction |
11:00 - 12:00 | Stephan Tornier Two GAP packages relating to groups acting on trees |
12:00 - 12:30 | David Allingham Web-based tree-drawing tools |
12:30 - 13:30 | Lunch |
13:30 - 14:00 | Breakout |
14:00 - 15:00 | George Willis Introduction to TDLC groups |
15:00 - 15:30 | Afternoon tea |
15:30 - 16:30 | André Nies Computably t.d.l.c. groups (part 1)
|
16:30 - 17:00 | Summary session |
Tuesday 25 October | |
09:00 - 10:00 | Alexander Hulpke Finite permutation quotients of infinite groups: Algorithmic connection in both directions (part 1) |
10:00 - 10:30 | Morning tea |
10:30 - 11:30 | André Nies |
11:30 - 12:30 | Bettina Eick |
12:30 - 14:00 | Lunch |
14:00 - 15:00 | Breakout |
15:00 - 15:30 | Afternoon tea |
15:30 - 16:00 | Breakout |
16:00 - 17:00 | Katrin Tent |
Wednesday 26 October | |
09:00 - 10:00 | Alexander Hulpke Finite permutation quotients of infinite groups: Algorithmic connection in both directions (part 2) |
10:00 - 10:30 | Morning tea |
10:30 - 11:30 | Breakout |
11:30 - 12:30 | Bettina Eick |
12:30 - 14:00 | Lunch |
14:00 - 15:00 | Breakout: Colin Reid and Stephan Tornier - Groups acting on trees |
15:00 - 15:30 | Afternoon tea |
15:30 - 16:00 | Breakout |
16:00 - 17:00 | Katrin Tent |
Thursday 27 October | |
09:30 - 10:00 | Ari Markowitz Title tba |
10:00 - 10:30 | Morning tea |
10:30 - 12:30 | Breakout: André Nies |
12:30 - 14:00 | Lunch |
Free afternoon | |
18:00 - 22:00 | Workshop dinner |
Friday 28 October | |
09:00 - 09:30 | João Vitor Pinto e Silva Title tba |
09:30 - 10:00 | Max Carter Title tba |
10:00 - 10:30 | Morning tea |
10:30 - 12:30 | Breakout |
12:30 - 14:00 | Lunch |
14:00 - 15:00 | Wrap-up session |
Departure |