NSV 2018: 11th International Workshop on Numerical Software Verification 2018

July 18, 2018

NSV 2018: 11th International Workshop on Numerical Software Verifictaion 2018 in Oxford, UK
Image source: Wikipedia|Oxford

Program Committee

Erika Abraham (RWTH Aachen, DE)
Olivier Bouissou (The Mathworks, France)
Remi Delmas (ONERA, France)
Adam Duracz (Rice University, USA)
Franz Franchetti (Carnegie Mellon University, USA)
Antti Hyvärinen (USI, Switzerland)
Arnault Ioualalen (Numalis, France)
Daisuke Ishii (University of Fukui, Japan)
Susmit Jha (SRI International, USA)
Temesghen Kahsai (Amazon)
Matthieu Martel (Université de Perpignan, France)
Guillaume Melquiond (Inria, France)
Tze Meng Low (Carnegie Mellon University, USA)
Olivier Mullier (ENSTA ParisTech, France)
Junkil Park (University of Pennsylvania, USA)
Akshay Rajhans (The Mathworks, USA)
Stefan Ratschan (Academy of Sciences of the Czech Republic)
Ramesh S (General Motors, USA)
Yassamine Seladji (University of Tlemcen, Algeria)
Laura Titolo (NASA, USA)
Jyotirmoy V. Deshmukh (University of Southern California, USA)
Timothy Wang (United Technologies Research Center, USA)

Steering Committee

Sergiy Bogomolov (ANU, Australia)
Radu Grosu (TU Vienna, Austria)
Matthieu Martel (Université de Perpignan, France)
Pavithra Prabhakar (Kansas State University, USA)
Sriram Sankaranarayanan (UC Boulder, USA)