The 13th International Conference on Applied Informatics

February 19-21, 2026 · Eger, Hungary

Program

Thursday, February 19, 2026
TimeEvent
08:30-13:00Registration in 1st Floor Hall
09:30-10:00Opening Ceremony, C-124
  • Tibor Juhász (vice-rector for science, EKCU)
  • József Sütő (conference chairman, UD)
  • Gábor Kusper (conference chairman, EKCU)
10:00-12:00Plenary Session in C-124 (Chair: József Sütő)
10:00-10:45 Sándor Király
Programming Education Yesterday, Today, and Tomorrow: Methodological Reflections from Algorithms to Large Language Models
10:45-11:15Coffee-break
11:15-12:00 Zoltán Gál
Technology and Performance Aspects of Starlink LEO Satellite Services and 5G Non-Terrestrial Network Integration
12:00-13:30Lunch in Hotel Szent István
13:30-15:10Sessions in C-124, C-121 and C-106
15:10-15:40Coffee-break
15:40-17:20Sessions in C-124, C-121 and C-106
18:00-Welcome party in Hotel Szent István

Session "A" (C-124)
Education
Chair: Sándor Király
13:30-13:50 Ferenc Héjja, Tamás Bartók and Gergely Kocsis
Tracking Shifts in Student Attitudes on Generative AI Usage: Survey Results Across Two Years
13:50-14:10 Olivér Czimbalmos, Zsolt Szántó, Gábor Kőrösi, Péter Becsei, Beáta Udvari and Richárd Farkas
Student Opinion Mining: Automated Topic Extraction from Student Feedback
14:10-14:30 Abdullah M. Albazooni and Attila Gilányi
Towards Automatic VR Scene Generation for Safety Training Scenarios Using Manually Annotated 3D Object and Spatial Relation Data
14:30-14:50 Branislav Sobota, Štefan Korečko, Csaba Szabó, Timotej Sobota, Gábor Kusper and Ede Troll
Difficulty of Control and Manipulation Using XR Technologies as a User Interface in Educational Process
14:50-15:10 Ali Ali, Gergely Kovásznai, Marcell Herbák and Mustafa Mezaal
Fair Team Formation for STEAM Education Using Exact and Heuristic Constraint-Based Solvers
Computer Networks and Cloud Services
Chair: Zoltán Gál
15:40-16:00 Laura Juhász and Szabolcs Szilágyi
Data Centralization: The Essential First Step for SME’s Cloud Analytics Adoption in EU
16:00-16:20 Levente Filep and Zoltán Gál
A Comparative Study of Fitness Function Variants for Energy-Efficient Clustering in Wireless Sensor Networks
16:20-16:40 Szabolcs Szilágyi
An Empirical Study of HomePlug AV2 Powerline Performance in Real-World Residential Electrical Networks
16:40-17:00 Djamila Talbi and Zoltán Gál
Learning-Based Access Point Selection for Scalable Cell-Free Massive MIMO
17:00-17:20 ​
​

Session "B" (C-121)
Artificial Intelligence
Chair: Tibor Tajti
13:30-13:50 Khaled Alburai, Péter Török, Balázs Harangi and Mokhaled Al-Hamadani
Deep Learning–Based Endometrium Segmentation from Ultrasound Imaging
13:50-14:10 Wajih Khelifi and Zoltán Gál
Phase-Aware Performance Enhancement with Neural Gas Network Method of the Wireless Sensor Networks Routing
14:10-14:30 László Mészáros
Modeling Dynamic Reaction Time in Car-Following via Transformer-based Inverse Reinforcement Learning
14:30-14:50 Dhafer G. Honi, Ahmed Abed Mohammed and Laszlo Szathmary
Interaction-Aware Clinical Feature Engineering with Ensemble Learning for Early Ectopic Pregnancy Prediction
14:50-15:10 Ali Mhrez and Tibor Tajti
Section-wise Stance Detection: Analyzing Article Structure and Length Asymmetries
Artificial Intelligence
Chair: József Sütő
15:40-16:00 János Dávid Balogh and Attila Adamkó
Accuracy of Wearable Heart Rate Monitors under Static and High-Intensity Activity Conditions
16:00-16:20 Tibor Tajti
Discrete and Continuous Memory Architectures to Prevent Digital Dementia in LLM Agents
16:20-16:40 Mokhaled Al Hamadani, Péter Szilágyi, Balázs Harangi and Khaled Alburai
Integrating Motorized Microscopy and YOLO-Based Deep Learning for Automated Cell Detection
16:40-17:00 István Pintér and Lóránt Kovács
Acoustic Traffic Monitoring with MEMS Microphones, Concatenated log-Bark Spectrograms and CNN
17:00-17:20 Rosa Elysabeth Ralinirina, Jean Christian Ralaivao, Niaiko Michaël Ralaivao, Alain Josué Ratovondrahona and Thomas Mahatody
A Formal Methodological Framework for Auditing Robustness and Fidelity in Explainable AI: From Application to Trust Certification

Session "C" (C-106)
Verification including Formal Methods
Chair: Isabela Drămnesc
13:30-13:50 Tibor Teodor Fürész, Kristóf Umann and Zoltán Porkoláb
Static analysis possibilities for regular expressions in C++
13:50-14:10 Gregory Morse and Tamás Kozsik
Fully Dynamic Strong Connectivity and Reachability in Digraphs
14:10-14:30 Gábor Kusper
Baseline Review of Formal Methods and Foundations of Artificial Intelligence
14:30-14:50 Péter Sághelyi and Péter Bereczky
Formal Verification of Questionnaire Logic Using SMT Solvers
14:50-15:10 ​
​
Applied Mathematics
Chair: Tibor Juhász
15:40-16:00 István Fazekas and Borbála Fazekas
Convergence to generalized permutons
16:00-16:20 Attila Házy
Solving differential-functional equations with computer
16:20-16:40 Péter Battyányi
Reaction systems and approximation spaces
16:40-17:00 László Fórián and István Fazekas
A Family of Discrete-time Network Evolution Models Based on k-interactions
17:00-17:20 ​
​

Friday, February 20, 2026
TimeEvent
08:30-13:00Registration in 1st Floor Hall
09:30-12:00Plenary Session in C-124 (Chair: Gergely Kovásznai)
09:30-10:15Máté Tejfel
Analysis and Refactoring of Domain Specific Languages
10:15-11:15Poster Session & Coffee-break
10:30-11:00Commemoration of Lajos Csőke (C-039)
11:15-12:00Isabela Drămnesc
Certification of Sorting Algorithms Using Theorema
12:00-13:30Lunch in Hotel Szent István
13:30-15:10Sessions in C-124, C-121 and C-106
15:10-15:40Coffee-break
15:40-17:20Sessions in C-124, C-121 and C-106
18:30-Dinner and wine-sampling in Leányka Bisztró, in Building "C*", next to Building "C".

Poster Session

  • Gábor Ujhelyi
    Generation of portable course content supported by generative artificial intelligence
  • Zoltán Kégli, Gregory Morse, Jakab Nádori, Barna Fülöp Villám, Muhammad Al Farizi, Tamás Kozsik and Péter Rakyta
    SQUANDER: a classical technique to train quantum circuits
  • Abel Szauter and Norbert Pataki
    A Clang-based Syntactical Replacer Tool
  • Tomoe Tezuka and Roland Kunkli
    Comparative Audio Analysis of Poem Recitations Through Data Visualizations
  • László Nagyenyedi and Roland Kunkli
    High-Precision Slice-Driven Volumetric Sphere Construction
  • Sándor Kovács, Panna Ottó and Szilvia György
    Stability and Bifurcations in Nonlinear Quantum protocols
  • Ádám Balogh, Tamás Dr. Kozsik and Bálint Zombori
    Data-Flow Analysis in the SpotBugs Java Static Analyzer

Session "A" (C-124)
Artificial Intelligence
Chair: Attila Fazekas
13:30-13:50 Máté Norbert Molnár and Tibor Tajti
Local Backtracking Mechanisms in Generative Modelling
13:50-14:10 László Csépányi-Fürjes, Fanni Gáspár and Zsófia Varga
Supporting Self-Regulated Learning with Generative AI via the Diamond Chain Method
14:10-14:30 Réka Erdész and Ede Troll
Group Based Reward Protection for Detecting and Mitigating Reward Hacking
14:30-14:50 Oleksandra Polinski and Attila Fazekas
Analyzing the Performance of the k-Nearest Neighbor Classifier Using Metrics Based on Neighborhood Sequences
14:50-15:10 Anita Agárdi
Combination of Ant Algorithms and Simulated Annealing in solving Flow Shop Scheduling Problem
Applications of Informatics
Chair: Tamás Kozsik
15:40-16:00 István Szeglet and Norbert Pataki
Application of Large Language Models on Structured Corporate Data
16:00-16:20 Péter Borbás and Ede Troll
Topology-Aware Neural Vectorization of Printed Orienteering Maps
16:20-16:40 Mohammed Aad Khudhair
Bounded-Distance Prototype Reweighting for Noisy-Label Robustness in Image Classification
16:40-17:00 Lei Haoyuan, Máté Bobaly and Attila Fazekas
A Proposed Method for Measuring the Esthetic Outcome of Head Surgery
17:00-17:20 Anikó Apró and Levente Márk Sasi
Adaptive Sentiment Evaluation in Social Media Analysis

Session "B" (C-121)
Testing and Verification including Formal Methods
Chair: Zoltán Porkoláb
13:30-13:50 Aleksandr Samedov and Tamás Kozsik
Parallel Approaches of Annotation-Based Static Verification of Algorithmic Complexity in Java
13:50-14:10 Zsófia Laczkó and Máté Tejfel
Program patterns in P4 programs
14:10-14:30 Anikó Apró and Tibor Tajti
Bayesian Adaptive Assessment with Distribution-Aware Item Selection: An Empirical Study on Uncertainty Reduction and Test Efficiency
14:30-14:50 Levente Fazekas and Károly Nehéz
Attribute-Based Bloom Filter Tabu Search for the Flexible Flowshop Problem
14:50-15:10 Péter János Császár and Máté Cserép
Assessing software metrics and complexity in student and open-source projects using static analysis
Simulation and Modeling
Chair: Zoltán Istenes
15:40-16:00 Emin Bayramov and Zoltán Istenes
IP-Transformer: Latent Intent Projection for Trajectory Prediction in Autonomous Vehicles
16:00-16:20 Felisberto Chivela, Edit Laufer and Zoltán Papp
Event-Centered Feature Modeling of Arrhythmic ECG Episodes
16:20-16:40 József Gergő Pál and Csaba Biró
Expected Goals Integration in Form-Based Football Models: Extensions of the Veto and Balance Models
16:40-17:00 Tamás Lukovszki and Gábor Pusztai
Experimental Study of Building a Nest by an Automaton
17:00-17:20 Félix Sütő
Flexible Simulation Environment for AI-Driven Production Optimization

Session "C" (C-106)
Data Science including Database Systems
Chair: Gergely Kovásznai
13:30-13:50 Gábor Kusper, Attila Adamkó and Imre Baják
Digital Ownership in Practice: A Feasibility Study of the Information Bank Model
13:50-14:10 Márk Szabó, Ádám Kovács and Gábor Kusper
Data cleaning and spam filtering methods in the TAWOS database
14:10-14:30 Alexandra Laura Giczi and Edith Alice Kovács
Data Preprocessing Analysis to Avoid Information Loss
14:30-14:50 Tamás Balla
Practical Prediction of Query Execution Time in PostgreSQL Using Lightweight Machine Learning Models
14:50-15:10 Erika Baksáné Varga and Attila Baksa
Analyzing Student Pathways Through Process Mining
Software Engineering
Chair: Máté Tejfel
15:40-16:00 Zoltán Porkoláb
Extensions of the C++ Parallel STL library
16:00-16:20 Bendegúz Nagy and Győző Horváth
AI-Based Estimation of the Zone of Proximal Development in Programming Education
16:20-16:40 Gábor Kusper, Judit Szabó, Márk Szabó, Ádám Kovács, Tibor Tajti, Csaba Szabó, Ján Perháč, Marek Horváth and Branislav Sobota
Introducing TAIPO, an AI-Based Product Owner Assistant for Vibe Coding
16:40-17:00 Bálint Dominik Orosz and Tamás Kozsik
Language for Specifying Applications of Design and Architectural Patterns
17:00-17:20 Kristóf Umann and Zoltán Porkoláb
Static Analysis checkers almost a decade later: Where are they now?

Saturday, February 21, 2026
TimeEvent
08:30-10:00Registration in 1st Floor Hall
09:30-11:00Plenary Session in C-124 (Chair: Károly Nagy)
09:30-10:15Zsolt Ádám Balogh
Computational and AI-Based Methods for Radiation Dose Reduction in Computed Tomography
10:15-11:00Viktor Bodi
A Zassenhaus Conjecture for Integral Group Rings
11:00-11:30Coffee-break
11:30-12:30Sessions in C-124, C-121 and C-106
12:30-14:00Lunch in Hotel Szent István
14:00-15:20Sessions in C-124, C-121 and C-106
15:00-15:20Closing in C-124

Session "A" (C-124)
Education
Chair: Imre Varga
11:30-11:50 József Udvaros, Veronika Gabaľová and Norbert Forman
Educational acceptance and use of artificial intelligence among Slovak high school students: an empirical study of attitudes, ethical risk perception and career intentions
11:50-12:10 Marcell Herbák, Gergely Kovásznai and Ali Adil Adil
Optimizing Collaborative Learning: A Hard-Constraint Reinforcement Learning Approach to Fair Team Composition
12:10-12:30 Gábor Guta and Gábor Kusper
Psychological Experience Framework for Interaction with AI-Enabled Applications
Artificial Intelligence
Chair: Gábor Kusper
14:00-14:20 Martin Kernács and Olivér Hornyák
AI-Supported Video-Based Maintenance for Unknown Systems
14:20-14:40 Imre Varga
Local scientific collaboration networks: a case study
14:40-15:00 Zsolt Vasilkó, Tamás Balla and Csaba Biró
Entropy-Driven Structural Influence in Social and Educational Networks: A Platform-Independent Framework for Hidden Influencers and Knowledge Mediators

Session "B" (C-121)
Security
Chair: Ádám Kovács
11:30-11:50 Farouk Aziz and Norbert Oláh
LLM-Augmented Machine Learning for Phishing Email Detection: Enhancing Classification, Explainability, and Multilingual Support
11:50-12:10 Ferenc Koczka
Comparative Analysis of Vulnerability Dynamics in Operating Systems and Containerized Environments
12:10-12:30 Tamás Girászi, Norber Oláh, Natália Papp and Andrea Huszti
LLM-powered automated attacks
Artificial Intelligence
Chair: Zsolt Ádám Balogh
14:00-14:20 Ádám Kovács and Tibor Tajti
Robust CAPTCHA Recognition with a CNN–RNN–CTC Ensemble on Real-World Data
14:20-14:40 Pınar Yazgan and Bálint Molnár
Retraining-Free Federated Unlearning for Credit Risk Modeling via Constraint-Controlled Masking
14:40-15:00 Roland Gunics, Máté Norbert Molnár, Enikő Héja, Noémi Ligeti-Nagy, Ádám Kovács and Mátyás Osváth
huToken: A fast BPE tokenizer for language models

Session "C" (C-106)
Computer Graphics and Data Visualization
Chair: Benedek Nagy
11:30-11:50 Nándor Banyik and Benedek Nagy
Preparation for Using Non-Traditional Grids in Digital Image Processing
11:50-12:10 Péter Ákos Makár and Gergely Kocsis
An Improved Measurement and Visualization System for High Precision Positioning with GPS-RTK
12:10-12:30 Ali Jlidi and László Kovács
Learning Transferable Geometric Edge Priors for Euclidean TSP Using Graph Neural Networks
Artificial Intelligence
Chair: Zoltán Istenes
14:00-14:20 Ines Meliani, Nour Elhouda Ben Saadi and Zoltán Istenes
A Multimodal Learning Framework for Self-Supervised Off-Road Traversability Understanding
14:20-14:40 Md Rashed Ibn Nawab and Tibor Tajti
Iterative Label Fuzzification in Deep Learning for Sentiment Analysis: An Empirical Study on the IMDB Dataset
14:40-15:00 Nour Elhouda Ben Saadi, Ines Meliani and Zoltán Istenes
Ground-Centric Experience-Based Navigation in Unstructured Off-Road Environments