MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science with an emphasis on methods for developing reliable and secure computer systems. 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.

Submissions are invited especially in the following (though not exclusive) areas: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation,parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.

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

Students are invited to submit a regular paper or a presentation. A regular paper is a previously unpublished piece of work with original results, not exceeding 8 pages in the LNCS style. A presentation reflects recent outstanding work that has been published (or is accepted for publication) at a leading computer science conference or in a recognized scientific journal. Presentations to be included in the programme will be selected on the basis of a one-page abstract, which will also appear in the proceedings. For formatting and submission instructions see the detailed instructions for authors.

The proceedings of MEMICS'11 will be available at the workshop in printed form (consult instructions for authors). Selected regular papers from MEMICS'11 will be published by Springer in Lecture Notes in Computer Science (LNCS).

Moreover, a selection of the best regular papers will be done during the workshop, and their authors will receive a best paper award.

Authors of the best regular papers will have an opportunity to publish extended versions of their papers in a special section of the Computing and Informatics Journal.

The workshop is organized with a support of the project 102/09/H042 "Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems" of the Czech Science Foundation.

•