Chicago Joint Logic Seminar

Links:

• U. of Chicago Logic Seminar
• UIC Logic Seminar

Announcements

+ We are in the process of drawing up a naming rights competition for the CJLS. Our aim is to generate some funds to bring in more student speakers from other schools. More details will be posted soon.

Next talk

Summer break. We'll resume in Fall 2008.

Upcoming talks

Summer break. We'll resume in Fall 2008.

Past talks

Karen Lange (Chicago),"The relative strength of the Atomic and Homogeneous Model Theorems": 4/29.
William Simmons and Charles Moss (UIC),"A speck of automated theorem proving: HOL Light and Kepler's Theorem": 4/24.
David Diamondstone (Chicago),"Introduction to randomness": 4/17.
Uri Andrews (Berkeley),"Recursive models of uncountably categorical theories": 4/10.
Damir Dzhafarov (Chicago),"Effective combinatorics": 4/3
Sylvia Carlisle (UIUC), "An introduction to continuous logic: definability and examples": 3/6.
Chris Conidis (Chicago), "Effectivizing notions of dimension, part II": 2/28
James Freitag (UIC), "An introduction to o-minimality": 2/21
Chris Conidis (Chicago), "Effectivizing notions of dimension": 2/14
Fred Drueck (UIC), "The Random Graph", 2/7
Rachel Epstein (Chicago), "An Introduction to Computable Model Theory from the Perspective of Vaught's Models", 1/31
Ahuva Shkop (UIC), "A Crazy Conjecture": 1/24