# Logic Seminar: Ellen Hughes

When:
September 14, 2021 @ 10:30 am – 11:30 am
2021-09-14T10:30:00-10:00
2021-09-14T11:30:00-10:00

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.