itat banner itat banner

Program

day 9:00 - 12:30 14:00 - 17:00 since 19:00
Saturday CADM CADM WNC
WNC WAFNL
Sunday IWCIDM banquet
CADM
WAS
Monday WAFNL IWCIDM
IWCIDM

--->> Conference proceedings (preprint version of CEUR proceedings) <<---

Saturday 21.9.2024

CADM - Computational Aspects of Large-Scale Problems in Discrete Mathematics

CADM - Computational Aspects of Large-Scale Problems in Discrete Mathematics (parallel session)

  • 10:00-10:35 Nina Hronkovičová: On Siamese Color Graphs
  • 10:35-11:05 Valentino Smaldore: A note on parabolic and linear one-factorizations of the complete graph $K_{p+1}$
  • 11:05-11:25 coffee break
  • 11:25-11:55 Ján Pastorek: Partial automorphisms and level of symmetry of graphs
  • 11:55-12:25 Dominika Závacká: Integer sequences from k-iterated line digraphs

WNC - Workshop on Natural Computing (parallel session)

  • 10:05-10:35 Lucie Ciencialová and Luděk Cienciala: Models of P Colonies
  • 10:35-11:05 Šárka Vavrečková: Transferable Programs and Reactions for Modeling IoT Network
  • 11:05-11:25 coffee break
  • 11:25-11:55 Radu Bobe, Marian Gheorghe, Florentin Ipate and Ionut Mihai Niculescu: Numerical P Systems: Variants and Applications
  • 11:55-12:25 Jiří Blahuta, Tomáš Soukup, Jiří Kozel and Jiří Martinů: An OCR-based application using Tesseract engine to extract text information from ultrasound B-MODE images
12:30 lunch

CADM - Computational Aspects of Large-Scale Problems in Discrete Mathematics

  • 14:00-14:45 Gábor Korchmáros: Some old and new results and open problems in Finite Geometry
  • 14:45-15:30 Robert Jajcay: Vertex-girth-regular graphs
18:00 dinner

WNC - Workshop on Natural Computing

WAFNL - Workshop on Automata, Formal and Natural Languages

  • 20:15-20:45 Mariia Anisimova and Sarka Zikanova: Problematic cases of attitude annotation in diplomatic speeches

Sunday 22.9.2024

IWCIDM - Computational Intelligence and Data Mining

CADM - Computational Aspects of Large-Scale Problems in Discrete Mathematics (parallel session)

  • 10:00-10:35 Daniel Ševčovič: On the Moore-Penrose pseudo-inversion of block symmetric matrices and its application in graph theory
  • 10:35-11:05 Dušan Bernát: Circular chromatic index of small snarks
  • 11:05-11:25 coffee break
  • 11:25-11:55 Annachiara Korchmaros: Forbidden paths and cycles in the undirected underlying graph of a 2-quasi best match graph
  • 11:55-12:25 Pavol Kollár: Upper Bounds and Probability Heuristic Estimates of $r$-Regular Families of Permutations

WAS - Workshop on Applied Security (parallel session)

  • 10:05-10:20 Richard Ostertág and Martin Stanek: Anomaly Detection in Certificate Transparency Logs
  • 10:20-10:35 Pavol Sokol, Sophia Petra Krišáková and Rastislav Krivoš-Belluš: Forensic Artifacts' Analysis using Graph Theory
  • 10:35-10:50 Daniela Chudá and Lukáš Janík: Enhancing smartphone security through behavioral biometrics-based gestures
  • 10:50-11:05 Richard Ostertág: Enforcing fresh nonces with affine type system
  • 11:05-11:25 coffee break
  • 11:25-11:40 Jaroslav Janáček: A bug in Linux ACL implementation
  • 11:40-11:55 Dušan Bernát: Graph models of memory access traces
  • 11:55-12:10 Martin Stanek: Revisiting Monte Carlo Strength Evaluation
  • 12:10-12:30 Open discussion
12:30 lunch
13:00 trips and discussions
19:00 banquet

Monday 23.9.2024

WAFNL - Workshop on Automata, Formal and Natural Languages

WAFNL - Workshop on Automata, Formal and Natural Languages (parallel session)

  • 10:05-10:35 Marketa Lopatkova, Eva Fucikova, Federica Gamba, Jan Stepanek, Daniel Zeman and Sarka Zikanova: Meaning Representation: Towards a Conversion of the Prague Dependency Treebank Data to the Uniform Meaning Representation
  • 10:35-11:05 Oleksandr Fetkovych, Peter Gurský, Dávid Varga and Zoltán Szoplák: Adapting Plagiarism Detection Techniques for Citation Identification in Legal Texts
  • 11:05-11:25 coffee break
  • 11:30-12:00 Adam Osuský, Dávid Javorský and Ondřej Bojar: InsBert: Word importance from a BERT-versus-BERT insertion game
  • 12:00-12:30 Martin Platek, František Mráz, Dana Pardubska and Martin Prochazka: Non-Regularity of Complete CF(¢,$)-Grammars.

IWCIDM - Computational Intelligence and Data Mining (parallel session)

  • 10:10-10:40 Vrushali Mahajan, Ermiyas Birihanu and Misikir Tashu Tsegaye: A Dynamic Session-Based Recommender System with Graph Neural Networks
  • 10:40-11:10 Jana Kostičová: Low-Latency Streaming Evaluation of JSONPath Queries
  • 11:10 - 11:30 Coffee Break
  • 11:30-12:00 Aleksandr Fedorov and David Linke: Extrapolation Problems in Kinetic Modelling of Catalytic Reactions with Neural Networks
  • 12:00-12:30 Theodor Ladin, Lukáš Korel and Martin Holena: Textual Embeddings with Word-Type-Weighted Word2Vec
12:40 lunch
13:00 trips and discussions
18:00 dinner

IWCIDM - Computational Intelligence and Data Mining

  • 19:00-19:30 Florian Beck, Johannes Fürnkranz and Van Quoc Phuong Huynh: When characteristic rule-based models should be preferred over discriminative ones
  • 19:30-20:00 Maroš Bratko, Thomas Seidelmann and Martin Holeňa: Graph neural networks and deep reinforcement learning in job scheduling