Conference Program
Program
Day 1 – Monday, 3 February 2025 @ room QBF09
|
|
08:50 – 09:00 |
Opening of the Mini-Symposium |
|
Session 1 - Chair: Balázs Renczes |
09:00 – 09:20 |
Bence Ország and László Sujbert |
09:20 – 09:40 |
Benedek Pour and Tamás Dabóczi |
09:40 –10:00 |
András Wiesner, Péter Kaszás, Franz-Otto Witte and Tamás Kovácsházy |
10:00 – 10:20 |
Pál Weisz and György Orosz |
10:20 – 10:40 |
Break |
Session 2 - Chair: Gábor Hullám |
|
10:40 – 11:00 |
Benedek Ágota and Tamás Mészáros |
11:00 – 11:20 |
Ádám Tumay, Dániel Hadházi and Gábor Hullám |
11:20 –11:40 |
Levente Alekszejenkó and Tadeusz P. Dobrowiecki |
11:40 – 12:00 |
Gábor Révy, Dániel Hadházi and Gábor Hullám |
12:00 – 12:20 |
Mihály Vetró and Gábor Hullám |
12:20 – 13:20 |
Lunch break |
|
Session 3 - Chair: György Orosz |
13:20 – 13:40 |
Hussein Al-Rikabi and Balázs Renczes HIRA-QAT: History-Informed Reference-Aided Quantization-Aware Training for Dense Models |
13:40 – 14:00 |
Mohammed Al-Dulaimi and Zsolt Kollár |
14:00 – 14:20 |
Sharba Mohammad and Balázs Renczes Optimized gradient-based method for Crest Factor Minimization of a Multi-sine Signal |
14:20 – 14:40 |
Zahraa Tagelsir, Husam Al-amaireh and Zsolt Kollár |
14:40 – 15:00 |
Break |
Session 4 - Chair: István Majzik | |
15:00 – 15:20 |
Zsófia Ádám and Zoltán Micskei State Space-based Validation of Model Checkers with Summaries |
15:20 – 15:40 |
Attila Ficsor, Kristóf Marussy, Dániel Varró and Oszkár Semeráth Refinery: Graph Solver as a Service |
15:40 – 16:00 |
Ármin Zavada and Vince Molnár From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics |
16:00 – 16:20 |
Levente Bajczi, Dániel Szekeres, Telbisz Csanád and Vince Molnár Giving Some Pointers for Abstraction-Based Model Checking |
Day 2 – Tuesday, 4 February 2025 @ room QBF09
Session 1 - Chair: Imre Kocsis |
|
09:00 – 09:20 |
Simon Nagy and András Vörös |
09:20 – 09:40 |
Márton Tarnay, András Földvári and Bertalan Péter |
09:40 – 10:00 |
Mihály Dobos-Kovács and András Vörös |
10:00 – 10:20 |
Damaris Kangogo, Balázs Ádám Toldi and Imre Kocsis |
10:20 –10:40 |
Noor Al-Gburi and Imre Kocsis |
10:40 – 11:00 |
Break |
Session 2 - Chair: Zoltán Micskei |
|
11:00 – 11:20 |
Milán Mondok, Levente Bajczi, Dániel Szekeres and Vince Molnár
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) |
11:20 – 11:40 |
András Deé-Lukács, András Földvári and András Pataricza |
11:40 – 12:00 |
Dániel Szekeres and István Majzik |
12:00 – 12:20 |
Richárd Szabó, Dóra Cziborová and András Vörös |
12:20 – 12:40 |
Nada Akel and László Gönczy Model-Driven Method for Data Quality Assurance |
12:40 – 13:40 |
Lunch Break |
Session 3 - Chair: Péter Antal |
|
13:40 – 14:00 |
Márk Marosi, Kristóf Váradi and Péter Antal |
14:00 – 14:20 |
Dániel Sándor and Péter Antal |
14:20 – 14:40 |
Domonkos Pogány and Péter Antal |
14:40 – 15:00 |
Mátyás Antal and András Gézsi xLSTM Architectures in Reinforcement Learning |
15:00 – 15:20 |
László Fetter and András Gézsi Training Graph Transormer With Feature and Positional Information |
15:20 – 15:40 |
Norman Sepsik, György Balogh and Ferenc Ender Novel Organ-on-a-Chip device for high throughput drug candidate screening |
15:40 – |
Closing words |