Rethinking AI

09:00 Welcome Remarks!

09:15 Causal Reasoning and LLMs (Prof. Rina Dechter of Univ. of California, Irvine)

09:55 Explaining Failures of Cyber-Physical Systems with Actual Causality (Dr. Tom Yaacov, King’s College, London)

10:25 Coffee

10:50 Fair Allocation of Indivisible Items or Explainability in AI (Prof. Yair Zick of Univ. of Massachusetts, Amherst)

11:30 Alignment with What? Rethinking What It Means for AI to Be Aligned (Prof. Shlomo Zilberstein of Univ. of Massachusetts, Amherst)

12:10 LUNCH

Rethinking CS

13:10 The Sweeter Lesson (Prof. Moshe Vardi of Rice University)

14:05 Trust but Verify: How AI agents will, should and should not evolve (Prof. Sergei Nirenburg of Rensselaer Polytechnic Institute (RPI))

14:45 Learning and Planning: Rivals or Comrades? (Dr. Khen Elimelech of King’s College, London)

15:15 Coffee

Rethinking CS Education

15:45 Did You Write It? Do You Understand It? Separating Authorship from Understanding in AI Oral Exams (Prof. David Sarne, Bar Ilan University)

16:15 Teaching Vibe coding to Informatics Students (Dr. Michal Gordon-Kiwkowitz, Indiana University Bloomington)

16:45 The Learnity Graph: A New Model of Learning in Computer Science, (Prof. Judith Gal-Ezer, Open University of Israel)

17:00 Panel (Hebrew): Computer Science Education in the New Age of AI and LLMs (Dr. Michal Gordon-Kiwkowitz, Prof. David Sarne, Prof. Judith Gal-Ezer, Prof. Moshe Vardi, Prof. Ronen Brafman of Ben Gurion University). Moderator: Prof. Gal Kaminka, Bar Ilan University.