MEMICS
MEMICS
Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2017
NEWS
 
October 13, 2017
Proceedings
The proceedings of MEMICS 2017 workshop are available for download.
October 2, 2017
Programme online
We have published workshop programme.
MAIN FACTS
MEMICS IN BRIEF
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
PASTIME
SOCIAL EVENTS
PHOTOGALLERY
LOCALE
VENUE
MAP
October 13—15, 2017    University Centre    Telc    Czech Republic
 

MEMICS in Brief
The aim
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.
Topics
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.
Involvement
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. A presentation 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 before submission.
Important Dates
Submission of posters and presentation abstracts: September 10, 2017
Author notification: September 17, 2017
Workshop October 13–15 2017
Proceedings containing abstracts of accepted presentations and posters will be published in electronic form on the workshop web page.

 
 
 
MEMICS
 
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2017
FIFIT
Design