R. Kocman, Z. Křivka: Jumping Finite Automata: New Results
FIT Božetěchova 2, room G202, 10:00-11:00, 5.12.2016
The seminar is organized by the Formal Model Research Group at the
Department of Information Systems, Faculty of Information Technology,
Brno University of Technology. As its central scientific topic, it
discusses formal models and their applications. Recent presentations are
to be found at http://www.fit.vutbr.cz/~meduna/work/doku.php?id=talks:seminar.