# Calendar

Sep
28
Tue
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 Property of the system $S_5$ and this will be our main goal.

Oct
5
Tue
Logic seminar: Janitha Aswedige (part 2)
Oct 5 @ 10:30 am – 11:30 am
Oct
12
Tue
RJ Reiff: Modal logic
Oct 12 @ 10:30 am – 11:30 am
Oct
26
Tue
Logic Seminar: Refuting a generalization of Frankl’s conjecture for lattice-like posets
Oct 26 @ 10:30 am – 11:30 am

Speaker: B. Kjos-Hanssen
Title: Refuting a generalization of Frankl’s conjecture for lattice-like posets

Nov
2
Tue
Logic Seminar: Modal logic of provability (David Webb)
Nov 2 @ 10:30 am – 11:30 am
Nov
9
Tue
David Webb: Kripke semantics for the provability logic GL
Nov 9 @ 10:30 am – 11:30 am
Nov
23
Tue
Logic seminar: Janitha Aswedige
Nov 23 @ 10:30 am – 11:30 am

Janitha Awedige will discuss the paper
“Inference Rules for Probability Logic” by Marija Boricic.

Feb
24
Thu
Number Theory Seminar (Kedlaya) @ Keller 301
Feb 24 @ 3:00 pm – 3:45 pm
The relative class number one problem for function fields

Abstract: Gauss conjectured that there are nine imaginary quadratic fields of class number 1; this was resolved in the 20th century by work of Baker, Heegner, and Stark. In between, Artin had introduced the analogy between number fields and function fields, the latter being finite extensions of the field of rational functions over a finite field. In this realm, the class number 1 problem admits multiple analogues; we recall some of these, one of which was “resolved” in 1975 and then falsified (and corrected) in 2014, and another one of which is a brand-new theorem in which computer calculations (in SageMath and Magma) play a pivotal role.