Full Professor, Vice-Chair
| EWSA 2006 | Third European Workshop on Software Architecture, Languages, Styles, Models, Tools, and Applications, Nantes |
| SERA 2006 | 4th ACIS International Conference on Software Engineering Research, Management & Applications, Seattle |
| FORTE2006 | 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, Paris |
| QoSA 2006 | Second International Conference on the Quality of Software Architectures, Vasteras, Sweden |
| FACS 2006 | Third International Workshop on Formal Aspects of Component Software, Prague |
| FESCA 2006 | Formal Foundations of Embedded Software and Component-Based Software Architectures, Vienna |
| EDOC 2006 | Tenth International IEEE EDOC Conference "The Enterprise Computing Conference", Hong Kong |
| QoSA 2005 | First International Conference on the Quality of Software Architectures, Erfurt, Germany |
| EWSA 2005 | Second European Workshop on Software Architecture Pisa, Italy |
| EDOC 2005 | The 9th IEEE International EDOC Conference "The Enterprise Computing Conference", Enschede, The Netherlands |
| SERA 2003 | 1st ACIS International Conference on Software Engineering Research & Applications, San Francisco |
| USE 2003 | Workshop on Unanticipated Software Evolution at ETAPS2003, Warsaw |
| USE 2002 | First International Workshop on Unanticipated Software Evolution, Held in conjuction with ECOOP 2002, Malaga, Spain |
| HICSS-34 | Hawaii International Conference on System Sciences, Minitrack on Trading of Intangible Goods, Hawaii, USA, 2001 |
| HICSS-33 | Hawaii International Conference on System Sciences, Minitrack on Trading of Intangible Goods, Hawaii, USA, 2000 |
| FM'99 | Formal Methods World Congress, Toulouse, France, 1999 |
| Euro-PDS'98 | IASTED Conference (2nd European Parallel and Distributed Systems Conference), Vienna, Austria, 1998 |
| JMLC 1996 | Conference (Joint Modular Language Conference), Linz, Austria |
| SOFSEM | Annual Seminar on Current Trends in Theory and Practice of Informatics 2001 Piestany, Slovakia 1999 Milovy, Czech Republic 1998 Jasna dolina, Slovakia 1993-1996 Milovy, Czech Republic |
| SOFSEM'06 | chair of the track Dependable software and systems (33th Annual Conference on Current Trends in Theory and Practice of Informatics ), Milovy, Czech Republic |
| SOFSEM'02 | co-chair (29th Annual Conference on Current Trends in Theory and Practice of Informatics), Milovy, Czech Republic |
| SOFSEM'97 | co-chair (24th Annual Conference on Current Trends in Theory and Practice of Informatics), Milovy, Czech Republic |
| Korbar, J. | 1985 - 1989 | An Imperative model of Concurrency |
| Zemanek, P. | 1986 - 1989 | A Stochastic Model of Concurrency |
| Bartos, R. | 1987 - 1996 | Univ. of Denver, CO, USA |
| Fanta, R. | 1992 - 2000 | Wayne State Univ., MI, USA |
| Tuma, P. | 1994 - 1997 | Persistency in CORBA |
| Kleindienst, J. | 1992 - 1998 | The Bean Channel, Java Distributed Event Model |
| Balek, D. | 1994 - 2002 | The Role of Connectors in Component-Based Programming |
| Besta, M. | 1999 - 2005 | Wayne State Univ., MI, USA |
| Brada, P. | 1995 - 2003 | Versioning in Software Component Models |
| Prochazka, M. | 1997 - 2002 | Transactions in Software Components, Univ. of Evry, France |
| Visnovsky, S. | 1999 - 2002 | Modeling Software Components Using Behavior Protocols |
| Mencl, V. | 1998 - 2004 | Use Cases: Behavior Assembly, Behavior Composition and Reasoning |
| Hnetynka, P. | 2000 - 2005 | Making Deployment Process of Distributed Component-Based Software Unified |
| Adamek, J. | 2001 - 2006 | Behavior Composition in Component Systems |
| Bures, T. | 2002 - 2006 | Creating Connectors for Homogenous and Heterogenous Deployment |