Selected papers of the 2nd Formal Methods in Informatics online workshop
The workshop was organized by Institute of Mathematics and Informatics, Eszterházy Károly Catholic University, Hungary, Eger, November 30–December 1, 2021
Edited by Csaba Biró, Gergely Kovásznai, Gábor Kusper, Tibor Tajti
ISSN 1787-6117 (Online)
Content
Blockchain diploma authenticity verification system using smart contract technology
by Ruben Frisch, Dóra Éva Dobák, József Udvaros
Pages: 1–23
DOI: 10.33039/ami.2023.07.002
Fine-tuning and multilingual pre-training for abstractive summarization task for the Arabic language
by Mram Kahla, Attila Novák, Zijian Győző Yang
Pages: 24–35
DOI: 10.33039/ami.2022.11.002
Formal verification for quantized neural networks
by Gergely Kovásznai, Dorina Hedvig Kiss, Péter Mlinkó
Pages: 36–48
DOI: 10.33039/ami.2023.04.003
P4Query: Static analyser framework for P4
by Dániel Lukács, Gabriella Tóth, Máté Tejfel
Pages: 49–64
DOI: 10.33039/ami.2023.03.002
Logical conditions in programming languages: review, discussion and generalization
by Benedek Nagy, Khaled Abuhmaidan, Monther Aldwairi
Pages: 65–77
DOI: 10.33039/ami.2023.04.002
Application and impact of electronic solutions in teaching programming
by József Udvaros, Norbert Forman, Dóra Éva Dobák
Pages: 78–91
DOI: 10.33039/ami.2023.04.001
Solving Hungarian natural language processing tasks with multilingual generative models
by Zijian Győző Yang, László János Laki
Pages: 92–106
DOI: 10.33039/ami.2022.11.001
Building machine reading comprehension model from scratch
by Zijian Győző Yang, Noémi Ligeti-Nagy
Pages: 107–123
DOI: 10.33039/ami.2023.03.001