BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//prima-2022//speaker calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZOME
TZID:America/Vancouver
TZURL:http://tzurl.org/zoneinfo-outlook/America/Vancouver
X-LIC-LOCATION:America/Vancouver
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP;TZID=America/Vancouver:20221207T110000
DTSTART;TZID=America/Vancouver:20221207T110000
DTEND;TZID=America/Vancouver:20221207T123000

UID:20221207T110000@prima2022.primamath.org
SUMMARY:Kazhdan's property (T) for $\operatorname{Aut}(F_n)$ and $EL_n(\mathcal{R})$
DESCRIPTION:Kazhdan's property (T) for groups has a number of applications
in pure and applied mathematics. I will report the recent development
by several hands on the heavily computer assisted methods of
proving property (T) (with math rigor), which eventually confirmed
property (T) for $\operatorname{Aut}(F_n)$, $n>3$, thus solving a well-known problem in
geometric group theory. I then talk about my recent human effort in
coping with the computer assisted proof.

STATUS:CONFIRMED
LOCATION:Grand Ballroom
END:VEVENT
END:VCALENDAR