Previous Workshops

ETAPS 2018


This workshop focuses on verification of software changes and upgrades, as well as on synthesizing new program versions and automated bug fixing. Software continuously evolves to meet rapidly changing human needs. Each evolved transformation of a program is expected to preserve important correctness and security properties. Thus there is a clear need for the techniques to formally verify program correctness after a change and either provide a proof of correctness or further employ results of performed analysis to fix detected bugs. This workshop will bring together researchers in formal verification and program synthesis to ultimately make the process of software evolution safe.


This year the VSSE workshop consists solely of invited talks from experts in the areas related to incremental formal verification and program synthesis.

The workshop 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 relating to Software Science.


Grigory Fedyukovich (Princeton University, USA).