Editorial Boards
Steering Committees
Current PCs
2010
Past
- International Symposium on Software Testing and Analysis 2009
- International Symposium on Formal Methods 2009
- International Conference on Software Engineering 2009 New Ideas and Emerging Trends
- Program Chair for ACM/IEEE International Conference on Automated Software Engineering 2008
- International Conference on Software Engineering 2007
- International Conference on Software Engineering – Experience Reports 2005
- ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) 2004
- International Workshop on Parallel and Distributed Model Checking (PDMC) 2003, 2004 and 2008
- SPIN 2000, 2001, 2002, 2005, 2006 and 2007
- ACM/IEEE International Conference on Automated Software Engineering 2001, 2002, 2003, 2005, 2006, 2007 and chair 2008
- Infinity Workshop 2004 and 2005
- Formal Methods for Industrial Critical Systems 2002 and 2007
- Model Checking and Artificial Intelligence 2002
- Tools and Algorithms for Construction and Analysis of Systems 2003
- IBM Verification Conference 2005, 2006, 2007 and 2008
- PROMISE Workshop 2006, 2007, 2008
- PADTAD Workshop 2006, 2007 and 2008
- Model-Based Testing and Object-Oriented Systems 2007
- Parallel and Distributed Systems: Testing and Debugging 2006
- International Workshop on Software Quality Assurance (SOQUA) 2006 and 2007
- Brazilian Symposium on Formal Methods 2007 and 2008
- 4th Asia-Pacific Software Engineering Conference (APSEC) 2007 and 2008