Professional Activities

• 1st International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2012) Organizing Co-Chair, PC member
• 12th Meeting on Mathematics of Language (MOL 12) Organizing Co-Chair, PC member
• 8th International Symposium on Automated Technology for Verification and Analysis (ATVA2010) PC member
• 6th International Symposium on Automated Technology for Verification and Analysis (ATVA2008) PC member
• 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2008) PC member
• 5th International Symposium on Automated Technology for Verification and Analysis (ATVA2007) PC member
• 16th International Conference on Rewriting Techniques and Applications (RTA05) Organizing committee member