<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"><meta http-equiv="Content-Type" content="text/html charset=utf-8"><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">-------------------------------------------------------------------------------</div><div class=""><br class=""> 11th Doctoral Workshop on Mathematical and Engineering<br class=""><br class=""> Methods in Computer Science<br class=""><br class=""> MEMICS 2016<br class=""><br class=""> <a href="http://www.memics.cz" class="">http://www.memics.cz</a><br class=""><br class=""> October 21--23, 2016, Telc, Czech Republic<br class=""><br class=""> Call for Papers<br class=""><br class="">-------------------------------------------------------------------------------<br class=""><br class="">Since 2005, the aim of MEMICS is to provide a scientific forum for <br class="">doctoral and master students interested in applications of mathematical <br class="">and engineering methods in computer science. Besides a rich technical <br class="">programme (including invited talks, regular papers, and presentations), <br class="">MEMICS also offers friendly social activities and exciting opportunities <br class="">for meeting like-minded people.<br class=""><br class="">Topics: MEMICS submissions are traditionally invited from all areas of <br class="">computer science (such as parallel and distributed computing, computer <br class="">networks, modern hardware and its design, non-traditional computing <br class="">architectures, information systems and databases, multimedia and <br class="">graphics, verification and testing, computer security, as well as all <br class="">related areas of theoretical computer science). In line with the <br class="">tradition of MEMICS, several areas are, however, given a special focus <br class="">each year (which is reflected, e.g., in the choice of the invited <br class="">speakers). In 2016, these areas are:<br class=""><br class="">* Logic and decision procedures<br class="">* Formal methods for complex and cyber-physical systems<br class="">* Valued structures<br class="">* Quantum information processing<br class="">* High-performance and cloud computing and their applications<br class=""><br class="">Nevertheless, as stated above, submissions from any other area of <br class="">computer science are welcome.<br class=""><br class="">There will be three invited talks by distinguished researchers from the <br class="">different areas of interest of the workshop as a part of the programme. <br class="">The invited speakers are:<br class=""><br class="">* Armin Biere (Johannes Kepler University in Linz, Austria)<br class="">* Roland Meyer (Technische Universität Kaiserslautern, Germany)<br class="">* Luca Bortolussi (University of Trieste, Italy)<br class=""><br class="">Submissions: Students are invited to submit a regular paper, a <br class="">presentation, or a poster. A regular paper is a previously unpublished <br class="">original work, not exceeding 12 pages in the LNCS style. Simultaneous <br class="">submissions of regular papers to other conferences with proceedings are <br class="">not allowed. A presentation, submitted in the form of a one-page <br class="">abstract, summarizes recent outstanding work that has been accepted to a <br class="">leading computer science conference or published in a recognised <br class="">scientific journal. A poster presents an ongoing work. Detailed <br class="">instructions are available at the web page <a href="http://www.memics.cz/" class="">http://www.memics.cz/</a>.<br class=""><br class="">In previous years, accepted regular papers appeared (depending on their <br class="">quality) either in local proceedings, or in a Lecture Notes in Computer <br class="">Science (LNCS) volume dedicated to MEMICS post-proceedings. This year we <br class="">expect the same schema, LNCS post-proceedings are currently under <br class="">negotiation. Local proceedings containing accepted regular papers and <br class="">presentation abstracts will be available at the workshop in printed <br class="">and/or electronic form.<br class=""><br class="">Submissions and dates:<br class="">All submissions will be handled by the Easychair conference system.<br class=""><br class="">* July 24, 2016 (AoE): abstracts of regular papers<br class="">* July 31, 2016 (AoE): full regular papers<br class="">* August 28, 2016 (AoE): posters and one-page abstracts of presentations <br class="">* September 8, 2016: notification of acceptance<br class="">* September 15, 2016: final camera-ready versions of all accepted submissions<br class=""><br class="">Venue: The workshop will be held in the historical town of Telc, which <br class="">is situated at the south-west tip of Moravia, half-way between Prague <br class="">and Vienna. The historical centre of the town has retained its unique <br class="">shape over the centuries and was included in the list of UNESCO World <br class="">Heritage Sites in 1992:<br class=""><br class=""><a href="http://en.wikipedia.org/wiki/Telč" class="">http://en.wikipedia.org/wiki/Telč</a><br class=""><br class="">The MEMICS 2016 workshop is organised jointly by:<br class=""><br class="">* Faculty of Informatics, Masaryk University<br class="">* Faculty of Information Technology, Brno University of Technology<br class="">* Faculty of Mathematics and Physics, Charles University<br class=""><br class="">General Chair<br class="">* Jan Bouda, Masaryk University<br class=""><br class="">Programme Committee Chairs<br class="">* Lukas Holik, Brno University of Technology<br class="">* Jan Kofron, Charles University<br class="">* Jan Strejcek, Masaryk University<br class=""><br class="">Programme Committee<br class="">* Jiri Barnat, Masaryk University<br class="">* Ezio Bartocci, Vienna University of Technology<br class="">* Armin Biere, Johannes Kepler University<br class="">* Luca Bortolussi, University of Trieste<br class="">* Jan Bouda, Masaryk University<br class="">* Martina Dankova, University of Ostrava<br class="">* Frederic Dupuis, Masaryk University<br class="">* Piotr Gawron, Polish Academy of Sciences<br class="">* Dana Hlinena, Brno University of Technology<br class="">* Antti Hyvarinen, University of Lugano <br class="">* Martin Kalina, Slovak University of Technology in Bratislava<br class="">* Stanislav Krajci, Pavol Jozef Safarik University in Kosice<br class="">* Jan Kretinsky, Technical University of Munich<br class="">* Erwin Laure, KTH Royal Institute of Technology<br class="">* Vaclav Matyas, Masaryk University<br class="">* Ludek Matyska, Masaryk University<br class="">* Roland Meyer, University of Kaiserslautern<br class="">* Miguel Navascues, Austrian Academy of Sciences<br class="">* Marcin Pawlowski, University of Gdansk<br class="">* Igor Peterlik, Inria Nancy – Grand Est<br class="">* Philipp Ruemmer, Uppsala University<br class="">* David Safranek, Masaryk University<br class="">* Peter Vojtas, Charles University<br class="">* Vit Vondrak, VSB – Technical University of Ostrava<br class="">* Mario Ziman, Slovak Academy of Sciences<br class=""><br class="">Organising Committee Chair<br class="">* Jan Sebastian Novotny, Masaryk University</div></body></html>