Second Call for Papers

                           3rd Doctoral Workshop
        on Mathematical and Engineering Methods in Computer Science
                                MEMICS 2007

                           http://www.memics.cz/

               October 26--28, 2007, Znojmo, Czech Republic

The MEMICS 2007 workshop is organized jointly by the Faculty of
Informatics, Masaryk University, and the Faculty of Information Technology,
Brno University of Technology.

The aim: 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.

Topics: 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), and Ian Taylor
(Cardiff).

Regular papers: 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/.

Presentations: 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.
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).

Venue: 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
Ludek Matyska, Brno

Programme Committee Co-Chairs
Milan Ceska, Brno
Petr Hlineny, Brno
Mojmir Kretinsky, Brno

Organizing Committee Chair
Jan Staudek, Brno

Important Dates
Paper registration deadline:  September 2, 2007
Paper submission deadline:    September 9, 2007
Author notification:          September 28, 2007
Camery ready paper due:       October 5, 2007
Workshop dates:               October 26-28, 2007 

More information: http://www.memics.cz