Professional service

International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Copenhagen, Denmark, April 10-15, 2027.

26th International Conference on Runtime Verification.

Kingston, Canada, October 6-9, 2026.

Space Mission Challenges for Information Technology (SMC-IT) and Space Computing Conference (SCC).

Pasadena, CA, USA, August 3-7, 2026.

9th Workshop on Verification and Monitoring at Runtime Execution.

Brussels, Belgium, June 30, 2026.

Tokyo, Japan, May 20, 2026.

The 20th International Conference on Integrated Formal Methods.

Paris, France, November 19-21, 2025.

25th International Conference on Runtime Verification.

Graz, Austria, September 15-19, 2025.

IEEE Space Mission Challenges for Information Technology - IEEE Space Computing Conference.

Los Angeles, CA, USA, July 28 - August 1, 2025.

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

Symposium on Applied Computing, Software Verification and Testing Track.

Catania, Sicily, March 31 - April 4, 2025.

24th International Conference on Runtime Verification.

Istanbul, Turkey, October 15-18, 2024.

7th Workshop on Verification and Monitoring at Runtime Execution.

Vienna, Austria, September 16-20, 2024.

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

29th International Conference on Formal Methods for Industrial Critical Systems.

Co-located with FM 2024 in Milan, Italy, September 9-11, 2024.

IEEE Space Mission Challenges for Information Technology - IEEE Space Computing Conference

Mountain View, CA, USA - July 15-19, 2024.

10th International Conference on Rigorous State Based Methods.

Bergamo, Italy, June 25—28, 2024.

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

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

43rd Annual IEEE Software Engineering Workshop.

Warsaw, Poland, 17–20 September, 2023

6th Workshop on Verification and Monitoring at Runtime Execution

Seattle, Washington, United States, July 17 - 21, 2023.

Festive Colloquium for Prof. Dr. Jan Peleska on the occasion of his 65 Birthday.

Bremen, Germany, March 3, 2023.

23rd International Conference on Runtime Verification.

Thessaloniki, Greece, October 4-6, 2023.

International Workshop on the Advancements in Model Driven Engineering & software engineering.

Leuven, Belgium, March 15-17, 2023.

IEEE Space Mission Challenges for Information Technology - IEEE Space Computing Conference

Pasadena, CA, USA - July 18-21, 2023.

International Conference on Formal Methods for Industrial Critical Systems.

Antwerp, Belgium, September 20-22, 2023.

9th International Conference on Rigorous State Based Methods.

Nancy, France, May 30 - June 2, 2023.

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

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

29th International Symposium on Model Checking of Software.

Paris, France, April 26-27, 2023.

34th IFIP International Conference on Testing Software and Systems.

Almeria, Spain, September 27-29, 2022.

28th International Symposium on Model Checking of Software.

Virtual Symposium, May 21, 2022.

42st Annual IEEE Software Engineering Workshop.

Sofia, Bulgaria, September 4 - 7, 2022

22nd International Conference on Runtime Verification.

Tbilisi, Georgia, September 28-30, 2022.

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

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

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

21st International Conference on Runtime Verification.

Los Angeles, USA, October 11-14, 2021.

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

41st Annual IEEE Software Engineering Workshop.

Online, September 2 - 5, 2021

27th International European Conference on Parallel and Distributed Computing.

Lisbon, Portugal, August 30 - September 3, 2021.

26th International Conference on Formal Methods for Industrial Critical Systems.

Paris, France, August 23-27, 2021.

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

7th International Conference on Rigorous State Based Methods.

Ulm, Germany, June 7-11, 2021.

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

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

International Workshop on the Advancements in Model Driven Engineering.

Warsaw, Poland, March 23 - 26, 2021.

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

9th International Conference on Model-Driven Engineering and Software Development.

Online, February 89-10, 2021.

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

20th International Conference on Runtime Verification.

Los Angeles, USA, October 6-9, 2020.

40th Annual IEEE Software Engineering Workshop.

Sofia, Bulgaria, September 6 - 9, 2020

25th International Conference on Formal Methods for Industrial Critical Systems.

Vienna, Austria, September 2-3, 2020.

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

8th International Conference on Model-Driven Engineering and Software Development.

Valletta, Malta, February 25-27, 2020.

Formal Methods - Fun for Everybody.

Bergen, Norway, 2-3 December 2019.

Seventh International Workshop on Formal Techniques for Safety-Critical Systems.

Shenzhen, China, November 9, 2019.

The 7th IEEE International Workshop on Formal Methods Integration.

Los Angeles, California, USA, July 30 - Aug 1, 2019.

19th International Conference on Runtime Verification.

Porto, Portugal, October 8-11, 2019.

26th International SPIN Symposium on Model Checking of Software.

Beijing, China, July 15-19, 2019.

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

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

30th IEEE International Symposium on Software Reliability Engineering.

Berlin, Germany, October 28-31, 2019.

17th International Conference on Software Engineering and Formal Methods.

Oslo, Norway, September 16-20, 2019.

Conference in honor of Scott Smolka, on occasion of his 65th birthday.

Stony Brook, NY, August 1-2, 2019.

39th Annual IEEE Software Engineering Workshop.

Leipzig, Germany, September 1 - 4, 2019

3rd World Congress on Formal Methods.

Porto, Portugal, October 7-11, 2019.

The 31'st International Conference on Computer Aided verification.

New York City, USA, July 13-18 2019.

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

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

7th International Conference on Model-Driven Engineering and Software Development

Prague, Czech Republic, February 20-22, 2019.

Sixth International Workshop on Formal Techniques for Safety-Critical Systems.

Gold Coast, Australia, November 16, 2018.

18th International Conference on Runtime Verification, including the RV competition review panel.

Limassol, Cyprus on 10-13 November 2018.

38th Annual IEEE Software Engineering Workshop.

Poznan, Poland, 9 - 12 September, 2018.

20th International Conference on Testing Software and Systems.

Paris, France, August 27-28, 2018.

3rd Workshop on Runtime Verification for Object-Oriented Languages and Systems

Amsterdam, Netherlands, July 16-21, 2017.

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

16th International Conference on Software Engineering and Formal Methods

Toulouse, France, June 27-29, 2018.

25th International SPIN Symposium on Model Checking of Software.

Malaga, Spain, June 20-22, 2018.

6th International ABZ Conference on ASM, Alloy, B, TLA, VDM, Z.

Southampton, UK, June 5-8, 2018.

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

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

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

6th International Conference on Model-Driven Engineering and Software Development

Funchal, Madeira, Portugal, January 22-24, 2018.

15th International Conference on Software Engineering and Formal Methods

Trento, Italy, September 4-8, 2017.

The 5th IEEE International Workshop on Formal Methods Integration

San Diego, USA, August 4-6, 2017.

2nd Workshop on Runtime Verification for Object-Oriented Languages and Systems

Barcelona, Spain, June 20, 2017.

European Conference on Object-Oriented Programming

Barcelona, Spain, June 18-23, 2017.

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

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

Software Verification and Testing

Marrakech, Morocco, April 3 - 7, 2017.

5th International Conference on Model-Driven Engineering and Software Development.

Porto, Portugal, February 19-21, 2017.

Fifth International Workshop on Formal Techniques for Safety-Critical Systems.

Tokyo, Japan, November 14, 2016.

27th IEEE International Symposium on Software Reliability Engineering.

Ottawa, Canada, October 23-27, 2016.

IFIP 28th International Conference on Testing Software and Systems.

Graz, Austria, October 17-19, 2016.

14th International Symposium on Automated Technology for Verification and Analysis.

Shanghai, China, October 12-15, 2016.

7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Corfu, Crete, October 5-14, 2016.

16th International Conference on Runtime Verification.

Madrid, Spain, September 23-30, 2016.

37th Annual IEEE Software Engineering Workshop.

Gdansk, Poland, September 11 - 14, 2016.

Formal Methods for Analysis of Business Systems

Singapore, September 3, 2016.

4th IEEE International Workshop on Formal Methods Integration.

Pittsburgh, Pennsylvania, USA, July 28-30, 2016.

1st Workshop on Runtime Verification for Object-Oriented Languages and Systems

Rome, Italy, July 18, 2016.

14th International Conference on Software Engineering and Formal Methods.

Vienna, Austria, July 4-8, 2016.

Planning, Scheduling and Dependability in Safe Human-Robot Interactions

London, UK, June 13, 2016.

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

1st Workshop onPre- and Post-Deployment Verification Techniques.

Reykjavik, Iceland, June 1-3, 2016.

5th International ABZ Conference on ASM, Alloy, B, TLA, VDM, Z.

Linz, Austria, May 23-27, 2016.

4rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems.

Vienna, Austria, April 11, 2016.

Software Verification and Testing.

Pisa, Italy, April 3-8, 2016.

Multicore Software Engineering, Performance, Applications, and Tools.

Pisa, Italy, April 3-8, 2016.

4th International Conference on Model-Driven Engineering and Software Development.

Rome, Italy, February 19-21, 2016.

Fourth International Workshop on Formal Techniques for Safety-Critical Systems.

Paris, France, November 6-7, 2015.

15th International Conference on Runtime Verification.

Vienna, Austria, September 22-25, 2015.

17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

Timisoara, Romania, September 21-24, 2015.

13th International Conference on Software Engineering and Formal Methods.

York, UK, September 7-11, 2015.

22nd International SPIN Symposium on Model Checking of Software.

Stellenbosch, South Africa, August 24-26, 2015.

3rd IEEE International Workshop on Formal Methods Integration.

San Francisco, California, USA, August 13-15, 2015.

Summer Simulation Multi-Conference.

Chicago, IL, USA, July 26-29, 2015.

The 20th International Symposium on Formal Methods.

Oslo, Norway, June 22-26, 2015.

Workshop on Model Checking and Automated Planning.

Jerusalem, Israel, June 7, 2015.

37th ACM/IEEE International Conference on Software Engineering - ACM Student Research Competition.

Firenze, Italy, May 16-24, 2015.

2nd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems.

Seattle, WA, USA, April 13-17, 2015.

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

Second Congress on Multicore and GPU Programming.

Caceres, Spain, March 5-6, 2015.

3rd International Conference on Model-Driven Engineering and Software Development.

Angers, France, February 9-11, 2015.

3rd International Conference on Multicore Software Engineering, Performance, and Tools.

Hong Kong, November 16-17, 2014.

Third International Workshop on Formal Techniques for Safety-Critical Systems.

Luxembourg, November 6-7, 2014.

25th IEEE International Symposium on Software Reliability Engineering.

Naples, Italy, November 3-6, 2014.

ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems.

Valencia, Spain, September 28-October 3, 2014.

IFIP 26th International Conference on Testing Software and Systems.

Madrid, Spain, September 23-25, 2014.

14th International Conference on Runtime Verification.

On PC as well as on tool demonstration committee.

Waterloo, Canada, September 22-25, 2014.

12th edition of the International Conference on Software Engineering and Formal Methods.

Grenoble, France, September 1-5, 2014.

36th Annual IEEE Software Engineering Workshop.

NASA Ames Research Center, California, USA, August 19-20 2014.

2nd IEEE International Workshop on Formal Methods Integration.

San Francisco, California, USA, August 13-15, 2014

6th Working Conference on Verified Software: Theories, Tools, and Experiments.

Vienna, Austria, July 17-18, 2014.

Summer Simulation Multi-Conference.

Monterey, CA, USA, July 6 - 10, 2014.

Workshop on Model Checking and Automated Planning.

Portsmouth, USA, June 21-26, 2014.

34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems.

Berlin, Germany, June 3-6, 2014.

4th International ABZ Conference on ASM, Alloy, B, TLA, VDM, Z.

Toulouse, France, June 2-6, 2014.

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

13th International Conference on Modularity.

Lugano, Switzerland, April 22-26, 2014.

The 17th International Conference on Hybrid Systems: Computation and Control.

Berlin, Germany, April 15th-17th, 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.

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

2nd International Conference on Model-Driven Engineering and Software Development.

Lisabon, Portugal, January 7-9, 2014.

24th IEEE International Symposium on Software Reliability Engineering.

Pasadena, CA, USA, November 4-7, 2013.

IFIP 25th International Conference on Testing Software and Systems.

Istanbul, Turkey, November 13-15, 2013.

Second International Workshop on Formal Techniques for Safety-Critical Systems.

Queenstown, New Zealand, October 28, 2013.

11th IEEE International Conference on Software Engineering and Formal Methods.

Madrid, Spain, September 25-27, 2013.

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

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

13th International Conference on Runtime Verification.

Rennes, France, September 24-27, 2013.

International Conference on Multicore Software Engineering, Performance, and Tools.

Saint Petersburg, Russia, August 21-23, 2013.

International SPIN Symposium on Model Checking of Software.

Stony Brook, NY, USA, July 8-9, 2013.

The 16th International Conference on Hybrid Systems: Computation and Control.

Philadelphia, USA, April 8-11, 2013.

12th International Conference on Aspect-Oriented Software Development

Fukuoka, Japan, March 24-29, 2013.

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

11th International Workshop on Dynamic Analysis.

Houston, Texas, March 16, 2013.

The 14th Intl. Conference on Verification, Model Checking, and Abstract Interpretation.

Rome, Italy, January 20-22, 2013, with POPL.

23rd IEEE International Symposium on Software Reliability Engineering.

Dallas, TX, USA, November 27-30, 2012.

IFIP 24th International Conference on Testing Software and Systems.

Aalborg, Denmark, November 19-21, 2012.

The 14th Intl. Conference on Formal Engineering Methods.

Kyoto, Japan, November 12-16, 2012.

First International Workshop on Formal Techniques for Safety-Critical Systems.

Kyoto, Japan, November 12, 2012.

The Java Pathfinder Workshop 2012, affiliated with FSE 2012.

Cary North Carolina, November 11-16, 2012.

Haifa Verification Conference 2012

Haifa, Israel, November 6-8, 2012.

35th Annual IEEE Software Engineering Workshop.

Heraclion, Crete, Greece, 12-13 October 2012.

10th IEEE International Conference on Software Engineering and Formal Methods

Thessaloniki, Greece, October 1-5, 2012.

12th International Conference on Runtime Verification.

Istanbul, Turkey, September 25-28, 2012.

3rd International Workshop on Requirements@run.time.

Chicago, USA, September 24, 2012.

Third Workshop on Formal Methods and Analysis in Software Product Line Engineering.

Salvador, Brazil, September 2, 2012.

The 18th International Symposium on Formal Methods.

Paris, France, August 27-31, 2012.

Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging.

Minneapolis, MN, USA, July 16, 2012.

The 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems

Wroclaw, Poland, June 28-July 1, 2012

The 22nd International Conference on Automated Planning and Scheduling.

Special track on continuous planning.

Atibaia, Sao Paulo, Brazil, June 24-28, 2012.

International Conference of Alloy, ASM, B, VDM, and Z Users.

Pisa, Italy, June 18-22, 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.

The First International Conference on Intelligent Systems and Applications.

Chamonix / Mont Blanc, France, April 29 - May 4, 2012.

The 15th International Conference on Hybrid Systems: Computation and Control.

Beijing, April 17-19, 2012.

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

11th International Conference on Aspect-Oriented Software Development

Potsdam, Germany, March 25-30th, 2012.

Haifa Verification Conference 2011

Haifa, Israel, December 5-8, 2011.

Haifa Verification Conference 2011

Haifa, Israel, December 5-8, 2011.

The Java Pathfinder Workshop 2011, affiliated with ASE 2011.

Oread, Lawrence, Kansas, November 12, 2011.

11th International Conference on Runtime Verification

Berkeley, California, September 27-30, 2011

2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering

Munich, Germany, August 26, 2011.

2nd International K Workshop.

Cheile Gradistei, Romania, 8-12 August, 2011.

2nd International Workshop on Software Health Management

Palo Alto, California, USA, August 2, 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).

18th International SPIN Workshop on Model Checking Software.

Cliff Lodge, Snowbird, Utah, USA, July 13-14, 2011. Co-located with CAV 2011.

The 17th International Symposium on Formal Methods.

Limerick, Ireland, June 20-24, 2011.

34th Annual IEEE Software Engineering Workshop.

Limerick, Ireland, June 20-21, 2011.

Co-located with FM 2011.

The 9th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems

Bejing, China, June 8-9, 2011

The Second Scala Workshop.

Stanford University, USA, June 2, 2011.

The 14th International Conference on Hybrid Systems: Computation and Control.

Chicago, April 12-14, 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).

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

IFIP 22nd International Conference on Testing Software and Systems.

Natal, Brazil, November 8-10, 2010.

The IBM Verification Conference 2010

Haifa, Israel, October 5-7, 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).

8th IEEE International Conference on Software Engineering and Formal Methods

Pisa, Italy, September 13-17, 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).

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

The Seventh IARP Workshop on Technical Challenges for Dependable Robots in Human Environments.

Toulouse, France, June 16-17, 2010.

The 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems

Funchal, Madeira - Portugal, June 8-12, 2010

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

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

Static Analysis Tool Exposition Workshop.
Arlington, Virginia, USA, November 6, 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.

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

The 21'st International Conference on Computer Aided verification.

Grenoble, France, June 26-July 2, 2009.

The 9th International Workshop on Runtime Verification.

Grenoble, France, June 26-June 28, 2009.

16th International SPIN Workshop on Model Checking of Software.

Grenoble, France, June 26-28, 2009, Co-located with CAV 2009.

The Seventh International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems

Milano, Italy, May 6-7, 2009

The 1'st NASA Formal Methods Symposium.

Mountain View (Silicon Valley), California, USA, April 6-8, 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)

6th IEEE International Conference on Software Engineering and Formal Methods

Cape Town, South Africa, November 10-14, 2008

The IBM Verification Conference 2008

Haifa, Israel, October 28-30, 2008

The Third International Conference on Software Engineering Advances

Sliema, Malta, October 26-31, 2008

1st International Conference on Software Language Engineering

Toulouse, France, September 29-30, 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)

The Sixth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems

Barcelona, Spain, June 12-16, 2008

ACM SIGPLAN Static Analysis Workshop
Co-located with PLDI 2008

Tucson, Arizona, June 12, 2008

Seventh International Conference on Aspect-Oriented Software Development

Brussels, Belgium, March 31 - April 4, 2008

The IFIP International Conference on Research and Practical Issues of Enterprise Information Systems

Beijing, China, October 14-16, 2007

Haifa, Israel, October 23-25, 2007

5th IEEE International Conference on Software Engineering and Formal Methods

London, UK, September 10-14, 2007

International Conference on Software Engineering Advances

Cap Esterel, French Riviera, August 25-31, 2007

Parallel and Distributed Systems: Testing and Debugging

London, England, July 09, 2007

The Fifth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems

Funchal, Madeira, Portugal, June 12-13, 2007

Haifa, Israel, October 23-26, 2006

International Conference on Software Engineering Advances

Tahiti, French Polynesia, October 29 - November 1, 2006

4th IEEE International Conference on Software Engineering and Formal Methods

Pune, India, September 11-15, 2006

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

Parallel and Distributed Systems: Testing and Debugging

Portland, Maine, USA, July 17, 2006

The Fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems

Paphos, Cyprus, May 23-24, 2006

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

The 5th International Workshop on Runtime Verification.

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

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

Formal Approaches to Testing of Software.

International Conference on Informatics.

The 16th Conference in Computer Aided verification.

Dynamic Aspects Workshop, affiliated with AOSD'04.

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

4th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering.

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

Workshop
on Model Checking for Dependable Software-Intensive Systems.

Advancing the State-of-the-Art in Run-Time Inspection.

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

The 14th Conference in Computer Aided verification.

Workshop on Real-Time Tools.

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

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

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

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

Model-based Validation of Intelligence.

Fifth NASA Langley Formal Methods Workshop.

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

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