Louise Hay Logic Seminar - Spring 2023
Usually meets Thursday at 3:00 pm in SEO 427.
| Date | Speaker | Title |
|---|---|---|
|
January 12
|
||
|
January 19
(4:00 pm; 427 SEO)
|
|
Organizational Meeting |
|
January 26
|
||
|
January 30
(4:00 pm; 612 SEO)
|
Kevin Zhou
UIC |
Weighted Model Counting |
|
February 2
|
||
|
February 6
(4:00 pm; 612 SEO)
|
Will Adkisson
UIC |
As Above, So Below: A Survey of Reflection Principles |
|
February 9
|
||
|
February 16
|
||
|
February 23
|
||
|
February 27
(4:00 pm; 612 SEO)
|
Bonghun Lee
UIC |
A Trichotomy Theorem on o-minimal Structures. |
|
March 2
|
||
|
March 6
(4:00 pm; 612 SEO)
|
Ryan Carpenter
UIC |
Modal Model Theory: A Potential Foundation for Mathematics? |
|
March 9
|
||
|
March 13
(4:00 pm; 612 SEO)
|
Gregoire Fournier
UIC |
Finite model theory and logics for AI |
|
March 16
|
||
|
March 23
|
No seminar
|
Spring Break |
|
March 30
|
||
|
April 6
|
||
|
April 13
|
||
|
April 17
(5:00 pm; 427 SEO)
|
Kay Thompson
UIC |
The Generalized Fraïssé Construction |
|
April 20
|
||
|
April 27
|