MEMICS: Mathematical and Engineering Methods in Computer Science



Past:   Proceedings on DBLP

Future:  Post a CFP for 2011 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
MEMICS 2010 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Oct 22, 2010 - Oct 24, 2010 Mikulov, Czech Republic Sep 8, 2010 (Sep 1, 2010)

Present CFP : 2010

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

October 22--24, 2010, Hotel Galant, Mikulov, Czech Republic

Second Call for Papers

The MEMICS 2010 workshop is organized jointly by the Faculty of Information
Technology, Brno University of Technology, and the Faculty of Informatics,
Masaryk University. MEMICS provides a forum for doctoral students
interested in applications of mathematical and engineering methods in
computer science.

Topics: Submissions are invited especially in the following (though not
exclusive) areas: computer security; software and hardware dependability;
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; as well as all areas of theoretical computer science
underlying the previously mentioned subjects. Moreover, this year, we
specifically invite submissions in computer graphics and vision, signal and
image processing, text and speech processing, human-computer interaction,
especially when related with security or parallel or distributed

Invited talks will be given by Alan Chalmers (Univ. of Warwick, UK) on
`Real Virtuality: High-fidelity multi-sensory virtual environments',
Andreas Steininger (Vienna Univ. of Technology, Austria) on `New approaches
to fault tolerant systems design', Antti Valmari (Tampere Univ. of
Technology, Finland) on `Recent results on DFA minimization and other block
splitting algorithms', and Stefan Wörz (Univ. of Heidelberg and DKFZ
Heidelberg, Germany) on `Model-based segmentation of biomedical images'.

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 at the workshop's web page. The proceedings will
be available at the workshop in printed form.

Important Dates
Regular paper registration: September 1, 2010
Regular paper and presentation submission: September 8, 2010
Review notification: September 22, 2010
Camera ready papers and presentations: September 30, 2010

Venue: The workshop will be held in Mikulov, a lovely town near the
Austrian borders at the edge of the Palava Landscape Protected Area.
Mikulov, situated in the centre of vineyard area, is also famous for
numerous examples of architecture. Tourists attractions include the Mikulov
Castle, the Piarist College, the Dietrichstein Sepulchre, and the former
Jewish ghetto.

The workshop is organized within project No. 102/09/H042 of the Czech
Science Foundation.

General Chair
LudÄ)k Matyska, Czech Rep.

Programme Committee Chairs
Michal Kozubek, Czech Rep.
Tomáš Vojnar, Czech Rep.
Pavel Zemcik, Czech Rep.

Organizing Committee Chair
Jan Staudek, Czech Rep.


Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
FCST 2017   5th International Conference on Foundations of Computer Science & Technology
CSCESM 2017   The Fourth International Conference on Computer Science, Computer Engineering and Social Media
ICTCS 2017   18th Italian Conference on Theoretical Computer Science
ICIAE 2018   The 6th IIAE International Conference on Industrial Application Engineering 2018
RP 2017   Reachability Problems
ICMEI 2017   【SCI Journals】2017 International Conference on Mechanical Engineering Innovations
EXPRESS/SOS 2017   Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
ICCAE - Ei 2018   2018 10th International Conference on Computer and Automation Engineering (ICCAE 2018)--Ei Compendex and Scopus
SBMF 2017   20th Brazilian Symposium on Formal Methods