Monday
24 October
08:45 - 09:00Welcome
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:00Morning 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:30Lunch
13:30 - 14:00Breakout
14:00 - 15:00

George Willis

Introduction to TDLC groups

15:00 - 15:30Afternoon tea
15:30 - 16:30

André Nies

Computably t.d.l.c. groups (part 1)

16:30 - 17:00Summary 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:30Morning tea
10:30 - 11:30

André Nies

Computably t.d.l.c. groups (part 2)

Notes and slides as per part 1.

11:30 - 12:30

Bettina Eick

Computation with polycyclic groups

12:30 - 14:00Lunch
14:00 - 15:00Breakout
15:00 - 15:30Afternoon tea
15:30 - 16:00Breakout
16:00 - 17:00

Katrin Tent

First order rigidity of profinite groups (part 1)

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:30Morning tea
10:30 - 11:30Breakout
11:30 - 12:30

Bettina Eick

Representations and cohomology for polycyclic groups

12:30 - 14:00Lunch
14:00 - 15:00Breakout: Colin Reid and Stephan Tornier - Groups acting on trees
15:00 - 15:30Afternoon tea
15:30 - 16:00Breakout
16:00 - 17:00

Katrin Tent

First order rigidity of profinite groups (part 2)

Thursday
27 October
09:30 - 10:00

Ari Markowitz

Title tba

10:00 - 10:30Morning tea
10:30 - 12:30Breakout: André Nies
12:30 - 14:00Lunch
Free afternoon
18:00 - 22:00Workshop 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:30Morning tea
10:30 - 12:30Breakout
12:30 - 14:00Lunch
14:00 - 15:00Wrap-up session
Departure