Joe Halpern 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