Schedule

Book of abstracts

(Includes schedule, list of parallel sessons, and talk abstracts.)

Sunday 2 July

Supper (Group 2 from 19:30; group 1 from 20:30. Note the unusual order for Sunday only.)  

Monday 3 July

Breakfast (Group 1 from 07:30; group 2 from 08:00)  
8:00–8:30 Registration
8:30–9:00 Opening
9:00–9:45 Josef Urban, ‘Some adventures in learning synthesis of mathematical objects and proofs’ Main auditorium
9:45–10:30 James East, ‘A groupoid approach to regular *-semigroups’ Main auditorium
10:30–11:00 Coffee
11:00–12:30 Parallel session A Main auditorium
Parallel session B Living room
12:30–14:15 Lunch (Group 1 from 12:30; group 2 from 13:30)
14:15–15:00 Peter Cameron, ‘Permutation groups and transformation semigroups’ (Lecture 1) Main auditorium
15:00–15:45 Mikoláš Janota, ‘Automated Combinatorial Solving and Its Applications in Computational Algebra’ Main auditorium
15:45–16:30 Coffee
16:30–18:00 Parallel session C Main auditorium
Parallel session D Living room
Supper (Group 1 from 19:30; group 2 from 20:30)

Tuesday 4 July

Breakfast (Group 1 from 07:30; group 2 from 08:00)
9:00–9:45 Martin Liebeck, ‘Computing with conjugacy classes in classical groups’ Main auditorium
9:45–10:30 Laurent Bartholdi, ‘The domino problem on groups and Schreier graphs’ Main auditorium
10:30–11:00 Coffee
11:00–12:30 Parallel session E Main auditorium
Parallel session F Living room
Parallel session G Canteen
12:30–14:15 Lunch (Group 1 from 12:30; group 2 from 13:30)
14:15–15:00 Peter Cameron, ‘Permutation groups and transformation semigroups’ (Lecture 2) Main auditorium
15:00–15:45 Peter Higgins, ‘Algebras defined by equations’ Main auditorium
15:45–16:15 Coffee
16:15–18:00 Automated reasoning course Main auditorium
Supper (Group 1 from 19:30; group 2 from 20:30)

Wednesday 5 July

Breakfast (Group 1 from 07:30; group 2 from 08:00)
9:00–9:45 Jorge Almeida, ‘Taming the pseudovariety DAb’ Main auditorium
9:45–10:30 Mark Lawson, ‘Higher dimensional generalizations of the Thompson groups via higher rank graphs’ Main auditorium
10:30–11:00 Coffee
11:00–12:30 Parallel session H Main auditorium
Parallel session I Living room
Parallel session J Canteen
12:30–14:15 Lunch (Group 1 from 12:30; group 2 from 13:30)
14:15–15:00 Peter Cameron, ‘Permutation groups and transformation semigroups’ (Lecture 3) Main auditorium
15:00–15:45 Marianne Johnson, ‘Tropical representations and semigroup identities of plactic-like monoids’ Main auditorium
15:45–16:15 Coffee
16:15–17:00 Robert Gray, ‘Membership problems for positive one-relator groups and one-relation monoids’ Main auditorium
17:00–⁠17:45 Benjamin Steinberg, ‘The representation theory of the monoid of affine transformations of a vector space over a finite field’ Main auditorium
Supper (Group 1 from 19:30; group 2 from 20:30)

Thursday 6 July

Breakfast (Group 1 from 07:30; group 2 from 08:00)
9:00–9:45 Stuart Margolis, ‘On the Minimal Degree of Rhodes Semisimple Semigroups’ Main auditorium
9:45–10:30 Rosemary Bailey, ‘Designs for half-diallel experiments’ Main auditorium
10:30–11:00 Coffee
11:00–12:30 Parallel session K Main auditorium
Parallel session L Living room
Parallel session M Canteen
12:30–14:15 Lunch (Group 1 from 12:30; group 2 from 13:30)
14:15–15:00 Mark Kambites, ‘Subgroups of Special Inverse Monoids’ Main auditorium
15:00–15:45 Mikhail Volkov, ‘Strongly nonfinitely based monoids’ Main auditorium
15:45–16:15 Coffee
16:15–18:00 Automated reasoning course Main auditorium
Supper (Group 1 from 19:30; group 2 from 20:30)