Plenary and Colloquium Talks

Plenary and Colloquium Talks (to 2005)

  • Mathematisches Oberseminar: Mathematische Logik, Ludwig Maximillian University, Munich, 2005
  • Moscow Computer Science School, Moscow, 2004
  • Conference “New Developments in Logics of Knowledge and Belief”, New York, 2004
  • International Logic and Computer Science Semester at Tel Aviv, Logic and Computation. Tel Aviv, 2004
  • 9th Estonian Winter School in Computer Science EWSCS’04. Estonia, Palmse, 2004
  • Conference Provability Logic: New Frontiers, Utrecht, the Netherlands, 2004
  • Computer Science Logic Symposium, a keynote evening lecture (ps, pdf). Vienna, Austria, 2003
  • Kolmogorov and Contemporary Mathematics, Moscow, 2003
  • Brooklyn College, Computer Science Colloquium, 2002
  • Lecture series: North American Summer School in Logic Language and Information (NASSLLI’02) ( ps, pdf ), 2002
  • Chinese Academy of Sciences, the Institute of Software, Beijing, 2002
  • Tsinghua University – Beijing, Mathematics Colloquium, 2002
  • Tsinghua University – Beijing, Computer Science Colloquium, 2002
  • New York Academy of Sciences, Distinguished Lecture in Computer Science, 2002
  • Computer Science Colloquium, Berne University, 2002
  • Dagstuhl-Seminar on Proof Theory in Computer Science, Germany, 2001
  • AMS session on Proof Theory and Foundations of Mathematics, Columbus, Ohio, 2001
  • International Conference on Logic, Algebra and Set Theory, Steklov Institute, Moscow, 2001
  • Logic Colloquium’01 , Section Philosophy and History of Logic, Vienna, 2001
  • Moscow-Vienna Workshop on Logic and Computation, 2000
  • Cornell University, Math Department Colloquium, 2000
  • Workshop on Logic, Language, Information and Computation ( WoLLIC’00) , Natal,  Brazil, 2000
  • Moscow Mathematical Society, 2000
  • Ohio State University, Columbus, 2000
  • Hebrew University, Jerusalem, Intsitute of Computer Science, 2000
  • Technion, Haifa, Israel, 2000
  • Tel Aviv University, Department of Computer Science, 1999
  • Workshop Collegium Logicum: Proof Theory, Vienna, Austria, 1999
  • Spinoza Lecture from European Association for Logic, Language and Information , 1999
  • Lecture series, European Summer School in Logic, Language and Information (ESSLLI’99), Utrecht, the Netherlands, 1999
  • Plenary address at the European Summer Meeting of Association for Symbolic Logic (Logic Colloquium’99 ), Utrecht, the Netherlands, 1999
  • Intuitionistic Modal Logic and Applications, Workshop, Trento, 1999
  • Tutorial Workshop Realizability Semantics and Applications, Trento, Italy, 1999
  • University of Wisconsin, Madison, Department of Mathematics, 1998
  • Moscow University, Department of Logic and Computation, 1998
  • Workshop on Logic, Language, Information and Computation ( WoLLIC’98 ), Sao Paulo, Brazil, 1998
  • Tutorial at Workshop on Logic, Language, Information and Computation WoLLIC’98 , Sao Paulo, Brazil, 1998
  • Tutorial at Symposium Advances in Modal Logic ( AiML’98 ), Uppsala, Sweden, 1998
  • George Boolos Symposium, M.I.T., 1997
  • Workshop on Logic, Language and Computation (LLC’6), CSLI, Stanford, 1997
  • IEEE Conference on Decision and Control, Session Control and Verification of Hybrid Systems (joint talk with A.Nerode), San Diego, 1997
  • Cornell University, Department of Mathematics, 1997
  • Stanford University, Department of Mathematics, 1997
  • University of California, San Diego, Department of Mathematics, 1997
  • Cornell University, Department of Mathematics, 1966
  • Moscow University, Faculty of Mechanics and Mathematics Colloquium, 1996
  • European Symposium Computer Science Logic ( CSL’96 ), Utrecht, the Netherlands, 1996
  • Annual conference Block seminar Berne-Zurich in Informatik und Logik, Zurich, Switzerland, 1995
  • Proof Theory conference, Oberwolfach, Germany, 1995
  • International conference on Non-Standard Logics, Irkutsk, Russia, 1995
  • INTAS Workshop Logic in Computer Science, St. Petersburg, Russia, 1995
  • Moscow University, Department of Logic and Computation, 1995
  • Princeton University, Department of Computer Science, 1995
  • Annual conference  Block seminar Berne-Zurich in Informatik und Logik, Bern, Switzerland, 1994
  • International Conference Logic and Algebra dedicated to the memory of Roberto Magari, Siena, Italy, 1994
  • IEEE Symposium Logical Foundations of Computer Science ( LFCS’94) , St. Petersburg, Russia, 1994
  • Logic conference Amsterdam-Muenster, the University of Muenster, Germany, 1994
  • Annual conference  Block seminar Berne-Zurich in Informatik und Logik, Zurich, Switzerland, 1993
  • CNRS, Laboratory for Informatics, Robotics asnd Microelectronics in Montpellier, France, 1993
  • Graduate School in Mathematical Logic, Siena, Italy, 1993
  • CNRS, Laboratory for Discrete Mathematics, Marseille, France, 1993
  • Annual conference Block seminar Berne-Zurich in Informatik und Logik, Bern, Switzerland, 1992
  • Second Russian National Conference on Applied Logic, Novosibirsk, Russia, 1992
  • Symposium in Logic and Informatics, Luminy, Marseille, France, 1992
  • IEEE Symposium on Logical Foundations of Computer Science (LFCS’92) , Tver, Russia, 1992
  • CNRS, Laboratory for Informatics, Robotics asnd Microelectronics in Montpellier, France, 1992
  • Institute for Logic, Language and Computation, Amsterdam, The Netherlands, 1992
  • CIRM Colloquium in Logic and Computer Science, Marseille, France, 1991
  • Conference Provability-Interpretability-Arithmetic, Utrecht, the Netherlands, 1991
  • University of Florence, Logic Colloquium, Italy, 1991
  • Kleene’90 Symposium, Varna, Bulgaria, 1990
  • II USSR National Conference in Applied Logic, Novosibirsk, USSR, 1990
  • Moscow University, Department of Logic and Computation, 1989
  • IX USSR National Conference in Mathematical Logic, Leningrad, USSR, 1988
  • Moscow University, Department of Logic and Computation, 1987
  • VIII USSR National Conference in Mathematical Logic, Moscow, USSR, 1986
  • Algebra i Logika Seminar, Novosibirsk, 1986
  • Moscow University, Department of Logic and Computation, 1985
  • University of British Columbia, Canada, Department of Mathematics, 1983
  • University of Calgary, Canada, Department of Mathematics, 1983
  • University of Manitoba, Dapertment of Mathematics and Astronomy, Winnipeg, Canada, 1983
  • Moscow University, Department of Logic and Computation, 1980

About 20 contributed and short (1/2 hour or less) conference talks (including such confereneces as CADE , TARK , CSL , LFCS , etc) .