International Conference on Formal Methods and Foundations of Artificial Intelligence (FMF-AI)
5th – 7th June 2025
Eger, Eszterházy Károly Catholic University, Hungary
The FMF-AI conference invites researchers, practitioners, and academics to submit their original research papers for presentation and publication. This conference aims to provide a platform for the exchange of innovative ideas and developments in the field of Artificial Intelligence, with a special focus on formal methods and foundational aspects.
Program - Thursday, June 5th, 2025
09:30-10:00 Opening Ceremony
10:00-10:50 Plenary Session - Chair: Olivér Hornyák
10:00-10:50 Plenary talk - Tibor Tajti: From Compute to Autonomous Superintelligence: A Quantitative and Formal Perspective
10:50-11:20 Coffee-break
11:20-13:00 Plenary Session - Chair: Olivér Hornyák
11:20-12:10 Plenary talk, Peter Drotár: Voice as Data: AI-Based Acoustic Analytics for Clinical Classification
12:10-13:00 Plenary talk, Isabela Drămnesc: Teaching robotics, the AiRobo project
Honlap: http://www.liceumtv.hu
LTV Anno - https://youtube.com/ltvanno
EKKE, Eszterházy Károly Katolikus Egyetem, www.uni-eszterhazy.huAz objektív tájékozódás érdekében javasoljuk, hogy a híreknek / eseményeknek több külön forrásnál is nézz utána!
Líceum TV, 2025/06/05
Líceum TV, 2025/06/03
Líceum TV, 2025/05/30