[ecoop-info] MEMICS 2016 CfP

[Jan Kofron]

Apologies for cross-posting.


-------------------------------------------------------------------------------

               11th Doctoral Workshop on Mathematical and Engineering

                             Methods in Computer Science

                                     MEMICS 2016

                                http://www.memics.cz

                      October 21--23, 2016, Telc, Czech Republic

                                   Call for Papers

-------------------------------------------------------------------------------

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 Universität Kaiserslautern, Germany)
    * Luca Bortolussi (University of Trieste, Italy)


Submissions: Students are invited to submit a regular paper, a 
presentation, or a poster. A regular paper is a previously unpublished 
original work, not exceeding 12 pages in the LNCS style. Simultaneous 
submissions of regular papers to other conferences with proceedings are 
not allowed. A presentation, submitted in the form of a one-page 
abstract, summarizes recent outstanding work that has been accepted to a 
leading computer science conference or published in a recognised 
scientific journal. A poster presents an ongoing work. Detailed 
instructions are available at the web page http://www.memics.cz/.

In previous years, accepted regular papers appeared (depending on their 
quality) either in local proceedings, or in a Lecture Notes in Computer 
Science (LNCS) volume dedicated to MEMICS post-proceedings. This year we 
expect the same schema, LNCS post-proceedings are currently under 
negotiation. Local proceedings containing accepted regular papers and 
presentation abstracts will be available at the workshop in printed 
and/or electronic form.

Submissions and dates:
All submissions will be handled by the Easychair conference system.

*  July 24, 2016 (AoE): abstracts of regular papers
*  July 31, 2016 (AoE): full regular papers
*  August 28, 2016 (AoE): posters and abstracts of presentations
*  September 8, 2016: notification of acceptance
*  September 15, 2016: final camera-ready versions of all accepted 
submissions

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/Telč

The MEMICS 2016 workshop is organised jointly by:
* Faculty of Informatics, Masaryk University,
* Faculty of Information Technology, Brno University of Technology, and
* 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