Totally disconnected locally compact (TDLC) groups naturally appear in various branches of mathematics as they capture the structure of symmetries of various mathematical objects, so it is natural to ask for a way of computing in such groups. Unfortunately, there is no formal framework for computation in TDLC groups and nor can there be one, as these groups are uncountable. However, one can hope to develop a formal framework of approximations analogous to how real numbers can be approximated by rational numbers with arbitrary precision.

The workshop on Computational Aspects of Totally Disconnected Locally Compact Groups will bring in Australian and New Zealand experts from four fields of mathematics: permutation groups, algorithmic group theory, numerical analysis, and formal systems and logic, to develop a basis for a framework of computation in TDLC groups and approximation thereof.

Registrations TBA.

Recent Posts