Invited talks

• SFM'11:CONNECT (SFM), June/July 2011, Bertinoro, Italia
• Computability in Europe: Models of Computation in Context (CiE), June/July 2011, Sofia, Bulgaria
• 8th International Conference on Integrated Formal Methods (IFM), October 2010, Nancy, Fance
• School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages (SFM-10:QAPL), June 2010, Bertinoro, Italy
• Weighted Automata: Theory and Applications (WATA), May 2010, Leipzig, Germany
• Ph.D. School: Quantitative Model Checking (QMC), March 2010, Kopenhagen, Denmark
• Winter School Synthesis and Analysis of Component Connectors (SYANCO), February 2010, Berlin, Germany
• 20th International Conference on Concurrency Theory (CONCUR), September 2009, Bologna, Italy
• 11th Workshop on Descriptional Complexity of Formal Systems: "Expressiveness, Efficiency, and Decidability" (DCFS), July 2009, Magdeburg, Germany
• 35th International Conference in Theory and Practice of Computer Science, Software seminar (SOFSEM), January 2009, Spindleruv Mlyn, Czech Republic
• GI 17. Theorietag (GI), September 2007, Leipzig, Germany
• IPA Herfstdagen on Stochastic Systems (IPA), November/December 2006, Bergen, The Netherlands
• International Workshop on Advances in Model Checking, in Honour of Gerald J. Holzmann, November 2006, Twente, Enschede, The Netherlands
• Weighted Automata: Theory and Applications (WATA), March 2006, Leipzig, Germany
• First Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), Oktober 2005, Znojmo, Czech Republic
• 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), September 2005, Lisbon, Portugal
• Journées Systèmes Infinis, March 2005, Cachan, France
• 20th Conference on Mathematical Foundations of Programming Languages (MFPS), 2004, Pittsburgh, USA
• First EEF/Euro Summer School on Trends in Computer Science, School on Formal Methods and Performance Analysis (EEF), July 2000, Nijmegen, The Netherlands
• IPA Spring Days on Probabilistic Methods, April 1999, Mierlo, The Netherlands