BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Australian Mathematical Society - ECPv5.5.0.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Australian Mathematical Society
X-ORIGINAL-URL:https://austms.org.au
X-WR-CALDESC:Events for Australian Mathematical Society
BEGIN:VTIMEZONE
TZID:Australia/Melbourne
BEGIN:STANDARD
TZOFFSETFROM:+1100
TZOFFSETTO:+1000
TZNAME:AEST
DTSTART:20220402T160000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+1000
TZOFFSETTO:+1100
TZNAME:AEDT
DTSTART:20221001T160000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20221024
DTEND;VALUE=DATE:20221029
DTSTAMP:20231002T150327
CREATED:20220819T014655Z
LAST-MODIFIED:20220914T045205Z
UID:12963-1666569600-1667001599@austms.org.au
SUMMARY:CARMA: Computational Aspects of Totally Disconnected Locally Compact Groups
DESCRIPTION:Dates: 24–28 October 2022\nVenue: CARMA\, The University of Newcastle (poster)\nWebsite: https://zerodimensional.group/conferences/catdlc/ \nTotally 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. \n \nLocally\, TDLC groups are profinite\, meaning that they can be understood through sequences of finite groups that increase in size. Computing with larger and larger finite groups would provide more and more precise approximations of local structure of TDLC groups\, using formalisms from numerical analysis. Computational aspects of finite permutation groups have been well-studied and this is a very active area of research. The way the local structure is composed to form the large-scale picture of a TDLC group is not dissimilar to the structure of countable groups\, for which there is also a well-developed theory of computation. \nThe aim of the proposed workshop is to bring together experts from four fields of mathematics: \n\npermutation groups\nalgorithmic group theory\nnumerical analysis\nformal systems and logic\n\nto develop a basis for a framework of computation in TDLC groups and approximation thereof. \nConference organisers\n\nHeiko Dietrich (Monash University)\nMichal Ferov (The University of Newcastle)\nMelissa Lee (The University of Auckland)\nGeorge Willis (The University of Newcastle)\n\nThis workshop is supported by AMSI and AustMS through the AMSI–AustMS Workshop Funding program.
URL:https://austms.org.au/event/carma-computational-aspects-of-totally-disconnected-locally-compact-groups/
LOCATION:University of Newcastle\, SR118 Callaghan campus\, Callaghan campus\, Newcastle\, NSW\, Australia
CATEGORIES:AMSI Events,CARMA
ORGANIZER;CN="Michal%20Ferov":MAILTO:michal.ferov@newcastle.edu.au
END:VEVENT
END:VCALENDAR