Call for Papers
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
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.
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,
and submit the paper (not exceeding 8 pages in the LNCS style)
before September 9, 2007
Authors will be notified of
September 28, 2007
. Detailed instructions are available at
http://www.memics.cz/, Instruction for
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
September 28, 2007. The one-page abstracts will be
published in the
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.
Programme Committee Chair
Programme Committee Co-Chairs
Organizing Committee Chair