August 27 – September 1 , 2017, Dagstuhl Seminar 17351
Last update: February 7 2018

Machine Learning and Formal Methods

Participants

  • S. Akshay (Indian Institute of Technology – Mumbai, IN) [dblp]
  • Dalal Alrajeh (Imperial College London, GB) [dblp]
  • Rajeev Alur (University of Pennsylvania – Philadelphia, US) [dblp]
  • Nikolay A. Atanasov (University of California at San Diego, US) [dblp]
  • Ammar Ben Khadra (TU Kaiserslautern, DE)
  • Felix Berkenkamp (ETH Zürich, CH) [dblp]
  • Ben Caulfield (University of California – Berkeley, US)
  • Swarat Chaudhuri (Rice University – Houston, US) [dblp]
  • Luc De Raedt (KU Leuven, BE) [dblp]
  • Jyotirmoy Deshmukh (USC – Los Angeles, US) [dblp]
  • Dana Fisman (Ben Gurion University – Beer Sheva, IL) [dblp]
  • Pranav Garg (Amazon – Bangalore, IN) [dblp]
  • Matthias Hein (Universität des Saarlandes, DE) [dblp]
  • Holger Hermanns (Universität des Saarlandes, DE) [dblp]
  • Susmit Jha (SRI – Menlo Park, US) [dblp]
  • Kristian Kersting (TU Darmstadt, DE) [dblp]
  • Andreas Krause (ETH Zürich, CH) [dblp]
  • Sasa Misailovic (University of Illinois – Urbana-Champaign, US) [dblp]
  • Mayur Naik (University of Pennsylvania – Philadelphia, US) [dblp]
  • Nagarajan Natarajan (Microsoft Research India – Bangalore, IN) [dblp]
  • Anna Rafferty (Carleton College – Northfield, US)
  • Dorsa Sadigh (Stanford University, US) [dblp]
  • Stephan Schulz (Duale Hochschule Baden-Württemberg – Stuttgart, DE) [dblp]
  • Sanjit A. Seshia (University of California – Berkeley, US) [dblp]
  • Rishabh Singh (Microsoft Research – Redmond, US) [dblp]
  • Armando Solar-Lezama (MIT – Cambridge, US) [dblp]
  • Charles Sutton (University of Edinburgh, GB) [dblp]
  • Josef Urban (Czech Technical University – Prague, CZ) [dblp]
  • Martin Vechev (ETH Zürich, CH) [dblp]
  • Eran Yahav (Technion – Haifa, IL) [dblp]
  • Yisong Yue (California Institute of Technology – Pasadena, US) [dblp]
  • Xiaojin Zhu (University of Wisconsin – Madison, US) [dblp]
  • Sandra Zilles (University of Regina, CA) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner