Published: 13th December 2016
DOI: 10.4204/EPTCS.233
ISSN: 2075-2180

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
Preface
Lukáš Holík, Jan Kofroň and Jan Strejček
Using the Context of User Feedback in Recommender Systems
Ladislav Peska		1
A Note on One Less Known Class of Generated Residual Implications
Vojtěch Havlena and Dana Hliněná		13
Characterizing DAG-depth of Directed Graphs
Matúš Bezek		23
Reducing Nondeterministic Tree Automata by Adding Transitions
Ricardo Manuel de Oliveira Almeida		33
Sending Money Like Sending E-mails: Cryptoaddresses, The Universal Decentralised Identities
Michal Zima		52
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
Dirk Beyer and Karlheinz Friedberger		61
Avalanche Effect in Improperly Initialized CAESAR Candidates
Martin Ukrop and Petr Švenda		72
Anti-Path Cover on Sparse Graph Classes
Pavel Dvořák, Dušan Knop and Tomáš Masařík		82
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
Lukáš Charvát, Aleš Smrčka and Tomáš Vojnar		87

Preface

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:
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:
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

Program Committee Chairs

Program Committee

Steering Committee Chair

Organizing Committee

Additional Reviewers