Organization and Programme Committees

The Organization Committee of FormaliSE is:

  • Stefania Gnesi (ISTI-CNR, Italy)
  • Nico Plat (Thanos, The Netherlands)
  • Hernán Melgratti (University of Buenos Aires, Argentina)

 

You can reach us via e-mail: [email protected].

The Programme Committee members of FormaliSE 2017 are:

  • Gustavo Betarte (Universidad de la República, Uruguay)
  • Andreas Bollin (University of Klagenfurt, Austria)
  • Christiano Braga (Universidade Federal Fluminense, Brasil)
  • Ana Cavalcanti (University of York, UK)
  • Nicolas D'Ippolito (Universidad de Buenos Aires, Argentina)
  • Nancy Day (University of Waterloo, Canada) Ben Di Vito (NASA Langley Research Center, USA)
  • Alessandro Fantechi (Universita' di Firenze, Italy)
  • Antonio Filieri (Imperial College London, UK)
  • Stefania Gnesi (ISTI-CNR, Italy) (Chair)
  • Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
  • Peter Gorm Larsen (Aarhus University, Denmark)
  • Mark Lawford (McMaster University, Canada)
  • Thierry Lecomte (ClearSy, France)
  • Yves Ledru (Université Joseph Fourier, France)
  • Axel Legay (IRISA/INRIA, France)
  • Malte Lochau (TU Darmstadt, Germany)
  • Hernán Melgratti (University of Buenos Aires, Argentina) (Chair)
  • Ravindra Metta (TCS, India)
  • Tomohiro Oda (Software Research Associates Inc., Japan)
  • Liliana Pasquale (Lero, Ireland)
  • Patrizio Pelliccione (Chalmers University of Technology and University of Gothenburg, Sweden)
  • Ken Pierce (Newcastle University, UK)
  • Nico Plat (Thanos, The Netherlands) (Chair)
  • Sanjai Rayadurgam (University of Minnesota, USA)
  • Matteo Rossi (Politecnico di Milano, Italy)
  • Thomas Santen (Technical University of Berlin, Germany)
  • Antonella Santone (University of Sannio, Italy)
  • Laura Semini (University of Pisa, Italy)
  • Marjan Sirjani (Reykjavik University, Iceland)
  • Paola Spoletini (Kennesaw State University, USA)
  • Jun Sun (Singapore University of Technology and Design, Singapore)
  • Marcel Verhoef (European Space Agency, The Netherlands)