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
- rasmusj@illinois.edu
- Views
- 260
- 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.