Department of Mathematics - Master Calendar

View Full Calendar

Mathematics Colloquium: Proof and Conversations

Event Type
Seminar/Symposium
Sponsor
Department of Mathematics
Date
May 2, 2024   4:00 pm  
Speaker
Talia Ringer, Illinois Dept of Computer Science
Contact
Jake Rasmussen
E-Mail
rasmusj@illinois.edu
Views
49
Originating Calendar
Mathematics Colloquium & Named Lectures

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