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
 

Saturday, October 22, 2016
Best paper candidates in bold
9:00-10:30Session III - Recommender Systems / Automata
Ladislav Peska: Using the Context of User Feedback in Recommender Systems

Ricardo Almeida: Reducing Nondeterministic Tree Automata by Adding Transitions

Jan Křetínský, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger: Index Appearance Record for Transforming Rabin Automata into Parity Automata (presentation)
10:30-11:00Coffee Break
11:00-12:00Roland Meyer: Summaries for Context-Free Games (invited talk)
12:00-13:00Lunch
13:00-14:30Tour of Telč underground
14:30-15:30Armin Biere: Bit-Blasting Considered Harmful (invited talk)
15:30-16:00Coffee Break
16:00-18:00Session IV - SMT solving & Logic
Jan Mrázek and Jiří Barnat: SMT Query Decomposition and Caching in Data-Symbolic Model Checking (presentation)

Martin Jonáš: Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams (presentation)

Jaroslav Bendík, Nikola Beneš, Jiří Barnat, and Ivana Černá: Finding Boundary Elements in Ordered Sets with Application to Requirements Analysis (presentation)

Vojtěch Havlena and Dana Hliněná: A Note on One Less Known Class of Generated Residual Implications
19:00 Conference Dinner

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