MEMICS 2016

11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)

Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people.

Topics:

MEMICS submissions are traditionally invited from all areas of computer science (such as parallel and distributed computing, computer networks, modern hardware and its design, non-traditional computing architectures, information systems and databases, multimedia and graphics, verification and testing, computer security, as well as all related areas of theoretical computer science). In line with the tradition of MEMICS, several areas are, however, given a special focus each year (which is reflected, e.g., in the choice of the invited speakers). In 2016, these areas are:

• Logic and decision procedures
• Formal methods for complex and cyber-physical systems
• Valued structures
• Quantum information processing
• High-performance and cloud computing and their applications

Nevertheless, as stated above, submissions from any other area of computer science are welcome.

There will be three invited talks by distinguished researchers from the different areas of interest of the workshop as a part of the programme.

The invited speakers are:

• Armin Biere (Johannes Kepler University in Linz, Austria)
• Roland Meyer (Technische Universitat Kaiserslautern, Germany)
• Luca Bortolussi (University of Trieste, Italy)Venue:

The workshop will be held in the historical town of Telc, which is situated at the south-west tip of Moravia, half-way between Prague and Vienna. The historical centre of the town has retained its unique shape over the centuries and was included in the list of UNESCO World Heritage Sites in 1992:

http://en.wikipedia.org/wiki/Telc

The MEMICS 2016 workshop is organised jointly by:

• Faculty of Informatics, Masaryk University
• Faculty of Information Technology, Brno University of Technology
• Faculty of Mathematics and Physics, Charles University

General Chair

• Jan Bouda, Masaryk University

Programme Committee Chairs

• Lukas Holik, Brno University of Technology
• Jan Kofron, Charles University
• Jan Strejcek, Masaryk University

Programme Committee

• Jiri Barnat, Masaryk University
• Ezio Bartocci, Vienna University of Technology
• Armin Biere, Johannes Kepler University
• Luca Bortolussi, University of Trieste
• Jan Bouda, Masaryk University
• Martina Dankova, University of Ostrava
• Frederic Dupuis, Masaryk University
• Piotr Gawron, Polish Academy of Sciences
• Dana Hlinena, Brno University of Technology
• Antti Hyvarinen, University of Lugano
• Martin Kalina, Slovak University of Technology in Bratislava
• Stanislav Krajci, Pavol Jozef Safarik University in Kosice
• Jan Kretinsky, Technical University of Munich
• Erwin Laure, KTH Royal Institute of Technology
• Vaclav Matyas, Masaryk University
• Ludek Matyska, Masaryk University
• Roland Meyer, University of Kaiserslautern
• Miguel Navascues, Austrian Academy of Sciences
• Marcin Pawlowski, University of Gdansk
• Igor Peterlik, Inria Nancy - Grand Est
• Philipp Ruemmer, Uppsala University
• David Safranek, Masaryk University
• Peter Vojtas, Charles University
• Vit Vondrak, VSB - Technical University of Ostrava
• Mario Ziman, Slovak Academy of Sciences

Organising Committee Chair

• Jan Sebastian Novotny, Masaryk University