MEMICS provides a forum for doctoral students interested in applications of
mathematical and engineering methods in 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.
MEMICS submissions are traditionally invited from all areas of computer science (such as
parallel and distributed computing, computer networks, modern hardware and its design,
non-traditional computing architectures, information systems and databases, multimedia and
graphics, verification and testing, computer security, as well as all related areas of
theoretical computer science). In line with the tradition of MEMICS, several areas are,
however, given a special focus each year (which is reflected, e.g., in the choice of the
invited speakers). In 2016, these areas are:
- Logic and decision procedures
- Formal methods for complex and cyber-physical systems
- Valued structures
- Quantum information processing
- High-performance and cloud computing and their applications
Nevertheless, as stated above, submissions from any other area of computer science are welcome.
Students are invited to submit
- a regular paper,
- a presentation (of an outstanding work recently published or accepted), or
- a poster (presenting an ongoing work).
A regular paper
is a previously unpublished original work, not exceeding 12 pages in the LNCS style.
Simultaneous submissions of regular papers to other conferences with proceedings are not
allowed. A presentation
, submitted in the form of a one-page abstract, summarizes recent
outstanding work that has been accepted to a leading computer science conference or published
in a recognised scientific journal. A poster
presents an ongoing work. Please consult Instructions for authors
Journal post-proceedings are
currently under negotiation. Local proceedings containing accepted regular papers and
presentation abstracts will be available at the workshop in printed and/or electronic form.
|Submission of short abstracts of regular papers
|July 24 September 3, 2016
|Submission of full regular papers
|July 31 September 3, 2016
|Submission of one page abstracts of presentations
|August 28 September 3, 2016
|September 8 September 27, 2016
Camera ready papers/
abstracts of presentations
|September 15 October 11, 2016
|Registration, payment and UCT accomodation reservation deadline
||October 11, 2016
||October 21–23 2016