Logic Seminar: Ellen Hughes

September 14, 2021 @ 10:30 am – 11:30 am

Time and place: Tuesday September 14, 10:30am in Holmes 247.

Speaker: Ellen Hughes, undergraduate student, UH Manoa.

Title: The interest equation in Lean

Abstract: We discuss how to solve the equation $y=x(1+i)^n$ for $i$ and for $n$ in the Lean proof assistant. 
This is joint work with Monica Johnson, Ryan Sasaki and Prof. Kjos-Hanssen.

Covid-19 mitigation plan:
Participants will be required to show vaccination or testing status using the Lumisight app upon entry, observe 3ft social distancing, and to wear masks throughout.

Hope to see you there.