
in Brief
The aim
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, and
presentations), MEMICS also offers friendly
social activities and exciting
opportunities for meeting like-minded people.
Topics
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.
Invited talks
Several invited talks by distinguished researchers
from the different areas of interest of the workshop will be a part of the
programme.
Involvement
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.
Important Dates & Deadlines
| Submission of short abstracts of regular papers |
September 1, 2010 |
| Submission of regular papers
|
September 8, 2010 |
| Submission of one page abstracts of presentations
|
September 8, 2010 |
| Author notification
|
September 22, 2010 |
Camera ready papers/ abstracts of presentations |
September 30, 2010 |
| Early registration |
October 1, 2010 |
| Workshop |
Ostober 22-24, 2010 |
Support
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.
•