Previous Workshops

ETAPS 2018


Software is not static. It keeps growing, gradually becomes more complex, but reuses most of code from previous versions. Formal verification could mirror the software development process, and the tools could take advantage of the efforts already invested in the verification of preceding software versions. This workshop focuses on making formal methods practical and their efforts reusable in various stages of software development. Our ultimate goal is to bring together researchers in formal methods to ultimately make the process of software development efficient and the software product trustworthy.



This year the VSSE workshop consists solely of invited talks which present recent results in incremental verification, relational verification, regression verification, program equivalence, program repair, and the adjacent areas. VSSE will take place as part of the 28th European Joint Conferences on Theory and Practice of Software (ETAPS) in Thessaloniki, Greece. ETAPS is the primary European forum for academic and industrial researchers working on topics related to Software Science.

Call for Participation

Follow the registration steps of ETAPS.

  • Early registration: March 16, 2018
  • Late registration: March 17 - April 13, 2018
  • On-site registration: from April 14, 2018
While registering, please choose explicitly the VSSE option.


Grigory Fedyukovich (Princeton University, USA).