Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Logic Seminar: Ellen Hughes 10:30 am
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[...]
15
16
17
18
19
20
21
Logic seminar: David Webb 10:30 am
Logic seminar: David Webb
Sep 21 @ 10:30 am – 11:30 am
Title: Computing from a pair of oracles one of which is useful
22
23
24
25
26
27
28
Logic seminar: Janitha Aswedige 10:30 am
Logic seminar: Janitha Aswedige
Sep 28 @ 10:30 am – 11:30 am
Title: Introduction to Modal Logic: Filtrations and Finite Model Property of $S_5$ Abstract : We’ll introduce some basic notions from Modal Logic namely, Kripke Frames, Standard Models, Filtrations etc. Then we’ll demonstrate the Finite Model[...]
29
30