Logic Colloquia

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