<div dir="ltr"><div dir="ltr">Hi all — please join us this <b>Wednesday at 12pm</b> for theory lunch! Details below:<div><br></div><div><div>***<br><b>Date: </b>November 20, 2024, 12pm<br><b>Location: </b>JCL 390<br><br><b>Title: </b>Formal Verification - An Introduction for the Working Computer Scientist<br><br><b>Speaker: </b>Adrian Lehmann (UChicago)<br><br><b>Abstract:</b> Formal verification uses computer-based proof checking for mathematical methods to prove the correctness of programs, systems, and general theorems. This talk introduces the fundamentals of formal verification, focusing on theorem proving and its relevance to computer science. We explore different approaches and applications in formal verification, from automated approaches for software correctness to rigorous computer-checked mathematical proof. Practical examples, case studies, and current research, such as verified compilers and cryptographic protocols, illustrate the power and versatility of these tools.</div></div></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"></div></div></div></div></div>