Calendar

21 Sun 22 Mon 23 Tue 24 Wed 25 Thu 26 Fri 27 Sat
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
Now: Apr 21
10:30 am Master presentation: Jake Fennick @ Keller 403
Master presentation: Jake Fennick @ Keller 403
Apr 23 @ 10:30 am – 12:00 pm
Formalization of a Deontic Logic Theorem in the Isabelle Proof Assistant<a href=”https://math.hawaii.edu/home/depart/theses/MA_2019_Fennick.pdf”>Draft project report</a>