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