BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Sydney Mathematical Research Institute - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://mathematical-research-institute.sydney.edu.au
X-WR-CALDESC:Events for Sydney Mathematical Research Institute
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Australia/Sydney
BEGIN:STANDARD
TZOFFSETFROM:+1100
TZOFFSETTO:+1000
TZNAME:AEST
DTSTART:20230401T160000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+1000
TZOFFSETTO:+1100
TZNAME:AEDT
DTSTART:20230930T160000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+1100
TZOFFSETTO:+1000
TZNAME:AEST
DTSTART:20240406T160000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+1000
TZOFFSETTO:+1100
TZNAME:AEDT
DTSTART:20241005T160000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+1100
TZOFFSETTO:+1000
TZNAME:AEST
DTSTART:20250405T160000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+1000
TZOFFSETTO:+1100
TZNAME:AEDT
DTSTART:20251004T160000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20240813T173000
DTEND;TZID=Australia/Sydney:20240813T193000
DTSTAMP:20260414T030916
CREATED:20240822T234323Z
LAST-MODIFIED:20241023T021955Z
UID:6244-1723570200-1723577400@mathematical-research-institute.sydney.edu.au
SUMMARY:'Zeros'
DESCRIPTION:National Science Week 2024 Public Lecture by Professor Andrej Bauer\n\n\n\nHave you ever wondered what makes mathematicians excited about seemingly dreary tasks\, such as solving equations? \n\n\n\nIn the old days\, mathematicians would compete in equation solving\, with their reputation\, money\, and jobs at stake. More than once\, they invented new kinds of numbers just so they could solve more equations. This intense passion and dedication suggests an unseen\, hidden beauty that compels mathematicians to invest their lives in the pursuit of solutions. \n\n\n\nUsing modern computers\, we will uncover and visualize this beauty\, revealing the rich and intricate structure of equation solving for everyone to see. Join us and partake in the excitement of mathematical discovery. \n\n\n\n\n\n\n\nAbout the speaker\n\n\n\n\n\n\n\n\n\n\n\nAndrej Bauer is a professor of computational mathematics at the Faculty of Mathematics and Physics of the University of Ljubljana\, Slovenia. In 1994\, he received his Sc.B. in Mathematics from Ljubljana\, and in 2000\, his PhD in Pure and Applied Logic from Carnegie Mellon University. In 2012\, he was a fellow at the Institute for Advanced Study\, where he contributed to the development of homotopy type theory. In 2022\, he received the American Mathematical Society Levi L. Conant Prize for an outstanding expository paper “Five Stages of Accepting Constructive Mathematics” published in the Bulletin of the AMS. \n\n\n\nBauer’s work spans foundations of mathematics\, constructive and computable mathematics\, type theory\, homotopy type theory\, and mathematical principles of programming languages. He is a co-author of the book “Homotopy Type Theory: Univalent Foundations of Mathematics” and the initiator of the HoTT library\, an extensive formalization of homotopy type theory in the Coq proof assistant. He is also known for his seminal work on programming with algebraic effects and handlers. \n\n\n\nBauer’s interests outside mathematics include computer-generated art and aikido\, in which he holds a master’s degree. \n\n\n\n\n\n\n\n\n\n\n\n\nDate: \n\n\n\n\n\n\n\n\n\n\nCost \n\n\n\n\n\n\n\n\n\nSWHB Lecture Theatre 321 \n\n\n\nLevel 3 Susan Wakil Health Building (D18) \n\n\n\nUniversity of Sydney\, Camperdown Campus
URL:https://mathematical-research-institute.sydney.edu.au/event/zeros/
ATTACH;FMTTYPE=image/gif:https://mathematical-research-institute.sydney.edu.au/wp-content/uploads/2024/09/web-ready-zero-03sep24.gif
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Australia/Sydney:20240814T163000
DTEND;TZID=Australia/Sydney:20240814T163000
DTSTAMP:20260414T030916
CREATED:20240822T234324Z
LAST-MODIFIED:20250605T022705Z
UID:6246-1723653000-1723653000@mathematical-research-institute.sydney.edu.au
SUMMARY:National Science Week High School Workshop: Infinity mathematics
DESCRIPTION:Infinity mathematics workshop\, Wednesday 14 August\, 16:30–18:00\nSMRI will host a National Science Week after-school workshop for high school students at the University of Sydney on Wednesday 14 August 2024. The workshop is aimed at students from years 8-11 with a keen interest in mathematics. In this workshop\, we will have a deeper look into counting to infinity and try to figure out if all infinities are equal or one thing can be more infinite than another one. We will explore the mathematics of infinity through discussion and solving problems. \nThis event will be presented by University of Sydney mathematician\, Milena Radnovic. \nAbout the presenter: Milena Radnovic is Associate Professor of Mathematics at the University in Sydney. She was born\, raised and educated in Belgrade\, Serbia\, where she worked for many years with talented students of the Mathematical High School and did research at the Mathematical Institute SANU. Before coming to Sydney\, Milena also worked as a mathematician in the Weizmann Institute of Science in Israel. \nMilena’s research work mainly focuses on geometry and dynamics. She is an enthusiastic teacher for students of all ages and levels of education. \n\nClick here to register via Humanitix    
URL:https://mathematical-research-institute.sydney.edu.au/event/national-science-week-high-school-workshop-infinity-mathematics/
ATTACH;FMTTYPE=image/jpeg:https://mathematical-research-institute.sydney.edu.au/wp-content/uploads/2024/08/Infinity-banner.jpg
END:VEVENT
END:VCALENDAR