Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks and tutorials, presentations, and posters), 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 2017, these areas are:
- Logic and interpolants in program analysis
- Control theory
- Static analysis and concurrency
- Formal methods for complex systems
Nevertheless, as stated above, submissions from any other area of computer science are welcome.
Students are invited to submit
- a presentation (of an outstanding work recently published or accepted), or
- a poster (presenting an ongoing work).
A presentation or a poster is submitted in the form of a one-page abstract.
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
Proceedings containing abstracts of accepted presentations and posters will be published in electronic form on the workshop web page.
|Submission of posters and presentation abstracts:
||September 10, 2017
|| September 17, 2017
||October 13–15 2017