Program Details (Preliminary)

Session 1 (9:00-10:30)

Monday-Thursday Long Courses 🌱🧠	Friday Short Tutorials 🚀	Rooms
Trustworthy AI	Towards Improving AI System Transparency	EI 2 Pichelmayer
Introduction to Constraint Satisfaction	Neurosymbolic Visual Commonsense	EI 5 Hochenegg
Multi-Perspective Reasoning in Knowledge Representation: An Introduction to Standpoint Logic		EI 8 Pötzl
Learning Deep Low-dimensional Models from High-Dimensional Data: From Theory to Practice		EI 9 Hlawka
Uncertainty in Machine Learning: From Aleatoric to Epistemic		EI 10 Fritz Paschke
Logic meets Learning		EI 11 Geodäsie

Coffee Break (10:30-11:00)

Session 2 (11:00-12:30)

Monday Short Tutorials 🚀	Tuesday-Friday Long Courses 🌱🧠	Rooms
Preference Aggregation Reinforcement Learning from Human Feedback	Knowledge Compilation: Theory, Practice, and Applications	EI 2 Pichelmayer
Short Tutorial 2 (TBA)	The Art of Compressing LLMs: Pruning, Distillation, and Quantization Demystified	EI 5 Hochenegg
	Recurrent GNNs: The Power of Iteration	EI 8 Pötzl
	AI for Autonomous Robots: Bridging Theory and Practice	EI 9 Hlawka
	Wikidata: A backbone for Hybrid/Bilateral AI	EI 10 Fritz Paschke
	Beyond Breakpoints: AI for Software Fault Localization	EI 11 Geodäsie

Lunch Break (12:30-14:00)

Session 3 (14:00-15:30)

Monday, Tuesday, Wednesday, Friday Long Courses 🌱🧠	Rooms
Why Is Symbolic Reasoning Computationally Hard?	EI 2 Pichelmayer
Data Driven Approaches in (Multi-objective) Bayesian Optimisation	EI 5 Hochenegg
Trustworthy Machine Learning from Data to Models	EI 8 Pötzl
Reward and Constraint Learning: Foundations for Human-AI Alignment	EI 9 Hlawka
Foundations of Concept-Based Interpretable Deep Learning	EI 10 Fritz Paschke
Recommender Systems: Past, Present, and Future (Challenges)	EI 11 Geodäsie

Cofee Break (15:30-16:00)

Session 4 (16:00-17:30)

Monday, Tuesday, Wednesday, Friday Long Courses 🌱🧠	Rooms
AI for Fair and Transparent Decision-Making from Legal and Technical Perspectives	EI 2 Pichelmayer
Modern Constraint Programming	EI 5 Hochenegg
Decision trees: from efficient prediction to responsible AI	EI 8 Pötzl
Specification-Guided Reinforcement Learning	EI 9 Hlawka
Tractable Circuits: A Common Language for Logic, Probability, and Neural Models	EI 10 Fritz Paschke
From In-Context Learning to Neuro-Symbolic Reasoning with Large Reasoning Models	EI 11 Geodäsie

Further Events

Monday	Tuesday	Wednesday	Thursday
19:00-22:00 Reception City Hall (Rathaus) 🎉	18:00-19:30 Keynote Talk 🎙 Alessandra Russo (Imperial College London)	18:30-20:00 Keynote Talk 🎙 Sennay Ghebreab (University of Amsterdam)	13:45 - 15:00 AI Unboxed: Music & Law 🚀
			15:00-16:00 Transfer to WU 🧭
			16:00-17:30 Keynote Talk 🎙 Ricardo Baeza-Yates (Northeastern University)
			17:30-20:00 Networking Event 🤝