Program Details (Preliminary)

Session 1 (9:00-10:30)

Monday-Thursday (Long Courses)	Friday (Short Tutorials)	Rooms
Trustworthy AI	TBA	EI 2 Pichelmayer
Introduction to Constraint Satisfaction		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
TBA	Knowledge Compilation: Theory, Practice, and Applications	EI 2 Pichelmayer
	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	Thursday
19:00-22:00 Reception at Rathaus	18:00-19:00 Keynote speech: TBA	13:45 - 15:00	Short Tutorials (to be announced)
		15:00 - 16:00	Transfer to WU
		16:00 - 17:00	Keynote speech: TBA
		17:00 - 20:00	Networking Event