Programme Committee Services

NFM 2025
17th NASA Formal Methods Symposium.
Hampton Roads, Virginia, USA, USA, June 11-13, 2025.

SAC-SVT 2025
Symposium on Applied Computing, Software Verification and Testing Track.
Catania, Sicily, March 31 - April 4, 2025.

RV 2024
24th International Conference on Runtime Verification.
Istanbul, Turkey, October 15-18, 2024.

VORTEX 2024
7th Workshop on Verification and Monitoring at Runtime Execution.
Vienna, Austria, September 16-20, 2024.

I-Day@FM 2024
Industry Day of FM'24.
Milan, Italy, September 9-13, 2024.

FMICS 2024
29th International Conference on Formal Methods for Industrial Critical Systems.
Co-located with FM 2024 in Milan, Italy, September 9-11, 2024.

SMC-IT 2024
IEEE Space Mission Challenges for Information Technology - IEEE Space Computing Conference
Mountain View, CA, USA - July 15-19, 2024.

ABZ 2024
10th International Conference on Rigorous State Based Methods.
Bergamo, Italy, June 25—28, 2024.

NFM 2024
16th NASA Formal Methods Symposium.
Moffett Field, California, USA, June 4-6, 2024.

SAC-SVT 2024
Symposium on Applied Computing, Software Verification and Testing Track, 2024, Avila, Spain, April 8 - April 12, 2024.

SEW-43 - 2023
43rd Annual IEEE Software Engineering Workshop.
Warsaw, Poland, 17–20 September, 2023

VORTEX 2023
6th Workshop on Verification and Monitoring at Runtime Execution
Seattle, Washington, United States, July 17 - 21, 2023.

Jan65 2023 Festive Colloquium for Prof. Dr. Jan Peleska on the occasion of his 65 Birthday.
Bremen, Germany, March 3, 2023.

RV 2023
23rd International Conference on Runtime Verification.
Thessaloniki, Greece, October 4-6, 2023.

AMDE 2023
International Workshop on the Advancements in Model Driven Engineering & software engineering.
Leuven, Belgium, March 15-17, 2023.

SMC-IT 2023
IEEE Space Mission Challenges for Information Technology - IEEE Space Computing Conference
Pasadena, CA, USA - July 18-21, 2023.

FMICS 2023
International Conference on Formal Methods for Industrial Critical Systems.
Antwerp, Belgium, September 20-22, 2023.

ABZ 2023
9th International Conference on Rigorous State Based Methods.
Nancy, France, May 30 - June 2, 2023.

NFM 2023
14th NASA Formal Methods Symposium.
Houston, Texas, USA, May 16-18, 2023.

SAC-SVT 2023
Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2023), Tallinn, Estonia, March 27-31, 2023.

SPIN 2023
29th International Symposium on Model Checking of Software.
Paris, France, April 26-27, 2023.

ICTSS 2022
34th IFIP International Conference on Testing Software and Systems.
Almeria, Spain, September 27-29, 2022.

SPIN 2022
28th International Symposium on Model Checking of Software.
Virtual Symposium, May 21, 2022.

SEW-42 - 2022
42st Annual IEEE Software Engineering Workshop.
Sofia, Bulgaria, September 4 - 7, 2022

RV 2022
22nd International Conference on Runtime Verification.
Tbilisi, Georgia, September 28-30, 2022.

SAC-SVT 2022
Software Verification and Testing at SAC 2022. Brno, Czech Republic, April 25 - April 29, 2022.

TACAS 2022
The 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Munich, Germany, April 2-7 2022.

I-Day@FM 2021
Industry Day of FM'21.
Online, during November 20-26, 2021.

RV 2021
21st International Conference on Runtime Verification.
Los Angeles, USA, October 11-14, 2021.

ICTAC 2021
18th International Colloquium on Theoretical Aspects of Computing.
Online, September 6-10, 2021.

SEW-41 - 2021
41st Annual IEEE Software Engineering Workshop.
Online, September 2 - 5, 2021

Europar 2021
27th International European Conference on Parallel and Distributed Computing.
Lisbon, Portugal, August 30 - September 3, 2021.

FMICS 2021
26th International Conference on Formal Methods for Industrial Critical Systems.
Paris, France, August 23-27, 2021.

TAP 2021
15th International Conference on Tests & Proofs.
Online, June 21-25, 2021.

ABZ 2021
7th International Conference on Rigorous State Based Methods.
Ulm, Germany, June 7-11, 2021.

NFM 2021
13th NASA Formal Methods Symposium.
Norfolk, VA, USA, May 24-28, 2021.

TACAS 2021
The 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Luxembourg, March 27 - April 1, 2021.

AMDE 2021
International Workshop on the Advancements in Model Driven Engineering.
Warsaw, Poland, March 23 - 26, 2021.

SAC-SVT 2021
Software Verification and Testing at SAC 2021. Gwangju, Korea, March 22-26, 2021.

MODELSWARD 2021
9th International Conference on Model-Driven Engineering and Software Development.
Online, February 89-10, 2021.

TASE 2020
The 14th International Symposium on Theoretical Aspects of Software Engineering.
December 11-13, 2020, Hangzhou, China

RV 2020
20th International Conference on Runtime Verification.
Los Angeles, USA, October 6-9, 2020.

SEW-40 - 2020
40th Annual IEEE Software Engineering Workshop.
Sofia, Bulgaria, September 6 - 9, 2020

FMICS 2020
25th International Conference on Formal Methods for Industrial Critical Systems.
Vienna, Austria, September 2-3, 2020.

NFM 2020
12th NASA Formal Methods Symposium.
NASA Ames Research Center, Moffett Field, CA, USA. May 11-15, 2020.

FMFun 2019
Formal Methods - Fun for Everybody.
Bergen, Norway, 2-3 December 2019.

MODELSWARD 2020
8th International Conference on Model-Driven Engineering and Software Development.
Valletta, Malta, February 25-27, 2020.

FTSCS 2019
Seventh International Workshop on Formal Techniques for Safety-Critical Systems.
Shenzhen, China, November 9, 2019.

FMi 2019
The 7th IEEE International Workshop on Formal Methods Integration.
Los Angeles, California, USA, July 30 - Aug 1, 2019.

RV 2019
19th International Conference on Runtime Verification.
Porto, Portugal, October 8-11, 2019.

SPIN 2019
26th International SPIN Symposium on Model Checking of Software.
Beijing, China, July 15-19, 2019.

InterAVT 2019
Interactive Workshop on the Industrial Application of Verification and Testing.
Prague, Czech Republic, April 6-11, 2019.

TAP 2019
13th International Conference on Tests & Proofs.
Porto, Portugal, October 9-11, 2019.

ISSRE 2019
30th IEEE International Symposium on Software Reliability Engineering.
Berlin, Germany, October 28-31, 2019.

SEFM 2019
17th International Conference on Software Engineering and Formal Methods.
Oslo, Norway, September 16-20, 2019.

ScottFest 2019
Conference in honor of Scott Smolka, on occasion of his 65th birthday.
Stony Brook, NY, August 1-2, 2019.

SEW 39 - 2019
39th Annual IEEE Software Engineering Workshop.
Leipzig, Germany, September 1 - 4, 2019

FM 2019
3rd World Congress on Formal Methods.
Porto, Portugal, October 7-11, 2019.

CAV 2019
The 31'st International Conference on Computer Aided verification.
New York City, USA, July 13-18 2019.

NFM 2019
11th NASA Formal Methods Symposium.
Rice University, Houston, TX, May 7-9, 2019.

TACAS 2019
The 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Praque, Czech Republic, April 6-12, 2019.

MODELSWARD 2019
7th International Conference on Model-Driven Engineering and Software Development
Prague, Czech Republic, February 20-22, 2019.

FTSCS 2018
Sixth International Workshop on Formal Techniques for Safety-Critical Systems.
Gold Coast, Australia, November 16, 2018.

RV 2018
18th International Conference on Runtime Verification, including the RV competition review panel.
Limassol, Cyprus on 10-13 November 2018.

SEW 38 - 2018
38th Annual IEEE Software Engineering Workshop.
Poznan, Poland, 9 - 12 September, 2018.

ICTSS 2018
20th International Conference on Testing Software and Systems.
Paris, France, August 27-28, 2018.

VORTEX 2018
3rd Workshop on Runtime Verification for Object-Oriented Languages and Systems
Amsterdam, Netherlands, July 16-21, 2017.

TAP 2018
12th International Conference on Tests & Proofs.
Toulouse, June 27 - 29, 2018.

SEFM 2018
16th International Conference on Software Engineering and Formal Methods
Toulouse, France, June 27-29, 2018.

SPIN 2018
25th International SPIN Symposium on Model Checking of Software.
Malaga, Spain, June 20-22, 2018.

ABZ 2018
6th International ABZ Conference on ASM, Alloy, B, TLA, VDM, Z.
Southampton, UK, June 5-8, 2018.

NFM 2018
10th NASA Formal Methods Symposium.
Newport News, VA, USA, April 17-19, 2018.

SAC SVT 2018
Software Verification and Testing at SAC 2018, Pau, France, April 9 - 13, 2018.

TACAS 2018
The 24st International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Thessaloniki, Greece, April 14-21, 2018.

MODELSWARD 2018
6th International Conference on Model-Driven Engineering and Software Development
Funchal, Madeira, Portugal, January 22-24, 2018.

SEFM 2017
15th International Conference on Software Engineering and Formal Methods
Trento, Italy, September 4-8, 2017.

FMi 2017
The 5th IEEE International Workshop on Formal Methods Integration
San Diego, USA, August 4-6, 2017.

VORTEX 2017
2nd Workshop on Runtime Verification for Object-Oriented Languages and Systems
Barcelona, Spain, June 20, 2017.

ECOOP 2017
European Conference on Object-Oriented Programming
Barcelona, Spain, June 18-23, 2017.

NFM 2017
9th NASA Formal Methods Symposium.
NASA Ames Research Center, Moffett Field, CA, USA, May 16-18, 2017.

TACAS 2017
The 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Uppsala, Sweden, April 23-29, 2017.

SAC-SVT 2017
Software Verification and Testing
Marrakech, Morocco, April 3 - 7, 2017.

MODELSWARD 2017
5th International Conference on Model-Driven Engineering and Software Development.
Porto, Portugal, February 19-21, 2017.

FTSCS 2016
Fifth International Workshop on Formal Techniques for Safety-Critical Systems.
Tokyo, Japan, November 14, 2016.

ISSRE 2016
27th IEEE International Symposium on Software Reliability Engineering.
Ottawa, Canada, October 23-27, 2016.

ICTSS 2016
IFIP 28th International Conference on Testing Software and Systems.
Graz, Austria, October 17-19, 2016.

ATVA 2016
14th International Symposium on Automated Technology for Verification and Analysis.
Shanghai, China, October 12-15, 2016.

ISoLA 2016
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Corfu, Crete, October 5-14, 2016.

RV 2016
16th International Conference on Runtime Verification.
Madrid, Spain, September 23-30, 2016.

SEW-36 - 2016
37th Annual IEEE Software Engineering Workshop.
Gdansk, Poland, September 11 - 14, 2016.

FORMABS 2016
Formal Methods for Analysis of Business Systems
Singapore, September 3, 2016.

FMi 2016
4th IEEE International Workshop on Formal Methods Integration.
Pittsburgh, Pennsylvania, USA, July 28-30, 2016.

VORTEX 2016
1st Workshop on Runtime Verification for Object-Oriented Languages and Systems
Rome, Italy, July 18, 2016.

SEFM 2016
14th International Conference on Software Engineering and Formal Methods.
Vienna, Austria, July 4-8, 2016.

SafePlan 2016
Planning, Scheduling and Dependability in Safe Human-Robot Interactions
London, UK, June 13, 2016.

NFM 2016
8th NASA Formal Methods Symposium.
Minneapolis, MN, USA, June 7-9, 2016.

PrePost 2016
1st Workshop onPre- and Post-Deployment Verification Techniques.
Reykjavik, Iceland, June 1-3, 2016.

ABZ 2016
5th International ABZ Conference on ASM, Alloy, B, TLA, VDM, Z.
Linz, Austria, May 23-27, 2016.

EITEC 2016
4rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems.
Vienna, Austria, April 11, 2016.

SAC-SVT 2016
Software Verification and Testing.
Pisa, Italy, April 3-8, 2016.

SAC-MUSEPAT 2016
Multicore Software Engineering, Performance, Applications, and Tools.
Pisa, Italy, April 3-8, 2016.

MODELSWARD 2016
4th International Conference on Model-Driven Engineering and Software Development.
Rome, Italy, February 19-21, 2016.

FTSCS 2015
Fourth International Workshop on Formal Techniques for Safety-Critical Systems.
Paris, France, November 6-7, 2015.

RV 2015
15th International Conference on Runtime Verification.
Vienna, Austria, September 22-25, 2015.

SYNASC 2015
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Timisoara, Romania, September 21-24, 2015.

SEFM 2015
13th International Conference on Software Engineering and Formal Methods.
York, UK, September 7-11, 2015.

SPIN 2015
22nd International SPIN Symposium on Model Checking of Software.
Stellenbosch, South Africa, August 24-26, 2015.

FMi 2015
3rd IEEE International Workshop on Formal Methods Integration.
San Francisco, California, USA, August 13-15, 2015.

SummersSim 2015
Summer Simulation Multi-Conference.
Chicago, IL, USA, July 26-29, 2015.

FM 2015
The 20th International Symposium on Formal Methods.
Oslo, Norway, June 22-26, 2015.

MOCHAP 2015
Workshop on Model Checking and Automated Planning.
Jerusalem, Israel, June 7, 2015.

ICSE Student Competition 2015
37th ACM/IEEE International Conference on Software Engineering - ACM Student Research Competition.
Firenze, Italy, May 16-24, 2015.

EITEC 2015
2nd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems.
Seattle, WA, USA, April 13-17, 2015.

TACAS 2015
The 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
London, UK, April 11-19, 2015.

PPMG 2015
Second Congress on Multicore and GPU Programming.
Caceres, Spain, March 5-6, 2015.

MODELSWARD 2015
3rd International Conference on Model-Driven Engineering and Software Development.
Angers, France, February 9-11, 2015.

MUSEPAT 2014
3rd International Conference on Multicore Software Engineering, Performance, and Tools.
Hong Kong, November 16-17, 2014.

FTSCS 2014
Third International Workshop on Formal Techniques for Safety-Critical Systems.
Luxembourg, November 6-7, 2014.

ISSRE 2014
25th IEEE International Symposium on Software Reliability Engineering.
Naples, Italy, November 3-6, 2014.

ACM Student Research Competition, MODELS 2014
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems.
Valencia, Spain, September 28-October 3, 2014.

ICTSS 2014
IFIP 26th International Conference on Testing Software and Systems.
Madrid, Spain, September 23-25, 2014.

RV 2014
14th International Conference on Runtime Verification.
On PC as well as on tool demonstration committee.
Waterloo, Canada, September 22-25, 2014.

SEFM 2014
12th edition of the International Conference on Software Engineering and Formal Methods.
Grenoble, France, September 1-5, 2014.

SEW 2014
36th Annual IEEE Software Engineering Workshop.
NASA Ames Research Center, California, USA, August 19-20 2014.

FMi 2014
2nd IEEE International Workshop on Formal Methods Integration.
San Francisco, California, USA, August 13-15, 2014

VSTTE 2014
6th Working Conference on Verified Software: Theories, Tools, and Experiments.
Vienna, Austria, July 17-18, 2014.

SummerSim'14
Summer Simulation Multi-Conference.
Monterey, CA, USA, July 6 - 10, 2014.

MOCHAP 2014
Workshop on Model Checking and Automated Planning.
Portsmouth, USA, June 21-26, 2014.

FORTE 2014
34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems.
Berlin, Germany, June 3-6, 2014.

ABZ 2014
4th International ABZ Conference on ASM, Alloy, B, TLA, VDM, Z.
Toulouse, France, June 2-6, 2014.

NFM 2014
Sixth NASA Formal Methods Symposium.
NASA Johnson Space Center, Houston, Texas, USA, April 29 - May 1, 2014.

Modularity 2014
13th International Conference on Modularity.
Lugano, Switzerland, April 22-26, 2014.

HSCC 2014
The 17th International Conference on Hybrid Systems: Computation and Control.
Berlin, Germany, April 15th-17th, 2014.

TACAS 2014
The 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Grenoble, France, April 6-13, 2014. In addition to being PC chair.

HAS 2014
4th Workshop on Hybrid Autonomous Systems.
Grenoble, France, April 5-13, 2014.
In conjunction with the The European Joint Conferences on Theory and Practice of Software (ETAPS 2014).

MODELSWARD 2014
2nd International Conference on Model-Driven Engineering and Software Development.
Lisabon, Portugal, January 7-9, 2014.

ISSRE 2013
24th IEEE International Symposium on Software Reliability Engineering.
Pasadena, CA, USA, November 4-7, 2013.

ICTSS 2013
IFIP 25th International Conference on Testing Software and Systems.
Istanbul, Turkey, November 13-15, 2013.

FTSCS 2013
Second International Workshop on Formal Techniques for Safety-Critical Systems.
Queenstown, New Zealand, October 28, 2013.

SEFM 2013
11th IEEE International Conference on Software Engineering and Formal Methods.
Madrid, Spain, September 25-27, 2013.

FMI 2013
IEEE International Workshop on Formal Methods Integration.
San Francisco, California, USA, August 14-16, 2013

NFM 2013
Fifth NASA Formal Methods Symposium.
Moffett Field, California, USA, May 14 - 16, 2013.

RV 2013
13th International Conference on Runtime Verification.
Rennes, France, September 24-27, 2013.

MUSEPAT 2013
International Conference on Multicore Software Engineering, Performance, and Tools.
Saint Petersburg, Russia, August 21-23, 2013.

SPIN 2013
International SPIN Symposium on Model Checking of Software.
Stony Brook, NY, USA, July 8-9, 2013.

HSCC 2013
The 16th International Conference on Hybrid Systems: Computation and Control.
Philadelphia, USA, April 8-11, 2013.

AOSD 2013
12th International Conference on Aspect-Oriented Software Development
Fukuoka, Japan, March 24-29, 2013.

TACAS 2013
The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Rome, Italy, March 16-24, 2013.

WODA 2013
11th International Workshop on Dynamic Analysis.
Houston, Texas, March 16, 2013.

VMCAI 2013
The 14th Intl. Conference on Verification, Model Checking, and Abstract Interpretation.
Rome, Italy, January 20-22, 2013, with POPL.

ISSRE 2012
23rd IEEE International Symposium on Software Reliability Engineering.
Dallas, TX, USA, November 27-30, 2012.

ICTSS 2012
IFIP 24th International Conference on Testing Software and Systems.
Aalborg, Denmark, November 19-21, 2012.

ICFEM 2012
The 14th Intl. Conference on Formal Engineering Methods.
Kyoto, Japan, November 12-16, 2012.

FTSCS 2012
First International Workshop on Formal Techniques for Safety-Critical Systems.
Kyoto, Japan, November 12, 2012.

JPF 2012
The Java Pathfinder Workshop 2012, affiliated with FSE 2012.
Cary North Carolina, November 11-16, 2012.

HVC 2012
Haifa Verification Conference 2012
Haifa, Israel, November 6-8, 2012.

SEW 2012
35th Annual IEEE Software Engineering Workshop.
Heraclion, Crete, Greece, 12-13 October 2012.

SEFM 2012
10th IEEE International Conference on Software Engineering and Formal Methods
Thessaloniki, Greece, October 1-5, 2012.

RV 2012
12th International Conference on Runtime Verification.
Istanbul, Turkey, September 25-28, 2012.

RTT 2012
3rd International Workshop on Requirements@run.time.
Chicago, USA, September 24, 2012.

FMSPLE 2012
Third Workshop on Formal Methods and Analysis in Software Product Line Engineering.
Salvador, Brazil, September 2, 2012.

FM 2012
The 18th International Symposium on Formal Methods.
Paris, France, August 27-31, 2012.

PADTAD 2012
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging.
Minneapolis, MN, USA, July 16, 2012.

MSVVEIS 2012
The 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Wroclaw, Poland, June 28-July 1, 2012

ICAPS 2012
The 22nd International Conference on Automated Planning and Scheduling.
Special track on continuous planning.
Atibaia, Sao Paulo, Brazil, June 24-28, 2012.

ABZ 2012
International Conference of Alloy, ASM, B, VDM, and Z Users.
Pisa, Italy, June 18-22, 2012.

FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international conference, 14th Formal Methods for Open Object-Based Distributed Systems, 32nd Formal Techniques for Networked and Distributed Systems.
Stockholm, Sweden, 13-16 June 2012.

INTELLI 2012
The First International Conference on Intelligent Systems and Applications.
Chamonix / Mont Blanc, France, April 29 - May 4, 2012.

HSCC 2012
The 15th International Conference on Hybrid Systems: Computation and Control.
Beijing, April 17-19, 2012.

NFM 2012
Fourth NASA Formal Methods Symposium.
Norfolk, Virginia, USA, April 3 - 5, 2012.

AOSD 2012
11th International Conference on Aspect-Oriented Software Development
Potsdam, Germany, March 25-30th, 2012.

HVC 2011 Award committee
Haifa Verification Conference 2011
Haifa, Israel, December 5-8, 2011.

HVC 2011
Haifa Verification Conference 2011
Haifa, Israel, December 5-8, 2011.

JPF 2011
The Java Pathfinder Workshop 2011, affiliated with ASE 2011.
Oread, Lawrence, Kansas, November 12, 2011.

RV 2011
11th International Conference on Runtime Verification
Berkeley, California, September 27-30, 2011

FMSPLE 2011
2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering
Munich, Germany, August 26, 2011.

K 2011
2nd International K Workshop.
Cheile Gradistei, Romania, 8-12 August, 2011.

SHM 2011
2nd International Workshop on Software Health Management
Palo Alto, California, USA, August 2, 2011.

PADTAD 2011
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging.
Toronto, Canada, July 17, 2011.
In conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2011).

SPIN 2011
18th International SPIN Workshop on Model Checking Software.
Cliff Lodge, Snowbird, Utah, USA, July 13-14, 2011. Co-located with CAV 2011.

FM 2011
The 17th International Symposium on Formal Methods.
Limerick, Ireland, June 20-24, 2011.

SEW 2011
34th Annual IEEE Software Engineering Workshop.
Limerick, Ireland, June 20-21, 2011.
Co-located with FM 2011.

MSVVEIS 2011
The 9th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Bejing, China, June 8-9, 2011

Scala Days 2011
The Second Scala Workshop.
Stanford University, USA, June 2, 2011.

HSCC 2011
The 14th International Conference on Hybrid Systems: Computation and Control.
Chicago, April 12-14, 2011.

FASE 2011
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).

HAS 2011
Hybrid Autonomous Systems
Saarbrucken, Germany, April 2-3, 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.

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.