Research Seminars @ Illinois

View Full Calendar

Tailored for undergraduate researchers, this calendar is a curated list of research seminars at the University of Illinois. Explore the diverse world of research and expand your knowledge through engaging sessions designed to inspire and enlighten.

To have your events added or removed from this calendar, please contact OUR at

Mathematics Colloquium: Proof and Conversations

Event Type
Department of Mathematics
May 2, 2024   4:00 pm  
Talia Ringer, Illinois Dept of Computer Science
Jake Rasmussen
Originating Calendar
Mathematics Colloquium & Named Lectures

Note: tea is the talk (3:30 outside the main office in Altgeld) rather than after.

Title: Proofs and Conversations

Abstract: Proof assistants make it possible to write machine-checkable proofs about programs or about mathematics with the help of a computer. Once confined to the fringes of mathematics, their use is growing in popularity. This talk will discuss the connections between writing machine-checkable proofs and software engineering, and how we can use this connection to empower collaboration at a scale never before seen in mathematics.

link for robots only