Louise Hay Logic Seminar - Fall 2023
Usually meets Thursday at 3:00 pm in SEO 427.
Date | Speaker | Title |
---|---|---|
August 31
(4:00 pm; 427 SEO)
|
|
Organizational Meeting |
September 7
(4:00 pm; 427 SEO)
|
Will Adkisson
UIC |
Hip To Be Square |
September 14
(4:00 pm; 427 SEO)
|
Kevin Zhou
UIC |
Machine Learning for the Working Logician |
September 21
|
||
September 28
(4:00 pm; 427 SEO)
|
Carl Tang
UIC |
First-Order Theory of Torsion-free Hyperbolic Groups |
October 5
(4:00 pm; 427 SEO)
|
Ryan Carpenter
UIC |
Paradox, Cardinals, Gödel, and Cantor |
October 12
(4:00 pm; 427 SEO)
|
Michael Lange
UIC |
Omitting Types Theorem: Topological Perspective |
October 19
(4:00 pm; 427 SEO)
|
Bonghun Lee
University of Illinois at Chicago |
Independence Relation |
October 26
|
||
November 2
|
||
November 9
(4:00 pm; 427 SEO)
|
David Gonzalez
Berkeley |
Scott Sentence Complexities of Linear Orderings |
November 16
(4:00 pm; 427 SEO)
|
Will Adkisson
UIC |
$\aleph_1$ is not a large cardinal |
November 23
|
No seminar
|
Thanksgiving |
November 30
|
||
December 7
|