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
2016
NEWS
 
October 31, 2016
Conference photos
Conference photos are online.
October 27, 2016
Post-conference information
We have updated information on best paper awards and proceedings.
MAIN FACTS
MEMICS IN BRIEF
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
PAPERS
PRESENTATIONS
PASTIME
SOCIAL EVENTS
LOCALE
VENUE
MAP
October 21—23, 2016    University Centre    Telc    Czech Republic
 

Sunday, October 23, 2016
Best paper candidates in bold
9:00-10:30Session V - Verification & Model Checking
Lukáš Charvát, Aleš Smrčka, and Tomáš Vojnar: HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems

Karlheinz Friedberger and Dirk Beyer: A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker

Martin Demko, David Šafránek, Luboš Brim, Samuel Pastva, Nikola Beneš, and Matej Hajnal: A Model Checking Approach to Dynamical Systems Analysis (presentation)
10:30-11:00Coffee Break
11:00-12:00Luca Bortolussi: The machine learning way to formal verification (invited talk)
12:00-12:15Closing & Best Paper/Presentation/Poster Awards
12:20-13:00Lunch

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