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 - Friday, June 6th, 2025
09:00-10:40 Plenary Session - Chair: Csaba Biró
09:00-09:50 Plenary talk, Benedek Nagy: Nontraditional finite state machines
09:50-10:40 Plenary talk, Bence Tipary: Tolerance Aspects of Digital Twin-based Autonomous Robotic Solutions
10:40-11:00 Coffee-break
11:00-12:40 Plenary Session - Chair: Csaba Biró
11:00-11:50 Plenary talk, Alin Brindusescu: Non-invasive Brain Computer Interfaces
11:50-12:40 Plenary talk
Roundtable on AI moderator: Miklós Hoffmann
Participants: Benedek Nagy, Tibor Tajti, Péter Molnár
12:40-13:00 Poster Section - Chair: Károly Nehéz
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