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
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>
3:30 pm Colloquium: Anne Carter (UHM) @ Keller 401
Colloquium: Anne Carter (UHM) @ Keller 401
Apr 26 @ 3:30 pm – 4:30 pm
Title: Single- and Multivariable (φ, Γ)-Modules and Galois Representations Abstract: I will introduce the notion of a (single-variable) (φ, Γ)-module and explain the relationship of (φ, Γ)-modules to representations of Gal(Q̅_p | Q_p), the absolute[...]