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, selfreference 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, Llike universes ands the Inner model
hypothesis
November 10, 2005