Previous Workshops

ETAPS 2016


Peter Mueller (ETH Zurich), Philipp Ruemmer (Uppsala University), Anton Wijs (Eindhoven University of Technology), Florian Zuleger (TU Wien), Temesghen Kahsai (CMU / NASA Ames), Kedar Namjoshi (Bell Labs) agreed to give an invited talk. See more details in our program.


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


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.

Call for Participation

  • Early registration till 1 March 2016
  • Late online registration from 2 March 2016 to 31 March 2016
  • On-site registration and workshop: 2 April 2016
While registering, please mark explicitly Saturday April 2 and then choose the VSSE option. The workshop, as well as ETAPS 2016, will take place in the TU/e Science park of the Eindhoven University of Technology.


Program chairs:

Grigory Fedyukovich (University of Washington, USA)

Antti Hyvärinen (University of Lugano, Switzerland)

Arie Gurfinkel (SEI/CMU, USA)