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