Proceedings of the Conference Workshop on Formal Models - Kolář, Dušan; Meduna, Alexander (MARQ, 2006)