# Activities

## Venue: HIM, Poppelsdorfer Allee 45, Lecture Hall

## Thursday, September 27^{th}, 11 a.m. - 12 p.m.

**Unsolvability of the Universal Theory of Finite Groups**

Maurice Chiodo will talk about A. M. Slobodskoi's paper "Unsolvability of the Universal Theory of Finite Groups".

## Friday, September 21^{st}, 2:30 p.m. - 3:30 p.m.

**Ethics in Mathematics: discussion session **

We will have a general discussion session on Ethics in Mathematics, covering:

- why it is important,

- what are some case studies,

- what might each of us do to help educate other mathematicians about this.

Some information about a conference on this held in Cambridge in April 2018 can be found here.

And some information about the related student society in Cambridge can be found here.

## Thursday, September 20th, 2:30 p.m. - 4 p.m.

**Discussion with Henry Wilton**

We will discuss undecidability results related to profinite groups based on the following three papers:

The triviality problem for profinite completions

Martin Bridson & Henry Wilton*Invent. Math., 202(2), pp. 839–874, 2015*

The isomorphism problem for profinite completions of finitely presented, residually finite groups

Martin Bridson & Henry Wilton*Groups Geom. Dyn., 8(3), pp. 733–745, 2014*

On the recognition problem for virtually special cube complexes

Martin Bridson & Henry Wilton*Hyperbolic geometry and geometric group theory, pp. 37–46, Adv. Stud. Pure Math., 73, MSJ, Tokyo, 2017*