Joe Halpern’s Past Year of Talks

04 Sep 2018

Joe has been busy with the past year, giving talks on a variety of subjects everywhere from Israel to China. These include:

Actual causality: a survey, given at:

  • Tsinghua University, Beijing, October 2017 (invited talk, part of Jin Yuelin distinguished lectureship)
  • University of Toronto, November 2017 (invited colloquium)
  • Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, February 2018 (invited talk)
  • National Geographic Science Festival, Rome, April 2018 (invited talk)
  • Ben Gurion University, Beer Sheva, March 2018 (invited colloquium)
  • Tel Aviv University, April 2018 (invited colloquium)
  • Israeli AI Day (invited talk), May 2018
  • 13th Conference on Logic and Foundations of Decision Theory (LOFT 2018) (invited talk), July 2018

Moral responsibility, blameworthiness, and intention: in search of formal definitions, given at:

  • The University of Toronto, Center for Ethics, September 2018 (invited colloquium)
  • Tsinghua University, Beijing, October 2017 (invited talk, part of Jin Yuelin distinguished lectureship)
  • Conference on Social Responsibility of Algorithms, Paris, December 2017 (invited talk)
  • Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, February, 2018 (accepted paper)

A knowledge-based analysis of the blockchain protocol, given at:

  • The 31st International Symposium on Distributed Computing (DISC), Vienna, October 2017 (invited talk, part of Yoram Moses’ 60th birthday celebration)
  • Marktoberdorf Summer School (invited speaker), Marktoberdorf, August 2018

Decision theory with resource-bounded agents, given at:

  • University of Guelph, September 2017 (invited colloquium)
  • University of Toronto, November 2017 (invited colloquium)
  • Technion, April 2018 (invited colloquium)
  • Hebrew University, April 2018 (invited talk)

Combining experts’ causal judgments, given at:

  • The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, February, 2018 (accepted paper)

From qualitative to quantitative proofs of security properties using first-order conditional logic, given at:

  • Hebrew University Cyber Security Center (invited talk), February, 2018

Game theory with translucent players, given at:

  • Tsinghua University, Beijing, October 2017 (invited talk, part of Jin Yuelin distinguished lectureship)

Sequential equilibrium in games of imperfect recall, given at:

  • Bar Ilan University, March 2018 (invited colloquium)

An epistemic foundation for authentication logics, given at:

  • Marktoberdorf Summer School (invited lecturer), Marktoberdorf, August 2018

Reasoning about knowledge in multi-agent systems, given at:

  • Marktoberdorf Summer School (invited lecturer), Marktoberdorf, August 2018

Language-based games, given at:

  • Summer School on Logic, Uncertainty, and Games (invited talk), Lago Como, July 2018