Program

Saturday 24.9.2022

10:05-10:35 Stefan Gyurki: Goal-minimally k-diametric graphs with not so small diameters
10:35-11:05 Dominika Mihálová: Computer Verifications of Regular Representations of Groups of Orders Smaller than 32 via k-Hypergraphs
11:05-11:25 coffee break
11:25-11:55 Leonard Chidiebere Eze and Robert Jajcay: Recursive Constructions of Graphs of Large Girth and Given Degree
11:55-12:25 Ján Mazák, Jozef Rajník and Martin Škoviera: Structural analysis of cubic graphs based on 5-cycle clusters

10:05-10:35 Radka Poláková and Daniel Valenta: jSO and GWO Algorithms Optimise Together
10:35-11:05 Lucie Ciencialová and Luděk Cienciala: Transferable Knowledge in P Colonies
11:05-11:25 coffee break
11:25-11:55 Tomas Michalovsky, Marek Mensik and Adam Albert: Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation
11:55-12:25 Šárka Vavrečková: Membrane System as a Communication Interface between IoT Devices

12:30 lunch

14:00-14:30 Ján Karabáš: On Improvements to the Recursive Edge-Coloring Algorithm
14:30-15:00 Fatemeh Koorepazan Moftakhar: Constructions of Small Regular Graphs of Given Degree and Girth Using Voltage Lift Graphs and Computer Searches
15:00-15:30 Tatiana Jajcayova: Generalizing the Concept of Cayley Graphs to k-Uniform Hypergraphs
15:30-16:00 coffee break
16:00-16:30 Marien Abreu: Constructing Goedgebeur's Pseudo 2-factor isomorphic cubic bipartite graph and dissecting its automorphism group
16:30-17:00 Robert Jajcay: Prospective Research Directions in Cage Problem

19:00 banquet

10:05-10:35 Pavel Procházka, Michal Mareš and Marek Dědič: Scalable Graph Size Reduction for Efficient GNN Application
10:35-11:05 Mattias Arro: confr - A Configuration System for Machine Learning Projects
11:05-11:25 coffee break
11:25-11:55 Uladzislau Yorsh, Alexander Behr, Norbert Kockmann and Martin Holeňa: Text-to-Ontology Mapping via Natural Language Processing Models
11:55-12:25 Lukáš Korel, Alexander Behr, Norbert Kockmann and Martin Holeňa: Using Artificial Neural Networks to Determine Ontologies Most Relevant to Scientific Texts

Zuzana Masakova and Katarína Studeničová: Generalised Cantor base systems
Viola Vavryčuková and Edita Pelantova: On DNA-palindromes
Daniela Opočenská, Edita Pelantová and Lubomíra Dvořáková: Repetitions in balanced sequences
Adam Blažek, Milena Svobodová and Edita Pelantová: A positional representation of Gaussian integers with few non-zero digits
Markéta Lopatková, Václava Kettnerová: Towards Reciprocity in Logic and in Linguistics

12:30 lunch

13:00 trips and discussions

18:00 dinner

9:00-9:30 Dávid Varga, Šimon Horvát, Zoltán Szoplák, Ľubomír Antoni, Stanislav Krajči, Peter Gurský and Laura Bachňáková Rózenfeldová: Keyphrase extraction from Slovak court decisions
9:30-10:00 Jaroslava Hlavacova and Lukáš Kyjánek: Global Variants in the Czech Language
10:00-10:30 Mariia Anisimova and Šárka Zikánová: Attitude in diplomatic speeches: a pilot study
10:30-11:00 coffee break
11:00-11:30 Martin Platek, František Mráz, Dana Pardubska and Daniel Prusa: On Pumping RP-automata controlled by complete LRG(\cent,$)-grammars
11:30-12:00 Martin Procházka: On Reducing Automata and Their Normalizations

9:00-9:30 Florian Beck, Johannes Fürnkranz and Van Quoc Phuong Huynh: On the Incremental Construction of Deep Rule Theories
9:30-10:00 Josef Zelinka, Miloš Prágr, Rudolf Szadkowski, Jan Bayer and Jan Faigl: Deep Transfer Learning of Traversability Assessment for Heterogeneous Robots
10:00-10:30 Iveta Mrázová and Georgi Georgiev: CNN-based Classification of Car Images Implemented for Android Devices
10:30-11:00 coffee break
11:00-11:30 Denis Baručić, Jan Kybic: Learning to segment from object sizes
11:30-12:00 Xinying Chen, Jan Hůla and Antonín Dvořák: Analysis of the Semantic Vector Space Induced by a Neural Language Model and a Corpus

12:10 lunch

13:00 trips and discussions

18:00 dinner

19:00-19:30 David Mojžíšek and Jan Hůla: Image Classifier with Dynamic Set of Known Classes
19:30-20:00 Mohammad Qussai Jouban and Zakarya Farou: TAMS: Text Augmentation using Most Similar Synonyms for SMS Spam Filtering
20:00-20:30 Dániel Tamás Várkonyi, Tomáš Horváth and Márta Alexy: Beyond Sensor Data Analysis: Challenges we faced and did not count with in our honeybee monitoring project