International Conference on Formal Methods and Foundations of Artificial Intelligence (FMF-AI)

5th – 7th June 2025

Eger, Eszterházy Károly Catholic University, Hungary

Web: https://uni-eszterhazy.hu/fmf

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.

Conference Series

This conference marks the first in a series dedicated to the intersection of formal methods and artificial intelligence. The aim of this series is to foster research at this critical juncture, providing a platform for collaboration and innovation. One of the key goals is to support young PhD students, who are encouraged to present their work in both regular and poster sessions while connecting with leading researchers in the field.

The conference is supported by the NKFI Mecenatúra grant, allowing us to cover the accommodation costs for the first 20 registrants.

Conference Topics

The conference welcomes submissions on, but not limited to, the following topics:

• Formal Methods and Foundations of AI
• Machine Learning and Data Science
• Natural Language Processing
• Theoretical Computer Science
• Robotics and Digital Twin Technology
• Knowledge Representation and Reasoning
• AI Ethics, Trustworthiness, and Explainability
• Multi-Agent Systems and Cyber-Physical Systems
• Intelligent Systems and Smart Manufacturing
• Search, Planning, and Reasoning
• Human-in-the-Loop AI
• Applications of AI in Education

Invited speakers (as of now):

• Isabela Drămnesc (West University of Timișoara):
  • Teaching robotics, the AiRobo project
• Gergely Buday (University of Sheffield)
  • Tutorial of the Isar Structured Proof Language
• Alin Brindusescu (Elektrobit Automotive Romania)
  • Non-invasive Brain Computer Interfaces

Important Dates

• Extended Abstract Submission Deadline: 15th April 2025
• Notification of Acceptance: 30th April 2025
• Conference Dates: 5th – 7th June 2025
• Paper Submission: 1st August 2025
• Camera-Ready Submission: 1st September 2025

Submission Guidelines

Submissions must be made electronically in PDF format via EasyChair. For details, see https://easychair.org/my/conference?conf=fmfai2025

Publication

Accepted papers will be published in the conference proceedings and selected papers in the special issue of Annales Mathematicae et Informaticae (https://ami.uni-eszterhazy.hu/). This journal is a peer-reviewed, SCOPUS indexed, Q4 journal.

Venue

The conference will take place in the historic city of Eger, at the Eszterházy Károly Catholic University, Hungary. Eger is renowned for its rich cultural heritage, baroque architecture, and famous wine regions, providing a unique and inspiring setting for FMF-AI.

Contact

For further details, please visit the conference website https://uni-eszterhazy.hu/fmf/ or contact the organizing committee at koczka.ferenc@uni-eszterhazy.hu or tibor.tajti@uni-eszterhazy.hu.

Committee Members

Conference Chairman:

• Csaba Biró

Secretary:

• Ferenc Koczka
• Tibor Tajti

Chairman of the Organising Committee:

• Gábor Kusper

Members of the organising committee:

• Ádám Kovács
• Ágnes Nagyné Bertalan
• Ede Troll
• Erzsébet Tóth
• Péter Takács
• Péter Szigetváry
• Roland Király
• Tamás Balla

Head of the Program Committee:

• Gergely Kovásznai, PhD (Eszterházy Károly Catholic University)

Program Committee:

• András Horváth (PPKE)
• András Kovács (MTA - SZTAKI)
• András Vörös (BME)
• Anikó Apró (Eszterházy Károly Catholic University)
• Armin Biere (University of Freiburg)
• Balázs Harangi (University of Debrecen)
• Csaba Szabó (TUKE)
• Dongzhe Ren (Chongqing Aerospace Polytechnic)
• Erika Ábrahám (RWTH - Aachen)
• György Vaszil (University of Debrecen)
• Isabela Dramnesc (West University of Timisoara)
• Ismail Bogrekci (ADU)
• János Botzheim (ELTE)
• László Kovács (University of Miskolc)
• Lehel Csató (Babes Bolyai University)
• Martina Seidl (JKU)
• Máté Tejfel (ELTE)
• Miklós Hoffmann (Eszterházy Károly Catholic University)
• Nikolaj Popov (JKU - RISC)
• Norbert Pataki (ELTE)
• Pál Varga (BME)
• Péter Sinčák (TUKE)
• Róbert Lovas (MTA - SZTAKI)
• Sándor Jenei (Eszterházy Károly Catholic University)
• Sándor Király (Eszterházy Károly Catholic University)
• Sorin Stratulat (Univ. of Lorraine)
• Tibor Csendes (University of Szeged)
• Wolfgang Schreiner (JKU - RISC)
• Yang Győző (Hungarian Research Centre For Linguistics)
• Yungiao Yang (Chongqing Aerospace Polytechnic)
• Zoltán Dhulfikar (ELTE)
• Zoltán Istenes (ELTE)