My Future and Past Programme Committee Duties

Future

FASE 2011 (link to FASE 2010)
The 14t'h International Conference on Fundamental Approaches to Software Engineering.
Saarbrucken, Germany, March 26 - April 4, 2011.
In conjunction with the The European Joint Conferences on Theory and Practice of Software (ETAPS 2011).

Workshop on Autonomous Systems 2011
Saarbruecken, Germany, March/April, 2011.
In conjunction with the The European Joint Conferences on Theory and Practice of Software (ETAPS 2011).

ICTSS 2010
IFIP 22nd International Conference on Testing Software and Systems.
Natal, Brazil, November 8-10, 2010.

HVC 2010
The IBM Verification Conference 2010
Haifa, Israel, October 5-7, 2010

SSV 2010
Systems Software Verification.
Vancouver, BC, Canada, October 4-6, 2010.
In conjunction with the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2010).

SEFM 2010
8th IEEE International Conference on Software Engineering and Formal Methods
Pisa, Italy, September 13-17, 2010

PADTAD 2010
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging.
Trento, Italy, July 12-13, 2010.
In conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2010).

MoChArt 2010
Sixth Workshop on Model Checking and Artificial Intelligence.
Atlanta, Georgia, USA, July 11-12, 2010.
In conjunction with the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010).

DRHE 2010
The Seventh IARP Workshop on Technical Challenges for Dependable Robots in Human Environments.
Toulouse, France, June 16-17, 2010.

MSVVEIS 2010
The 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Funchal, Madeira - Portugal, June 8-12, 2010

PLDI 2010
The 2010 Conference on Programming Language Design and Implementation.
External Review Committee member.
Toronto, Canada, June 5-10, 2010.

NFM 2010
Second NASA Formal Methods Symposium.
Washington D.C, USA, April 13 - 15, 2010.

Past

SATE 2009
Static Analysis Tool Exposition Workshop.
Arlington, Virginia, USA, November 6, 2009.

VVPS 2009
The 2nd International Workshop on Verification and Validation of Planning and Scheduling Systems.
Thessaloniki, Greece, September 19-23, 2009. Satellite event of ICAPS'09, the 19th International Conference on Automated Planning and Scheduling.

PADTAD 2009
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging.
Chicago, Illinois, USA, July 19-20, 2009.
In conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2009).

CAV 2009
The 21'st International Conference on Computer Aided verification.
Grenoble, France, June 26-July 2, 2009.

RV 2009
The 9th International Workshop on Runtime Verification.
Grenoble, France, June 26-June 28, 2009.

SPIN 2009
16th International SPIN Workshop on Model Checking of Software.
Grenoble, France, June 26-28, 2009, Co-located with CAV 2009.

MSVVEIS 2009
The Seventh International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Milano, Italy, May 6-7, 2009

NFM 2009
The 1'st NASA Formal Methods Symposium.
Mountain View (Silicon Valley), California, USA, April 6-8, 2009.

VMCAI 2009
The 10th Intl. Conference on Verification, Model Checking, and Abstract Interpretation
Savannah, GA, January 18-20, 2009, prior to POPL (on 21-23 Jan)

SEFM 2008
6th IEEE International Conference on Software Engineering and Formal Methods
Cape Town, South Africa, November 10-14, 2008

HVC 2008
The IBM Verification Conference 2008
Haifa, Israel, October 28-30, 2008

ICSEA 2008
The Third International Conference on Software Engineering Advances
Sliema, Malta, October 26-31, 2008

SLE 2008
1st International Conference on Software Language Engineering
Toulouse, France, September 29-30, 2008

PADTAD 2008
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Seattle, Washington, USA, July 20-21, 2008
In conjunction with International Symposium on Software Testing and Analysis (ISSTA 2008)

MSVVEIS 2008
The Sixth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Barcelona, Spain, June 12-16, 2008

SAW 2008
ACM SIGPLAN Static Analysis Workshop
Co-located with PLDI 2008
Tucson, Arizona, June 12, 2008

AOSD 2008
Seventh International Conference on Aspect-Oriented Software Development
Brussels, Belgium, March 31 - April 4, 2008

CONFENIS 2007
The IFIP International Conference on Research and Practical Issues of Enterprise Information Systems
Beijing, China, October 14-16, 2007

The IBM Verification Conference 2007
Haifa, Israel, October 23-25, 2007

SEFM 2007
5th IEEE International Conference on Software Engineering and Formal Methods
London, UK, September 10-14, 2007

ICSEA 2007
International Conference on Software Engineering Advances
Cap Esterel, French Riviera, August 25-31, 2007

PADTAD 2007
Parallel and Distributed Systems: Testing and Debugging
London, England, July 09, 2007

MSVVEIS 2007
The Fifth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Funchal, Madeira, Portugal, June 12-13, 2007

The IBM Verification Conference 2006
Haifa, Israel, October 23-26, 2006

ICSEA 2006
International Conference on Software Engineering Advances
Tahiti, French Polynesia, October 29 - November 1, 2006

SEFM 2006
4th IEEE International Conference on Software Engineering and Formal Methods
Pune, India, September 11-15, 2006

FMICS 2006
11th International Workshop on Formal Methods for Industrial Critical Systems
Bonn, Germany, August 26-27, 2006

PADTAD 2006
Parallel and Distributed Systems: Testing and Debugging
Portland, Maine, USA, July 17, 2006

MSVVEIS 2006
The Fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Paphos, Cyprus, May 23-24, 2006

TACAS 2006
The 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

RV 2005
The 5th International Workshop on Runtime Verification.

VVEIS 2005
The 3rd International Workshop on Verification and Validation of Enterprise Information Systems.

SEFM 2005
3rd IEEE International Conference on Software Engineering and Formal Methods.

FATES 2005
Formal Approaches to Testing of Software.

ICI 2004
International Conference on Informatics.

CAV 2004
The 16th Conference in Computer Aided verification.

DAW 2004
Dynamic Aspects Workshop, affiliated with AOSD'04.

SFEDL 2004
Semantic Foundations of Engineering Design Languages, affiliated with ETAPS'04.

ESEC/FSE'03
4th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering.

REOS'03
Workshop on Requirements Engineering and Open Systems.
In conjunction with 11th IEEE International Requirements Engineering Conference (RE03).

DSN'03
Workshop
on Model Checking for Dependable Software-Intensive Systems.

ASARTI'03
Advancing the State-of-the-Art in Run-Time Inspection.

FMPPTA'03
The 8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications.

CAV 2002
The 14th Conference in Computer Aided verification.

RT-TOOLS 2002
Workshop on Real-Time Tools.

FMPPTA 2002
(follow links to previous workshops) The 7th International Workshop on Formal Methods for Parallel Programming: Theory and Applications.

SPIN 2002
The 9th International SPIN Workshop on Model Checking of Software.

SPIN 2001
The 8th International SPIN Workshop on Model Checking of Software.

FMPPTA 2001
(follow links to previous workshops) 6th International Workshop on Formal Methods for Parallel Programming: Theory and Applications.

MVI 2001
Model-based Validation of Intelligence.

Lfm'2000
Fifth NASA Langley Formal Methods Workshop.

PATV'2000
The First International Workshop on Automated Program Analysis, Testing and Verification.

JFLA'2000
Les onzièmes Journées Francophones des Langages Applicatifs.