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