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
 
September 4, 2017
Registration open
You can register for the workshop.
August 29, 2017
EasyChair
Please, submit your contributions to MEMICS EasyChair.
August 22, 2017
Accommodation
We have updated information on accommodation.
MAIN FACTS
MEMICS IN BRIEF
PROCEEDINGS
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
TALK SCHEDULE
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