Louise Hay Logic Seminar - Spring 2024
Usually meets Thursday at 3:00 pm in SEO 427.
| Date | Speaker | Title |
|---|---|---|
|
January 11
(4:00 pm; 427 SEO)
|
|
Organizational Meeting |
|
January 18
(3:00 pm; 427 SEO)
|
Kevin Zhou
UIC |
Sample compression and definability of types |
|
January 25
(3:00 pm; 427 SEO)
|
Will Adkisson
UIC |
The Logic of the Set-Theoretic Multiverse |
|
February 1
(3:00 pm; 427 SEO)
|
Carl Tang
|
A Brief History on Elementary Equivalence of Groups |
|
February 8
|
||
|
February 15
|
||
|
February 22
(3:00 pm; 427 SEO)
|
Yutong Duan
University of Illinois at Chicago |
Several ways to prove strong minimality in DCF_0 |
|
February 29
|
||
|
March 7
(3:00 pm; 427 SEO)
|
Ryan Carpenter
UIC |
A Brief Survey of Hyperreal Numbers |
|
March 14
(3:00 pm; 427 SEO)
|
Kevin Zhou
UIC |
How to be (algorithmically) random |
|
March 21
|
No seminar
|
Spring Break |
|
March 28
(3:00 pm; 427 SEO)
|
Michael Lange
UIC |
Some facts about infinitary logic |
|
April 4
(3:00 pm; 427 SEO)
|
Kevin Zhou
UIC |
On "The unstable formula theorem revisited via algorithms" |
|
April 11
(3:00 pm; 427 SEO)
|
Will Adkisson
UIC |
Collapse: A Practical Guide to (Un)Controlled Demolition |
|
April 18
(3:00 pm; 427 SEO)
|
Ryan Carpenter
UIC |
The Monster Model: Just What Is That Thing? |
|
April 25
|