MEMICS
MEMICS
Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2011
2010
2009
2008
2007
2006/2005
NEWS
 
January 6, 2010
Photos
Have a look at MEMICS 2009 photos.
December 23, 2009
DROPS
Selected MEMICS'09 papers have just appeared in a distinguished workshop postproceedings published by Dagstuhl Research Online Publication Server DROPS.
MAIN FACTS
MEMICS IN BRIEF
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
PASTIME
SOCIAL EVENTS
LOCALE
VENUE
November 13—15, 2009    Prestige Hotel    Znojmo    Czechia
 

Call for Papers
The aim
MEMICS provides 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. MEMICS in particular includes sessions on verification and dependability, computer security, concurrent and distributed systems, computer networks, modern hardware and non-traditional computing platforms, and related areas of theoretical computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people.
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 piece of work with original results, not exceeding 8 pages in the LNCS style. A presentation reflects recent outstanding work that has been published (or is accepted for publication) at a leading computer science conference or in a recognized scientific journal. Presentations to be included in the programme will be selected on the basis of a one-page abstract, which will also appear in the proceedings. For formatting and submission instructions see the detailed instructions for authors.
Proceedings
The proceedings will be available at the workshop in printed form. Moreover, selected regular papers from MEMICS'09 will be electronically 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 negotiation.
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.
General Chair
Tomáš Vojnar, Brno University of Technology, Brno, Czech Republic
Programme Committee Chairs
Organizing Committee Chair
Jan Staudek, Masaryk University, Brno, Czech Republic
Support
The workshop is organized with a support of the project 102/09/H042 "Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems" of the Czech Science Foundation.

 
 
MEMICS Photo
 
MEMICS
 
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2009
FIFIT
Photos and Design