EPTCS 233
Proceedings 11th Doctoral Workshop on
Mathematical and Engineering Methods in Computer Science
Telč, Czech Republic, 21st-23rd October 2016
Edited by: Jan Bouda, Lukáš Holík, Jan Kofroň, Jan Strejček and Adam Rambousek
This volume contains the proceedings of the 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016) held in Telč, Czech Republic, during October
21-23, 2016.
The aim of the MEMICS workshop series is to provide an opportunity for PhD students to present and discuss their work in an international environment.
MEMICS focuses broadly at formal and mathematical methods in computer
science and engineering and their applications.
In addition to regular papers, MEMICS workshops traditionally invite PhD students
to submit a presentation of their recent research results that have already undergone a
rigorous peer-review process and have been presented at a high-quality international
conference or published in a recognized journal.
There were 28 submissions from PhD students.
We received 14 regular papers; each one was thoroughly evaluated by at least three Program Committee members, who also
provided extensive feedback to the authors.
This year, we also organized a poster session presenting an ongoing work of students.
In addition to regular papers, we received 5 presentation abstracts, and 9 poster abstracts.
We accepted 9 regular papers included in these post-proceedings.
The work described in other 2 regular papers were presented,
along with 5 presentations and 9 posters introducing already published and ongoing work, respectively.
The highlights of the MEMICS 2016 program included three keynote lectures delivered by internationally recognized researchers from various areas of computer science. The speakers were:
- Armin Biere (Johannes Kepler University in Linz, Austria)
- Luca Bortolussi (University of Trieste, Italy)
- Roland Meyer (TU Kaiserslautern, Germany)
The MEMICS tradition of best paper awards continued also in the year 2016. The
best contributed paper, presentation, and poster were selected during the workshop, taking into account their
scientific and technical contribution together with the quality of presentation.
This year, the awards went to the following contributors:
- Samuel Pastva: A Model Checking Approach to Dynamical Systems Analysis (best presentation)
- Ricardo Almeida: Reducing Nondeterministic Tree Automata by Adding Transitions (best paper)
- Michal Kravcenko: Efficient Parallel Computation of Graph Embeddings (best poster)
The successful organization of MEMICS 2016 would not have been possible without generous help and support from the organizing institutions: Masaryk University, Brno University of Technology, and Charles University.
We thank the Program Committee members and the external reviewers for their
careful and constructive work. We thank the Organizing Committee members who
helped to create a unique and relaxed atmosphere that distinguishes MEMICS from
other computer science meetings. We also gratefully acknowledge the support of the
EasyChair system and the great cooperation with the EPTCS.
Last, but not least, we would like to thank to our sponsors: Lexical Computing, Y Soft Corporation, and RedHat, Inc.
Telč, October 2016, Jan Kofroň, Jan Strejček, Lukáš Holík
Organization
The 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS
2016) took place in Telč, Czech Republic, during October 21-23, 2016. More information about the
MEMICS workshop series is available at http://www.memics.cz.
General Chair
- Jan Bouda, Masaryk University in Brno, Czech Republic
Program Committee Chairs
- Lukáš Holík, Brno University of Technology, Czech Republic
- Jan Kofroň, Charles University, Czech Republic
- Jan Strejček, Masaryk University in Brno, Czech Republic
Program Committee
- Jiří Barnat, Masaryk University in Brno, Czech Republic
- Ezio Bartocci, Vienna University of Technology, Austria
- Armin Biere, Johannes Kepler University, Austria
- Luca Bortolussi, University of Trieste, Italy
- Jan Bouda, Masaryk University in Brno, Czech Republic
- Martina Daňková, University of Ostrava, Czech Republic
- Frédéric Dupuis, Masaryk University in Brno, Czech Republic
- Piotr Gawron, Polish Academy of Sciences, Poland
- Dana Hlinĕná, Brno University of Technology, Czech Republic
- Antti Hyvärinen, University of Lugano, Switzerland
- Jan Křetínský, Technical University of Munich, Germany
- Martin Kalina, Slovak University of Technology in Bratislava, Slovakia
- Stanislav Krajčí, Pavol Jozef Šafárik University in Košice, Slovakia
- Erwin Laure, PDC KTH Stockholm, Sweden
- Václav Matyáš, Masaryk University in Brno, Czech Republic
- Ludĕk Matyska, Masaryk University in Brno, Czech Republic
- Roland Meyer, University of Kaiserslautern, Germany
- Miguel Navascués, Austrian Academy of Sciences, Austria
- Marcin Pawlowski, University of Gdansk, Poland
- Igor Peterlík, Inria Nancy - Grand Est, France
- Philipp Rümmer, Uppsala university, Sweden
- David Šafránek, Masaryk University in Brno, Czech Republic
- Peter Vojtáš, Charles University, Czech Republic
- Vít Vondrák, VSB TUO, IT4Innovations, Czech Republic
- Mário Ziman, Slovak Academy of Sciences, Slovakia
Steering Committee Chair
- Tomáš Vojnar, Brno University of Technology, Czech Republic
Organizing Committee
- Jan Sebastian Novotný, chair, Masaryk University, Czech Republic
- Alena Janebová, Masaryk University, Czech Republic
- Sylva Kočí, Masaryk University, Czech Republic
Additional Reviewers
- Petr Hlinĕný
- Daniel Kouřil
- Jan Obdržálek