BME-MITConference Program
33rd Doctoral Minisymposium
of
the Department of Artificial Intelligence and Systems Engineering
of the Budapest University of Technology and Economics will take place on
the 9th and 10th of February, 2026.
at Building Q room BF09 of BME
Monday February 9
| 9:00-9:10 | Welcome Dr. László Gönczy head of department, associate professor |
| Session 1: Formal Verification Chair: Dr. László Gönczy |
|
| 9:10-9:30 | Dóra Cziborová, Mihály Dobos-Kovács, Kristóf Marussy, András Vörös: Unified Timing-Aware Program Verification (paper presentation) |
| 9:30-9:50 | Levente Bajczi, Milán Mondok, Vince Molnár: Theta as a Horn Solver (paper presentation) |
| 9:50-10:10 | Aren A. Babikian (Department of Electrical and Computer Engineering, McGill University, Montreal, Canada; Department of Computer Science, University of Toronto, Toronto, Canada), Attila Ficsor, Oszkár Semeráth, Gunter Mussbacher (Department of Electrical and Computer Engineering, McGill University, Montreal, Canada), Dániel Varró (Department of Electrical and Computer Engineering, McGill University, Montreal, Canada; Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, Budapest, Hungary; Department of Computer and Information Science, Linköping University, Linköping, Sweden): Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition (paper presentation) |
| 10:10-10:30 | Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös: On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software (paper presentation) |
| 10:30-10:50 | Coffee break |
| Session 2: Dependable Systems Chair: Dr. Zoltán Micskei |
|
| 10:50-11:10 | Akel Nada, Oszkár Semeráth, László Gönczy: Towards Automated Data Invariants Synthesis and Validation (vision paper) |
| 11:10-11:30 | Ármin Zavada, Géza Kulcsár (IncQuery Labs cPlc.), Vince Molnár, Ákos Horváth (IncQuery Labs cPlc.): Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems (paper presentation) |
| 11:30-11:50 | Bertalan Zoltán Péter, Imre Kocsis: Towards Faulty Claim Impact Analysis & Mitigation in Verifiable-Credential-Driven Collaborations (paper presentation) |
| 11:50-12:10 | Damaris J. Kangogo, László Gönczy, Imre Kocsis: On the Gap Between Technical Execution and Legal Compliance in Blockchain-Based Business Processes: A Review (paper presentation) |
| 12:10-12:30 | Simon József Nagy, Máté Rózsa (Department of Electric Power Engineering), András Vörös, János Csatár (Department of Electric Power Engineering): Automated dependability analysis of IEC 61850 based digital substations (paper presentation) |
| 12:30-14:00 | Lunch break |
| Session 3: Machine Learning I Chair: Dr. Gábor Hullám |
|
| 14:00-14:20 | Mátyás Antal, András Gézsi, Péter Antal: Benchmarking LLMs as Sequential Diagnosticians: An Interactive Bayesian Environment (vision paper) |
| 14:20-14:40 | László Fetter, András Gézsi: GraphTreeBoost: Soft Decision Tree-Based Graph Learning With Spectral Aggregation (paper presentation) |
| 14:40-15:00 | Márk Marosi, Péter Antal: Positional Regularities in Canonical SMILES: Implications for Molecular Machine Learning (vision paper) |
| 15:00-15:20 | Domonkos Pogány, Péter Antal: Modeling multi-layer tissue networks in hyperbolic space (paper presentation) |
| 15:20-15:40 | Dániel Sándor, Péter Antal: Counterfactual Policy Learning for Personalized Treatment Using SGLT2 Inhibitors (vision paper) |
| 15:40-16:00 | Kawthar Alghourani (Department of Artificial Intelligence and Systems Engineering): Toward Reliable 3D Understanding of Steel Fibers in CT: A Vision for Hybrid Manual–Automated Annotation, Tracking, and Validation (vision paper) |
Tuesday February 10
| Session 4: Signal Processing I Chair: Dr. Görgy Orosz |
|
| 9:00-9:20 | Bence Ország: Towards Resonator-Based Near Perfect Reconstruction Filter Banks (vision paper) |
| 9:20-9:40 | Benedek Pour, Huba Németh (Knorr-Bremse Research and Development Center, Budapest, Hungary), Tamás Dabóczi: Model-Based Artificial Intelligence Approach for Speed and Position Estimation of PMSM (vision paper) |
| 9:40-10:00 | Ronald Rádai, Tamás Kovácsházy: Beyond Ranging: Real-time Wireless Communication Utilising Wi-Fi Fine Timing Measurement (vision paper) |
| 10:00-10:20 | Pál Weisz, György Orosz: Towards Efficient Separability of Models in Automated Worst-Case Circuit Analysis (vision paper) |
| 10:20-10:50 | Coffee break |
| Session 5: Machine Learning II Chair: TBA |
|
| 10:50-11:10 | Bertalan Lichter, Dániel Hadházi: Towards Differentiable Machining: A Neural-Differential Framework for Physics-Aware Toolpath Synthesis (vision paper) |
| 11:10-11:30 | Mohaisen Mohammed, Dániel Hadházi, Gábor Hullám: Beyond Dice: Strategy-Dependent Acquisition in Active Learning for JSRT Lung Segmentation (vision paper) |
| 11:30-11:50 | Mihály Vetró, Gábor Hullám: Detecting Discrete Tempoal States of Functional Connectivity in Electroencephalography (vision paper) |
| 11:50-12:10 | Gábor Révy, Gábor Hullám, Dániel Hadházi: Towards Semiautomatic Pulmonary Artery-Vein Separation in CT Images (vision paper) |
| 12:10-12:30 | Ádám Tumay, Dániel Hadházi, Gábor Hullám: Robust Segmentation of the Lungs using Active Shape Models combined with Neural Networks on PA Chest X-ray images (paper presentation) |
| 12:30-14:00 | Lunch break |
| Session 6: Computer Science Chair: Dr. Kristóf Marussy |
|
| 14:00-14:20 | Ákos Dúcz (Department of Computer Science and Information Theory): Computer-search-based Proof Methods in Geometry and Combinatorics (vision paper) |
| 14:20-14:40 | Zsófia Ádám, Paulína Ayaziová (Faculty of Informatics, Masaryk University, Brno, Czech Republic), Levente Bajczi, Dirk Beyer (Institute for Informatics, LMU Munich, Munich, Germany), Marek Jankola (Institute for Informatics, LMU Munich, Munich, Germany), Marian Lingsch-Rosenfeld (Institute for Informatics, LMU Munich, Munich, Germany), Jan Strejcek (Faculty of Informatics, Masaryk University, Brno, Czech Republic): Non-termination Witnesses and Their Validation (paper presentation) |
| 14:40-15:00 | Levente Bajczi, Zsófia Ádám, Zoltán Micskei: SV-COMP’25 Reproduction Report (paper presentation) |
| 15:00-15:20 | Martin Farkas, Bertalan Zoltán Péter, Imre Kocsis: A Self-orchestration Model for Business Collaborations with Verifiable Process History Credentials (paper presentation) |
| 15:20-15:40 | Coffee break |
| Session 7: Signal Processing II Chair: Dr. András Vörös |
|
| 15:40-16:00 | Casi Setianingsih (Department of Electric Power Engineering), Bálint Hartmann (Department of Electric Power Engineering): Time Segmented Deep Forecasting of Power Grid Frequency Deviations (vision paper) |
| 16:00-16:20 | Al-attabi Ali Khalaf Nawar (paper presentation) |
| 16:20-16:40 | Sharba Mohammad Riyadh Rahmman (paper presentation) |
| 16:40-17:00 | Balázs Toldi: AI-Supported Performance Analysis (vision paper) |
Related pages
Minisymposium Call for papers Conference Program Frequently Asked Questions Organizing comittee Proceedings
Kristóf Marussy
assistant professor, general chair
Kristóf Marussy
assistant professor, general chair