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.