To provide a forum for doctoral students interested in applications of mathematical and engineering methods in computer science with a special focus on the various aspects of parallel and distributed systems.

Submissions are invited especially in the following but not exclusive areas: parallel and distributed computing, GRID computing, computer networks and advanced applications, models and techniques for formal verification, security; also simulation, testing and diagnostics, theory of formal languages, quantum computing, modern hardware concepts.

Invited lectures will be given by Javier Esparza (Munchen), Tiziana Margaria-Steffen (Potsdam), Geraint Price (London), Ian Taylor (Cardiff), and Bernhard Steffen (Dortmund).

Students are invited to register a paper before September 2, 2007 and submit the paper (not exceeding 8 pages in the LNCS style) before September 9, 2007.
Authors will be notified of acceptance by September 28, 2007. Detailed instructions are available at
http://www.memics.cz/, Instruction for Authors

Students may also present recent outstanding work, if it has been (or will be) presented at a leading computer science conference. Presentations to be included in the programme will be selected on the basis of a one-page abstract, which interested students are invited to submit before September 2, 2007. Authors will be notified of acceptance by September 28, 2007. The one-page abstracts will be published in the proceedings.

The proceedings will be available at the workshop in printed form. Selected best papers will be considered for journal publication (with a full journal review process).

The workshop will be held in Znojmo, a beautiful town on the Austrian borders famous for a number of examples of medieval architecture and nearby vineyards.

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

Jan Staudek, Masaryk University, Brno, Czech Republic

•