Rethinking AI

09:00 Welcome Remarks!

09:15 Causal Reasoning at the Age of 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 A choice: OntoAgentic AI: Overcoming Knowledge Bottleneck with LLMs as Tools OR Reevaluation of Evaluation Regimes in AI (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 AI & CS Education

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

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

16:40 Coffee

16:55 Panel: Computer Science Education in the New Age of AI and LLMs (Dr. Michal Gordon-Kiwkowitz, Prof. David Sarne, Prof. Erez Karpas of the Technion, Prof. Ronen Brafman of Ben Gurion University). Moderator: Prof. Gal Kaminka, Bar Ilan University.