| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
Logic Seminar: Marija B. Boričić Joksimović
2:30 pm
Logic Seminar: Marija B. Boričić...
Apr 3 @ 2:30 pm – 3:30 pm
Location: KELLER 313Title: SEQUENT CALCULUS FOR CLASSICAL LOGIC PROBABILIZED Abstract: Gentzen’s approach to deductive systems, and Carnap’s and Popper’s treatment of probability in logic were two fruitful ideas that appeared in logic of the mid-twentieth century. By[...]
|
Colloquium – Daniel Erman (Wisconsin-Madison)
3:30 pm
Colloquium – Daniel Erman (Wisco...
@ Keller 302
Apr 4 @ 3:30 pm – 4:30 pm
|
Prateek Kunwar PhD defense
Prateek Kunwar PhD defense
Apr 6 all-day
<a href=”https://math.hawaii.edu/home/depart/theses/PhD_2023_Kunwar.pdf“>Dissertation draft</a>
|
||||
|
Colloquium – Igor Pak (UCLA)
3:30 pm
Colloquium – Igor Pak (UCLA)
@ Keller 302
Apr 14 @ 3:30 pm – 4:30 pm
|
||||||
|
Colloquium – Lvzhou Chen (Purdue)
3:30 pm
Colloquium – Lvzhou Chen (Purdue)
@ Keller 302
Apr 21 @ 3:30 pm – 4:30 pm
|
||||||
|
Applied math seminar: Kyle Dahlin (University of Georgia)
3:30 pm
Applied math seminar: Kyle Dahli...
@ Keller 302
Apr 26 @ 3:30 pm – 4:30 pm
|
||||||
