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
2015
2014
2012
2011
2010
2009
2008
2007
NEWS
 
December 21, 2014
MEMICS 2015
We are glad to invite you to MEMICS 2015.
November 21, 2014
Best paper awards
Best papers announced.
Read past news
MAIN FACTS
MEMICS IN BRIEF
CALL FOR PAPERS
BEST PAPERS AWARDS
PROCEEDINGS
INVOLVEMENT
IMPORTANT DATES
INSTRUCTIONS FOR AUTHORS
REGISTRATION
ACCOMMODATION
PROGRAMME
INVITED SPEAKERS
COMMITTEES
TALK SCHEDULE
PAPERS
PRESENTATIONS
PASTIME
SOCIAL EVENTS
LIST OF PARTICIPANTS
PHOTOGALLERY
LOCALE
VENUE
MAP
TRAVEL INSTRUCTIONS
CONTACT US
October 17—19, 2014  •  University Centre  •  Telc  •  Czech Republic
 

Best Papers Awards
The Best paper award came this year to the following papers:
  • Petr Bauch, Vojtěch Havel, and Jiří Barnat. LTL Model Checking of LLVM Bitcode with Symbolic Data
  • David Wehner.A New Concept in Advice Complexity of Job Shop Scheduling
Sponsors
•
 
 
MEMICS Photo
 
MEMICS
 
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2014
FIFIT
Photos and Design