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
 

Sunday, October 28, 2007
Green Lounge
9:00-10:00Javier Esparza (Invited Talk)
Newtonian Program Analysis
10:00-10:45V. Brožek
Regularity in Model Checking PDA Games
J. Nešetřil and T. Valla
On Ramsey-type Positional Games
I. Fialík
Classical Winning Strategies for the Matching Game
10:45-11:15Coffee Break
Green Lounge
11:15-11:45A. Vescan
Components Ordered Assembly Construction
B. Zimmerova and P. Vařeková
Reflecting Creation and Destruction in CBSs Modelling
11:45-12:15Closing Ceremony and Prizes Announcement
12:30-14:00Lunch
14:00Departure, Bus to Brno

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