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