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. MEMICS in
particular includes sessions on verification and dependability, computer
security, concurrent and distributed systems, computer networks, modern
hardware and non-traditional computing platforms, and related areas of
theoretical computer science. Besides a rich technical programme
(including invited talks
, regular papers
), MEMICS also offers friendly social activities
opportunities for meeting like-minded people.
Submissions are invited especially in the following (though not exclusive)
areas: software and hardware dependability, computer security, parallel and
distributed computing, formal analysis and verification, simulation, testing
and diagnostics, GRID computing, computer networks, modern hardware and its
design, non-traditional computing architectures, quantum computing, and all
related areas of theoretical computer science.
Several invited talks
by distinguished researchers
from the different areas of interest of the workshop will be a part of the
Students are invited to submit a regular paper
. 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
Important Dates & Deadlines
|Submission of short abstracts of regular papers - extended |
|September 13, 2009
|Submission of regular papers - extended
|September 20, 2009
|Submission of one page abstracts of presentations - extended
|September 27, 2009
|October 14, 2009
|Camera ready papers/abstracts of presentations |
|October 22, 2009
|Early registration |
|October 23, 2009
||November 13-15, 2009
Proceedings and the Best Paper Award
The proceedings of MEMICS'09 will be available at the workshop in printed form
(consult instructions for authors
A possibility of publishing selected regular papers from MEMICS'09 in an electronic journal is under negotiation.
Selected regular papers from MEMICS'09 will be electronically published
in the External Workshops series of Dagstuhl
and a further possibility of publishing some of the papers in an
electronic journal is under negotiation.
selection of the best regular papers will be done during the workshop, and their
authors will receive a best paper award.
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.