MEMICS
MEMICS
Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2011
2010
2009
2008
2007
2006/2005
NEWS
 
October 26—28, 2007    Prestige Hotel    Znojmo    Czechia
 

Presentations
List of accepted presentations
  • Martin Kuba, Daniel Kouřil, Michal Procházka, Sealed Grid with Downloadable Services
  • Jan Sedmidubsky, Querying Similarity in Metric Social Networks
  • Milan Petrik, Many-valued memory circuits---implementation in the model of many-valued logical circuits
  • Tomas Herrman, Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties
  • Tomáš Brázdil and Vojtěch Forejt, Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
  • Maria Bulińska, Some Results on Generative Capacity and Computational Complexity of Lambek Calculus with Assumptions
  • Daniel Kouřil, Luděk Matyska, Michal Procházka, On Distribution Certificate Revocation Information in Grids

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