Annales Mathematicae et Informaticae

About us

Annales Mathematicae et Informaticae is an international journal of the Institute of Mathematics and Informatics of Eszterházy Károly Catholic University (Eger, Hungary), published by Líceum University Press.

Aims and Scope

This journal is open for scientific publications in mathematics and computer science, where the field of number theory, group theory, constructive and computer aided geometry as well as theoretical and practical aspects of programming languages receive particular emphasis. Methodological papers are also welcome. Papers submitted to the journal should be written in English. The Editorial Board can accept only new and unpublished material.

Abstracting/
Indexing

Clarivate Analytics (formerly Thomson Reuters) Emerging Sources Citation Index

Scopus
scopus

Zentralblatt für Mathematik
Zblatt

Mathematical Reviews

EBSCO Academic Search Ultimate
EBSCO

Methodological papers are indexed by Zentralblatt MathEduc

Annales Mathematicae et Informaticae 57 (2023)

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)

Editorial Board

Sándor Bácsó, Sonja Gorjanc, Tibor Gyimóthy, Miklós Hoffmann, József Holovács, Tibor Juhász, László Kovács, Zoltán Kovács, Gergely Kovásznai, László Kozma, Kálmán Liptai, Florian Luca, Giuseppe Mastroianni, Ferenc Mátyás, Ákos Pintér, Miklós Rontó, László Szalay, János Sztrik, Tibor Tajti, Gary Walsh

Technical Editor

Tibor Tómács

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