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
 

Friday, October 26, 2007
10:00-11:30Registration
11:30-12:30Lunch
Green LoungeAttic Classroom
12:45Opening Ceremony
13:00-14:00Tiziana Margaria-Steffen (Invited Talk)
Thinking in Services: Methodologies and Adoption
14:05-15:35L. Holík and A. Rogalewicz
Counterexample Analysi...
V. Babka and P. Tůma
Effects of Memory Sharing
V. Hrubá, B. Křena, and T. Vojnar
Using Java PathFinder for Self-healing Assurance
J. Gaura, M. Krumnikl, J. Platoš, and E. Sojka
Parallel Architectures in Digital Image Processing
P. Moravec and J. Šimša
Relaxed Cycle Condition Improves Partial Order Reduction
S. Kubisch, D. Timmermann, and E.  Heinrich
A Mesochronous Network-on-Chip for an FPGA
M. Kot
Notes on Modeling of V4DB in Uppaal
M. Straka and Z. Kotásek
Checker for Communication Protocol...
J. Glöckler
Languages Accepted by Forgetting Automata
I. Peterlík
Distributed Precomputation of State-space
H. Mlnařík
Syntactic Type Soundness in Structured Imperative Languages
J. Škarvada
RT Level Test Optimization for Low Power Consumption
15:35-16:00Coffee Break
Green Lounge
16:00-17:00Geraint Price (Invited Talk)
Security Without Authentication?
17:00-17:25D. Kouřil, L. Matyska, and M. Procházka (Presentation)
On Distribution Certificate Revocation Information in Grids
17:25-17:50T. Herrman (Presentation)
Circuit Partitioning Based on Formal Model
17:50-18:15M. Petrík (Presentation)
Many-valued Memory Circuits
19:00Dinner, Wine Bar

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