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 computer security; verification, testing and dependability; concurrent and distributed systems; computer networks; text, speech, and image processing; multimedia and human-computer interaction; modern hardware and non-traditional computing platforms; as well as all areas of theoretical computer science underlying the previously mentioned subjects. 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: computer security; software and hardware dependability; 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; as well as all areas of theoretical computer science underlying the previously mentioned subjects. Moreover, this year, we specifically invite submissions in computer graphics and vision, signal and image processing, text and speech processing, human-computer interaction, especially when related with security or parallel or distributed processing.

Invited talks will be given by Alan Chalmers (Univ. of Warwick, UK) on `Real Virtuality: High-fidelity multi-sensory virtual environments', Andreas Steininger (Vienna Univ. of Technology, Austria) on `New approaches to fault tolerant systems design', Antti Valmari (Tampere Univ. of Technology, Finland) on `Recent results on DFA minimization and other block splitting algorithms', and Stefan Wörz (Univ. of Heidelberg and DKFZ Heidelberg, Germany) on `Model-based segmentation of biomedical images'.

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 will be available at the workshop in printed form.

The workshop will be held in Mikulov, a lovely town near the Austrian boarders at the edge of the Palava Landscape Protected Area. Mikulov, situated in the centre of vineyard area, is also famous for numerous examples of architecture. Tourists attractions include the Mikulov Castle, the Piarist College, the Dietrichstein Sepulchre, and the former Jewish ghetto.

Luděk Matyska, Masaryk University, Brno, Czech Republic

Jan Staudek, Masaryk University, Brno, Czech Republic

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.

•