Johan van Benthem

2010

• february, Nieuwe Wegen tussen Logica en Wiskunde, Nationale Wiskundedagen

• february, Philosophy of Information and Computation, Workshop, Lorentz Center, Leiden.

• february, Dynamic Logic Meets Dynamic Semantics, Formal Philosophy Seminar, Leuven.
  

• february, Formal Theories of Communication, Workshop, Lorentz Center Leiden.

• march, Dynamics of Information and Evaluation, SOCREAL Workshop, University of Hokkaido, Sapporo.

• may, Games meet Computation, Distinguished Lecture, JAIST Logic Group, Kanazawa.

• may, Translation and Culture, ‘A Door to Logic’ Workshop on Logic in China, Tsinghua University.
  

• june, Logic and Epistemology, Philosophy CMU, Pittsburgh

• june, Logica en Wiskunde Vandaag, Vlaamse Wiskundedagen, Blankenberge.

• july, Logic, the Balance of Expressivity and Complexity, IJCAR 2010, Edinburgh.

• august, Logic and Rational Agency, ESSLLI 2010, Copenhagen.

• september, Dynamic Semantics Meets Dynamic Logic, Hans Kamp 70 Conference, Stuttgart.

• september, Logic, or Logics?, Philosphical Institute, ArchŽ Centre, St. Andrews.

• october, Trends in Modern Logic, Lecture Tour, Poland (Warsaw, Krakow,Opole)

• november, Thoughts on Analogical Reasoning, Workshop History of Logic in China, IIAS Leiden.

• november, Kun Jij Logisch Denken?, Talentenkracht kinderlezing, Naturalis Leiden.

• december, Logic Meets Reality, Workshop Philosophy of Logic and Cognitive Science, Amsterdam.

• december, Temporal Logic and Learning Theory, Workshop Learning Theory and Logic, Amsterdam.

• december, Logical Dynamics: Extending the Agenda, Symposium New Perspectives in Logic, APA Winter Meeting, Boston.

2011

      Highlight  April 2011, Twenty-Third Annual Tarski Lectures, University of California at Berkeley.

• january, Logic in Philosophy, the Interface Today, Workshop on Logic and Philosophy Today, Indian Council for Philsophical research, Delhi Logic Week.

• january, Logica van Bewijs tot Spel, Panama Conference on Mathematics Education, January, Noordwijkerhout.

• february Three Notions of Information in Logic, or Four? Workshop Epistemic Action for Non-Ideal Agents, Amsterdam.

• april, Natural Logic, the Road Ahead, Workshop on Natural Logic, Stanford.

• april, Logic, Computation and Agency, Twenty-Third Annual Tarski Lectures, Department of Mathematics, University of California, Berkeley.

• may, Tutorial on Logic and Epistemology, Workshop Logic and Methodology, CSLI Stanford.

• june, Tutorial on Epistemic Dynamics of Games, Zhejiang University, Hangzhou.

• june, Tutorial on Generalized Quantifer Theory, Tsinghua University, Beijing
  

• june, Implicit and Explicit Approaches to Modeling in Logic, Workshop Logic, Language & Philosophy, Beijing.
  

• july, Logical Dynamics of Information and Interaction, book presentation, Decisions, Games and Logic '11, Maastricht.

• july, Toward a Theory of Play, invited lecture TARK XII, Groningen.

• august, Logical Constants: Three Perspectives and Counting, ESSLLI/LINT Workshop, Ljubljana.

• august, Logic in Action, open internet course, 23d ESSLLI Summer School, Ljubljana.

• september , Where Logic Stands Today, closing lecture, LogiCCC Final Conference, Berlin

• september, Keep it Simple, Beida Workshop on New Trends in Logical Dynamics.

• october, The Opencourse Logic in Action, Workshop Teaching Logic Today, Nankai University Tianjin.

• october, Formulas for Interaction, Philosophy Department, Nankai University Tianjin.

• october, Logical Dynamics of Evidence, invited lecture Third LORI Conference, Sun Yat-sen University Guangzhou.

• october, Logic at the Cross-Roads of the University, Institute for Logic and Cognition, Guangzhou.

• november, Logica voor Kinderen, Talentenkracht Publieksdag, Naturalis, Leiden.

• november, Logical Dynamics of Information and Interaction, Center for Mathematical Philosophy, Muenchen. 

2012

• february, Strategies for Intelligent Interaction, STRATMAS Workshop, Lorentz Center, Leiden

• april, mini-course Logic in Games,  Tsinghua University Beijing

• july, Logic, Philosophy and Computation, Logic Colloquium 2012, Manchester

• august, Computation as Agency, plenary lecture, ESSLLI Summer School, Opole
  

• august, Modal Logic Now and Then, Advances in Modal Logic 12,  Copenhagen

• september, Evidence Structure and Modal Neighborhood Logic, Nemeti 70 Conference, Budapest

• october, Computation as Agency, JAIST distinguished lecture, Kanazawa

• october, 'Let the World In', Beida Centenary Conference, Department of Philosophy, Peking University

• october, Logic, Information, and Agency, Department of Philosophy, Beijing Normal University

• october, mini-course Logic in Games, Institute for Logic and Intelligence, Southwestern University Chonqing
  

• november, Implicit and Explicit Stances in Logic, New York Logic Colloquium, CUNY New York

• november, Logic of Games versus Logic as Games, Philosophy Colloquium, Columbia University

• december, Computation as Social Agency, Workshop on Belief Change in Social Contexts, Amsterdam
  

2013

• january, Logic and Intelligent Interaction, Logic, Argumentation and Critical Thinking, Universidad Diego Portales, Santiago de Chili

• march, Formal Methods in an Informal World, Lorentz Center Leiden

• march, Proof-Theoretic Semantics, University of Tuebingen

• march, Logic, Knowledge, and Language, Paul Gochet Memorial Meeting, Brussels

• april, Dynamic Logic and Dynamic Philosophy, Department of Logic and Philosophy of Science, UC Irvine

• june, Logica 2013, Hejnice

• july, Logic Colloquium 2013, European Summer Meeting of the ASL, Evora

• october, Tsinghua Logic Conference, Beijing