Calendar

May
14
Fri
Final exams end
May 14 all-day
Jun
22
Tue
Corrisa Heyes MA presentation
Jun 22 @ 2:30 pm – 3:30 pm
Jul
27
Tue
PhD Defense – Daniel Flores
Jul 27 @ 12:00 pm – Jul 27 @ 2:00 pm


Location: Zoom Meeting https://hawaii.zoom.us/j/95463949444 Meeting ID: 954 6394 9444 Passcode: mathama
Aug
4
Wed
Hugh Chou’s MA presentation
Aug 4 @ 2:00 pm – 3:00 pm
Aug
23
Mon
Fall semester instruction begins
Aug 23 all-day
Sep
14
Tue
Logic Seminar: Ellen Hughes
Sep 14 @ 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.

Sep
21
Tue
Logic seminar: David Webb
Sep 21 @ 10:30 am – 11:30 am

Title:
Computing from a pair of oracles one of which is useful

Sep
28
Tue
Logic seminar: Janitha Aswedige
Sep 28 @ 10:30 am – 11:30 am

Topic: Modal logic