Embedded Files
Day 1
3rd February 2025
3rd February 2025
14:30 - 15:20 Registration
15:20 - 15:30 Welcome
I Session
I Session
Chairman: Gonzalo de Polavieja
15:30 - 16:20
Automated Reasoning
Automated Reasoning
Josef Urban
16:20 - 17:10
Algebraic Machine Learning
Algebraic Machine Learning
Fernando Martin-Maroto
17:10 - 17:50 Coffee Break
II Session
II Session
Chairman: Antonio Ricciardo
17:50 - 18:40
AI-driven knowledge discovery
AI-driven knowledge discovery
Challenger Mishra
18:40 - 19:30
Zeta Neural Networks
Zeta Neural Networks
Gonçalo Oliveira
Day 2
4th February 2025
4th February 2025
III Session
III Session
Chairman: David Mendez
10:20 - 11:10
Feature Decoupling for Data Analysis
Feature Decoupling for Data Analysis
Javier Portilla
11:10 - 12:00
Quantum Machine Learning
Quantum Machine Learning
Michele Grossi
12:00 - 14:00 Lunch
14:00 - 14:40 Visit to Champalimau Foundation
II Session
II Session
Chairman: Antonio Ricciardo
14:40 - 15:30
Automated Theorem Proving
Automated Theorem Proving
João Araújo
15:30 - 16:20
Neurosymbolic AI
Neurosymbolic AI
Tiansi Dong
16:20 - 17:00 Coffee Break
III Session
III Session
Chairman: David Mendez
17:00 - 17:50
Category theory of LLMs
Category theory of LLMs
Tai-Danae Bradley (online)
18:00 - 18:50
AI & Computation
AI & Computation
Stephen Wolfram (online)
18:50 - 19:30 Closing session and aperitif
19:30 - Lisbon Downtown visit
Page updated
Google Sites
Report abuse