MEMICS 2008

10:00-11:30	Registration
11:30-12:30	Lunch
	Green Lounge	Attic Classroom
12:45	Opening Ceremony
13:00-14:00	Tiziana Margaria-Steffen (Invited Talk) Thinking in Services: Methodologies and Adoption
14:05-15:35	L. 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:00	Coffee Break
	Green Lounge
16:00-17:00	Geraint Price (Invited Talk) Security Without Authentication?
17:00-17:25	D. Kouřil, L. Matyska, and M. Procházka (Presentation) On Distribution Certificate Revocation Information in Grids
17:25-17:50	T. Herrman (Presentation) Circuit Partitioning Based on Formal Model
17:50-18:15	M. Petrík (Presentation) Many-valued Memory Circuits
19:00	Dinner, Wine Bar

•

Photos and Design