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