Schedule – ESSAI 2025

ESSAI 2025 daily schedule

MondayMon30.6.

TuesdayTue1.7.

WednesdayWed2.7.

ThursdayThu3.7.

FridayFri4.7.

9:00-10:30

Neural Recommender Systems: Theory, Methods, and Applications

A – Aula Minor / -1.65

Deep Reasoning in AI with Answer Set Programming and LLMs

B – Aula Magma / -1.61

Formal verification of symbolic and connectionist AI: a way toward higher quality software

D – U80 / -1.57

Back to the Future of Cognition and Control in Robotics: Robustness, Rationality, and Explainable Agency

C – U120 / -1.58

Self-Governing Systems

E – U80 / -1.57

10:30 - 11:00

Coffee break

11:00 - 12:30

Human Rights to AI System Specifications

E – U80 / -1.57

Foundations and Explainability of Datalog

D – U80 / -1.57

Bridging Adversarial Learning and Data-Centric AI for Robust AI

C – U120 / -1.58

AI for Autonomous Robots: Bridging Theory and Practice

A – Aula Minor / -1.65

Data Driven Approaches in (Multi-objective) Bayesian Optimisation

B – Aula Magma / -1.61

12:30 - 14:00

Lunch break

14:00 - 15:30

Automated Planning in the Continuous World

C – U120 / -1.58

Explainable AI via Argumentation: Theory & Practice

B – Aula Magma / -1.61

Higher-Order Network Analysis: Topology, Machine Learning, and Applications

A – Aula Minor / -1.65

AI for Security: Exploring Adversarial Learning and the Transferability of Adversarial Attacks

D – U80 / -1.57

Ethics and Law in Trustworthy AI: Foundations and Applications

E – U80 / -1.57

15:30 - 16:00

Coffee break

16:00 - 17:30

Machine Unlearning: Theory, Methods, and Evaluations with Hands-On Insights

A – Aula Minor / -1.65

Uncertainty in Machine Learning – Towards Trustworthy AI Models

B – Aula Magma / -1.61

Query Languages and Graph Neural networks

D – U80 / -1.57

Introduction to Constraint Satisfaction

E – U80 / -1.57

Strategic AI: Bridging Game Theory and Multi-Agent Systems via Autoformalization

C – U120 / -1.58

17:30 - 18:00

Free time

18:00 - 19:00

(ACAI Tutorial)

Empowering Distributed AI: A Deep Dive into Federated Learning

B – Aula Magma / -1.61

19:30 -

Opening ceremony + reception

Restaurant and brewery Centrálna Klubovňa, Krížna 4928/64, 821 08 Bratislava

9:00-10:30

Neural Recommender Systems: Theory, Methods, and Applications

A – Aula Minor / -1.65

Deep Reasoning in AI with Answer Set Programming and LLMs

B – Aula Magma / -1.61

Formal verification of symbolic and connectionist AI: a way toward higher quality software

D – U80 / -1.57

Back to the Future of Cognition and Control in Robotics: Robustness, Rationality, and Explainable Agency

C – U120 / -1.58

Self-Governing Systems

E – U80 / -1.57

10:30 - 11:00

Coffee break

11:00 - 12:30

Human Rights to AI System Specifications

E – U80 / -1.57

Foundations and Explainability of Datalog

D – U80 / -1.57

Bridging Adversarial Learning and Data-Centric AI for Robust AI

C – U120 / -1.58

AI for Autonomous Robots: Bridging Theory and Practice

A – Aula Minor / -1.65

Data Driven Approaches in (Multi-objective) Bayesian Optimisation

B – Aula Magma / -1.61

12:30 - 14:00

Lunch break

14:00 - 15:30

Automated Planning in the Continuous World

C – U120 / -1.58

Explainable AI via Argumentation: Theory & Practice

B – Aula Magma / -1.61

Higher-Order Network Analysis: Topology, Machine Learning, and Applications

A – Aula Minor / -1.65

AI for Security: Exploring Adversarial Learning and the Transferability of Adversarial Attacks

D – U80 / -1.57

Ethics and Law in Trustworthy AI: Foundations and Applications

E – U80 / -1.57

15:30 - 16:00

Coffee break

16:00 - 17:30

Machine Unlearning: Theory, Methods, and Evaluations with Hands-On Insights

A – Aula Minor / -1.65

Uncertainty in Machine Learning – Towards Trustworthy AI Models

B – Aula Magma / -1.61

Query Languages and Graph Neural networks

D – U80 / -1.57

Introduction to Constraint Satisfaction

E – U80 / -1.57

Strategic AI: Bridging Game Theory and Multi-Agent Systems via Autoformalization

C – U120 / -1.58

17:30 - 18:00

Free time

18:00 - 19:00

(ACAI Tutorial)

How AI and quantum computing can help each other?

B – Aula Magma / -1.61

9:00-10:30

Neural Recommender Systems: Theory, Methods, and Applications

A – Aula Minor / -1.65

Deep Reasoning in AI with Answer Set Programming and LLMs

B – Aula Magma / -1.61

Formal verification of symbolic and connectionist AI: a way toward higher quality software

D – U80 / -1.57

Back to the Future of Cognition and Control in Robotics: Robustness, Rationality, and Explainable Agency

C – U120 / -1.58

Self-Governing Systems

E – U80 / -1.57

10:30 - 11:00

Coffee break

11:00 - 12:30

Human Rights to AI System Specifications

E – U80 / -1.57

Foundations and Explainability of Datalog

D – U80 / -1.57

Bridging Adversarial Learning and Data-Centric AI for Robust AI

C – U120 / -1.58

AI for Autonomous Robots: Bridging Theory and Practice

A – Aula Minor / -1.65

Data Driven Approaches in (Multi-objective) Bayesian Optimisation

B – Aula Magma / -1.61

12:30 - 14:00

Lunch break

14:00 - 15:30

Automated Planning in the Continuous World

C – U120 / -1.58

Explainable AI via Argumentation: Theory & Practice

B – Aula Magma / -1.61

Higher-Order Network Analysis: Topology, Machine Learning, and Applications

A – Aula Minor / -1.65

AI for Security: Exploring Adversarial Learning and the Transferability of Adversarial Attacks

D – U80 / -1.57

Ethics and Law in Trustworthy AI: Foundations and Applications

E – U80 / -1.57

15:30 - 16:00

Coffee break

16:00 - 17:30

Machine Unlearning: Theory, Methods, and Evaluations with Hands-On Insights

A – Aula Minor / -1.65

Uncertainty in Machine Learning – Towards Trustworthy AI Models

B – Aula Magma / -1.61

Query Languages and Graph Neural networks

D – U80 / -1.57

Introduction to Constraint Satisfaction

E – U80 / -1.57

Strategic AI: Bridging Game Theory and Multi-Agent Systems via Autoformalization

C – U120 / -1.58

17:30 - 18:00

Free time

18:00 - 19:00

(ACAI Tutorial)

Language Modelling for the Sake of Language Modelling

B – Aula Magma / -1.61

9:00-10:30

Neural Recommender Systems: Theory, Methods, and Applications

A – Aula Minor / -1.65

Deep Reasoning in AI with Answer Set Programming and LLMs

B – Aula Magma / -1.61

Formal verification of symbolic and connectionist AI: a way toward higher quality software

D – U80 / -1.57

Back to the Future of Cognition and Control in Robotics: Robustness, Rationality, and Explainable Agency

C – U120 / -1.58

Self-Governing Systems

E – U80 / -1.57

10:30 - 11:00

Coffee break

11:00 - 12:30

Human Rights to AI System Specifications

E – U80 / -1.57

Foundations and Explainability of Datalog

D – U80 / -1.57

Bridging Adversarial Learning and Data-Centric AI for Robust AI

C – U120 / -1.58

AI for Autonomous Robots: Bridging Theory and Practice

A – Aula Minor / -1.65

Data Driven Approaches in (Multi-objective) Bayesian Optimisation

B – Aula Magma / -1.61

12:30 - 14:00

Lunch break

14:00 - 15:30

Automated Planning in the Continuous World

C – U120 / -1.58

Explainable AI via Argumentation: Theory & Practice

B – Aula Magma / -1.61

Higher-Order Network Analysis: Topology, Machine Learning, and Applications

A – Aula Minor / -1.65

AI for Security: Exploring Adversarial Learning and the Transferability of Adversarial Attacks

D – U80 / -1.57

Ethics and Law in Trustworthy AI: Foundations and Applications

E – U80 / -1.57

15:30 - 16:00

Coffee break

16:00 - 17:30

Machine Unlearning: Theory, Methods, and Evaluations with Hands-On Insights

A – Aula Minor / -1.65

Uncertainty in Machine Learning – Towards Trustworthy AI Models

B – Aula Magma / -1.61

Query Languages and Graph Neural networks

D – U80 / -1.57

Introduction to Constraint Satisfaction

E – U80 / -1.57

Strategic AI: Bridging Game Theory and Multi-Agent Systems via Autoformalization

C – U120 / -1.58

17:30 - 18:00

Free time

18:00 - 19:00

(ACAI Tutorial)

AI for Medical Imaging

B – Aula Magma / -1.61

19:00 -

(Workshop)

CAIRNE R2Network Workshop on Mental Well-being of AI Researchers

B – Aula Magma / -1.61

9:00-10:30

Neural Recommender Systems: Theory, Methods, and Applications

A – Aula Minor / -1.65

Deep Reasoning in AI with Answer Set Programming and LLMs

B – Aula Magma / -1.61

Formal verification of symbolic and connectionist AI: a way toward higher quality software

D – U80 / -1.57

Back to the Future of Cognition and Control in Robotics: Robustness, Rationality, and Explainable Agency

C – U120 / -1.58

Self-Governing Systems

E – U80 / -1.57

10:30 - 11:00

Coffee break

11:00 - 12:30

Human Rights to AI System Specifications

E – U80 / -1.57

Foundations and Explainability of Datalog

D – U80 / -1.57

Bridging Adversarial Learning and Data-Centric AI for Robust AI

C – U120 / -1.58

AI for Autonomous Robots: Bridging Theory and Practice

A – Aula Minor / -1.65

Data Driven Approaches in (Multi-objective) Bayesian Optimisation

B – Aula Magma / -1.61

12:30 - 14:00

Lunch break

14:00 - 15:30

Automated Planning in the Continuous World

C – U120 / -1.58

Explainable AI via Argumentation: Theory & Practice

B – Aula Magma / -1.61

Higher-Order Network Analysis: Topology, Machine Learning, and Applications

A – Aula Minor / -1.65

AI for Security: Exploring Adversarial Learning and the Transferability of Adversarial Attacks

D – U80 / -1.57

Ethics and Law in Trustworthy AI: Foundations and Applications

E – U80 / -1.57

15:30 - 16:00

Coffee break

16:00 - 17:30

Machine Unlearning: Theory, Methods, and Evaluations with Hands-On Insights

A – Aula Minor / -1.65

Uncertainty in Machine Learning – Towards Trustworthy AI Models

B – Aula Magma / -1.61

Query Languages and Graph Neural networks

D – U80 / -1.57

Introduction to Constraint Satisfaction

E – U80 / -1.57

Strategic AI: Bridging Game Theory and Multi-Agent Systems via Autoformalization

C – U120 / -1.58

17:30 - 18:00

Free time

18:00 - 19:00

(ACAI Tutorials)

From Pixels to Words: Frontiers of Multi-Modal Vision-Language Learning

B – Aula Magma / -1.61

Can AI assist in finding a cure for cancer?

A – Aula Minor / -1.65