Past events

• Workshop on Uncertainty in Computation, Berkeley, CA, USA, October 2016. [Invited speaker]
• Trends '16: 5th IFIP WG 1.8 Workshop on Trends in Concurrency Theory, Quebec City, Canada, August 2016. [Invited speaker]
• CONCUR '16: 27th International Conference on Concurrency Theory, Quebec City, Canada, August 2016. [PC member]
• WATA '16: Conference on Weighted Automata: Theory and Applications, Aalborg, Denmark, April 2016. [Invited speaker]
• MFPS '15: 31st Conference on Mathematical Foundations of Programming Semantics, Nijmegen, The Netherlands, June 2015. [PC member]
• ISSTA '14: International Symposium on Software Testing and Analysis: Tool Demonstations, San Jose, CA, USA, July 2014. [PC member]
• ...
• QEST '10: 7th International Conference on the Quantitative Evaluation of SysTems, Williamsburg, VA, USA, September 2010. [PC member]
• SFM-10: School on Formal Methods, Bertinoro, Italy, June 21-26, 2010. [Invited lecturer]
• QAPL 2010: 8th Workshop on Quantitative Aspects of Programming Languages, Paphos, Cyprus, March 2010. [PC member]
• DDBP 2009: 2nd International Workshop on Dynamic and Declarative Business Processes, Auckland, New Zealand, September 1, 2009. [PC member]
• HSCC'09: 12th International Conference on Hybrid Systems: Computation and Control, San Francisco, USA, April 15-17, 2009. [PC member]
• QAPL 2009: 7th Workshop on Quantitative Aspects of Programming Languages, York, UK, March 28-29, 2009. [PC member]
• ICSOC 2008: 6th International Conference on Service Oriented Computing, Sydney, Australia, December 1-5, 2008. [PC member]
• DDBP 2008: 1st International Workshop on Dynamic and Declarative Business Processes, Muenchen, Germany, September 17, 2008. [PC member]
• QEST '08: 5th International Conference on the Quantitative Evaluation of SysTems, St Malo, France, September 14-17, 2008. [PC member]
• CONCUR 08: 19th International Conference on Concurrency Theory, Toronto, Canada, August 19-22, 2008. [PC co-chair]
• ABE 08: Workshop on Approximate Behavioural Equivalences, Toronto, Canada, August 18, 2008. [Chair]
• QAPL 2008: 6th Workshop on Quantitative Aspects of Programming Languages, Budapest, Hungary, March 29-30, 2008. [PC member]
• BPM 2007: 5th International Conference on Business Process Management, Brisbane, Australia, September 25-27, 2007. [PC member]
• CONCUR 2007: 18th International Conference on Concurrency Theory, Lisbon, Portugal, September 3-8, 2007. [PC member]
• QAPL 2007: 5th Workshop on Quantitative Aspects of Programming Languages, Braga, Portugal, March 24-25, 2007. [PC co-chair]
• QEST 2006: 3rd International Conference on Quantitative Evaluation of Systems, Riverside, USA, September 11-14, 2006. [PC member]
• CONCUR 2006: 17th International Conference on Concurrency Theory, Bonn, Germany, August 27-30, 2006. [PC member]
• ACSD 2006: 6th International Conference on Application of Concurrency to System Design, Turku, Finland, June 26-30, 2006. [PC member]
• QAPL 2006: 4th Workshop on Quantitative Aspects of Programming Languages, Vienna, Austria, April 1-2, 2006. [PC member]
• FSEN 2005: IPM International Workshop on Foundations of Software Engineering, Tehran, Iran, October 1-3, 2005. [PC member]
• WS-FM 2005: 2nd International Workshop on Web Services and Formal Methods, Versailles, France, September 1-3, 2005. [PC member]
• FMOODS 2005: 7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Athens, Greece, June 15-17, 2005. [PC member]
• ACSD 2005: 5th International Conference on Application of Concurrency to System Design, St Malo, France, June 6-9, 2005. [PC member]
• QAPL 2005: 3rd Workshop on Quantitative Aspects of Programming Languages, Edinburgh, UK, April 2-3, 2005. [PC member]
• CASCON 2004: 14th Annual IBM Centers for Advanced Studies Conference, Markham, Canada, October 4-7, 2004. [Chair of a workshop]
• ACSD 2004: 4th International Conference on Application of Concurrency to System Design, Hamilton, Canada, June 16-18, 2004. [PC member]
• CASCON 2003: 13th Annual IBM Centers for Advanced Studies Conference, Markham, Canada, October 6-9, 2003. [Chair of a workshop]
• EXPRESS 2001: 8th International Workshop on Expressiveness in Concurrency, Aalborg, Denmark, August 20, 2001. [PC member]
• PPDP 2000: ACM International Conference on Principles and Practice of Declarative Programming, Montreal, Canada, September 20-22, 2000. [General chair]
• REX School/Symposium ``A Decade of Concurrency: Reflections and Perspectives'', Noordwijkerhout, The Netherlands, June 1-4, 1993. [Member of organizing committee]