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