MEMICS 2009 - CFP - abstract registration Sep 7th
20.08.2009 Deadlines:
abstract registration: September 7, 2009
submissions: September 14, 2009
The aim: To provide 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.
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: Four invited talks
by distinguished researchers from the
different areas of interest of the workshop
will be a part of the programme:
* Mikolaj Bojanczyk (University of Warsaw, Poland):
Automata for XML.
* Michael Fellows (University of Newcastle, Australia):
The Lost Continent of Polynomial Time: Meta-theorems About FPT
Kernelization.
*
G?nther Raidl (Vienna University of Technology, Austria):
Combining Metaheuristics
with Mathematical Programming Techniques for
Solving Difficult Network Design
Problems.
* Andrey Rybalchenko (Max Planck Institute for Software Systems, Germany):
Automated methods for proving program safety and liveness.
Involvement: Students
are invited to submit a regular paper or a presentation.
A regular paper is a previously
unpublished original work, not exceeding
8 pages in the LNCS style. A presentation
reflects recent outstanding work
that has been published (or is accepted) at a
leading computer science
conference or in a recognized scientific journal, and
shall be submitted
in the form of a one-page abstract which will also appear in
the proceedings.
Detailed instructions are available at the web page http://www.memics.cz/.
The
proceedings will be available at the workshop in printed form. Moreover,
selected
regular papers from MEMICS 2009 will be published in the External
Workshops series
of Dagstuhl DROPS, http://drops.dagstuhl.de/, and a further
possibility of publishing
some of the papers in an electronic journal is under
negotiation.
Dates: The
deadline for the submissions is September 14, 2009, but all
regular papers also
have to be registered one week before this deadline.
The authors will be notified
about review results by October 14,
and the final camera-ready versions of all accepted
submissions are
expected by October 22.
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. Tourist attractions here include
the Gothic Church of
St. Nicholas, the town hall's Gothic tower, and the Romanesque
rotunda.
There is also an ancient castle atop a nearby hill.
The MEMICS 2009
workshop is organized jointly by the Faculty of Informatics,
Masaryk University
and the Faculty of Information Technology, Brno University
of Technology.
General
Chair
Tomas Vojnar, Brno University of Technology
Programme Committee Co-Chairs:
Petr
Hlineny, Masaryk University
Vaclav Matyas, Masaryk University
Tomas Vojnar, Brno
University of Technology
Organizing Committee Chair
Jan Staudek, Masaryk University
Zdroj: http://www.memics.cz/2009/Autor: JP