13th International Conference on integrated Formal Methods (iFM 2017)


General Chair

Program Committee Chairs

Workshops Chairs

  • Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
  • Michael Lienhardt (University of Torino, Italy)

PhD Symposium Program Committee Chairs

Finance Chair

Publicity Chairs

Local Organization Chairs

  • Giorgio Audrito (University of Torino, Italy)
  • Luca Paolini (University of Torino, Italy)

Web Chairs

  • Simone Donetti (University of Torino, Italy)
  • Elisa Pecoraro (University of Torino, Italy)

Wine Chair

Program Committee