|
|
Close Help | ||||||||||||||
The colloquia are organized as a supplement to the Logic seminar. Their frequency is small.Lectures given (and planned):
- Gaisi Takeuti (University of Illinois, Urbana)
Many faces of elementary logic
March 16, 1994
- Rohit Parikh (City University of New York)
Recent Developments in the Logic of Knowledge
September 22, 1994
- Alexander A. Razborov (Steklov Mathematical Institute at Moscow)
Modern Complexity Theory: Progresses and Challenges
September 25, 1995
- Thomas Jech (Pennsylvania State University, University Park)
Liar's Paradox, self-reference and G\"odel's Incompleteness Theorems aneb Proc nelze definovati pravdu (Czech)
December 18, 1995
- Stephen A. Cook (University of Toronto)
Finding hard instances for the propositional satisfiability problem
May 6, 1996
- Yuri Gurevich (Microsoft)
What is an Algorithm?
(Introduction to Behavioral Computation Theory)
June 24, 2005
- Sy Friedman
(Kurt Godel Research Center for Mathematical Logic, University of Vienna)
Large cardinals, L-like universes ands the Inner model hypothesis
November 10, 2005
