Selected Lectures

Slides of Recent Lectures (prior to 2011):

2011

    • Definitive solutions of strategic games,
      METEOR Seminar, Maastricht University, June 16, 2011.  (pdf)
    • Kurt Gödel Legacy and the Current Trends in Logic ,
      New Trends in Logic, Vienna, April 29, 2011.      (pdf)
    • First-Order Logic of Proofs,
      Kurt Gödel Research Center, Vienna, April 27, 2011.   (pdf)
    • Justification Logic,
      Vienna, April 26, 2011, 2011.   (pdf)

2010

    • To believe, or not to believe: that is the question,
      Computational Logic Seminar, Graduate Center CUNY, New York City, August 31, 2010.       (pdf)
    • Rational decisions in non-probabilistic setting,
      Microsoft Research, Redmont, VA, January 21, 2010.  (pdf)

2009

    • Beyond Nash,
      Computational Logic Seminar, Graduate Center CUNY, December 1, 2009.     (pdf)
    • Rational decisions in non-probabilistic setting,
      Computational Logic Seminar, Graduate Center CUNY October 20, 2009.       (pdf)
    • Knowledge and Games,
      Zolt-Gilburne Imagination Seminar October 1, 2009.       (pdf)
    • Knowledge-based rational decisions,
      Computer Science Colloquium, Graduate Center CUNY, September 24, 2009.  (pdf)
    • Belief-based rational decisions,
      Computational Logic Seminar, September 22, 2009.       (pdf)
    • Knowledge-Based Rational Decisions,
      Computational Logic Seminar, September 1, 2009.       (pdf)

2008

    • Justification Logic,
      JELIA 2008, Dresden, September 29, 2008.       (pdf)
    • The Logic of Justification,
      Philosophy Colloquium, CUNY Graduate Center New York, September 3, 2008.       (pdf)
    • On the unusual effectiveness of proof theory in epistemology,
      Bern, July 11, 2008.       (pdf)
    • Topological Semantics of Justification Logic,
      Moscow, June 9, 2008.       (pdf)
    • Justification Logic,
      École normale supérieure, Paris, May 29, 2008.       (pdf)
    • Justification Logic,
      Workshop on Proof, Justification and Learning, Nancy, May 26, 2008.       (pdf)
    • The Importance of Being Right,
      Computer Science Mixter at CCNY, May 8, 2008.       (pdf)
    • The Logic of Justification,
      Collegium Logicum, Vienna, April 30, 2008.      (pdf)

2007

    • Topological Models for Justification Logic,
      TANCL 2007, Oxford University August 6, 2007.       (pdf)

2006

    • Justification Logic Analytic Proof Systems 2,
      Phnom Penh, November 12, 2006.       (pdf)
    • Kurt Gödel Centenary: His Legacy in Mathematics and Computer Science,
      CUNY Computer Science Colloquium, November 2, 2006.       (pdf)
    • Computer-Aided Proofs and Their Significance,
      Conference Computation and Complexity, New York, May 12, 2006.       (pdf)
    • Proofs, Evidence, Knowledge,
      University of Athens, January 20, 2006.       ( pdf)

2004

    • Proof Polynomials,
      Estonian Winter School in Computer Science, 2004.       ( pdf1, pdf2, pdf3)

2003

    • Back to the Future: Explicit Logic for Computer Science,
      Vienna, August 26, 2003.       ( ps, pdf )

2002

    • Proof Polynomials,
      NASSLLI’02, Stanford, June 2002.       ( ps, pdf )
    • Explicit Logic for Computer Science ,
      Clifford Lectures, Tulane University, March 2002.
    • Logic in Computer Science: History and Recent Developments ,
      Distinguished Lecture at the New York Academy of Sciences, May 7, 2002.    ( ps, pdf )
    • Beijing Lectures, 2002.       ( ps, pdf )

1999