ACM SIGCHI General Interest Announcements (Mailing List)


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Jan Staudek <[log in to unmask]>
Reply To:
Jan Staudek <[log in to unmask]>
Mon, 1 Jun 2009 15:03:01 +0200
text/plain (91 lines)

           5th Doctoral Workshop on Mathematical and Engineering
                        Methods in Computer Science

                                MEMICS 2009

       November 13--15, 2009, Hotel Prestige, Znojmo, Czech Republic

             		      Call for Papers


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

* 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

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,, and a further
possibility of publishing some of the papers in an electronic journal is under

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


                To unsubscribe, send an empty email to
     mailto:[log in to unmask]
    For further details of CHI lists see