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
 
MAIN FACTS
MEMICS IN BRIEF
PROCEEDINGS
INVOLVEMENT
IMPORTANT DATES
REGISTRATION
ACCOMMODATION
PROGRAMME
INVITED SPEAKERS
TALK SCHEDULE
PASTIME
SOCIAL EVENTS
PHOTOGALLERY
LOCALE
VENUE
MAP
October 13—15, 2017    University Centre    Telc    Czech Republic
 

Invited speakers
Georg Weissenbacher
TU Wien
Topic: Interpolants, IC3

Loïc Paulevé
CNRS/U. Paris-Sud
Topic: Static analysis and concurrency

Alessandro Abate
(preliminary)
University of Oxford
Topic: Control theory

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