Key Dates

March 22, 2014

Workshop/Tutorial Proposals

April 25, 2014

Abstract submission deadline (extended)

May 4, 2014

Paper submission deadline (extended)

June 20, 2014


July 13, 2014

Camera-ready due

Author registration deadline

September 27, 2014

Early registration deadline

November 3-5, 2014

Conference date

November 6-7, 2014

Affiliated workshops date

Recent News

October 14, 2013

The webpage goes live.

Keynote speakers:

  • Nikolaj Bjorner, Microsoft Research

    Title of the invited talk: SecGuru: Azure Network Verification using Z3

  • Lionel Briand, University of Luxembourg

    Title of the invited talk: Scalable Software Testing and Verification Through Heuristic Search and Optimization

  • Vincent Danos, University of Edinburgh

    Title of the invited talk: Approximations for Stochastic Graph Rewriting
FNR Logo CSC Logo