July 17 – 22 , 2022, Dagstuhl Seminar 22291
Last update: August 17 2022
Machine Learning and Logical Reasoning: The New Frontier
On-site participants
- Rajeev Alur (University of Pennsylvania – Philadelphia, US) [dblp]
- Sébastien Bardin (CEA LIST, FR) [dblp]
- Chih-Hong Cheng (Fraunhofer IKS – München, DE) [dblp]
- Jonathan Chung (University of Waterloo, CA)
- Judith Clymo (University of Liverpool, GB)
- Artur d'Avila Garcez (City – University of London, GB) [dblp]
- Alhussein Fawzi (Google DeepMind – London, GB)
- Marc Fischer (ETH Zürich, CH)
- Pascal Fontaine (University of Liège, BE) [dblp]
- Matt Fredrikson (Carnegie Mellon University – Pittsburgh, US)
- Vijay Ganesh (University of Waterloo, CA) [dblp]
- Sebastian Junges (Radboud University Nijmegen, NL) [dblp]
- Chunxiao (Ian) Li (University of Waterloo, CA)
- Ravi Mangal (Carnegie Mellon University – Pittsburgh, US)
- Georg Martius (MPI für Intelligente Systeme – Tübingen, DE)
- Kuldeep Meel (National University of Singapore, SG) [dblp]
- Grégoire Menguy (CEA LIST – Nano-INNOV, FR)
- Matthew Mirman (ETH Zürich, CH)
- Anselm Paulus (MPI für Intelligente Systeme – Tübingen, DE)
- Markus N. Rabe (Google – Mountain View, US)
- Joseph Scott (University of Waterloo, CA)
- Xujie Si (McGill University – Montréal, CA) [dblp]
- Armando Tacchella (University of Genova, IT) [dblp]
- Hazem Torfah (University of California – Berkeley, US) [dblp]
- Caterina Urban (INRIA – Paris, FR) [dblp]
- Saranya Vijayakumar (Carnegie Mellon University – Pittsburgh, US)
Remote participants
- Somesh Jha (University of Wisconsin-Madison, US) [dblp]
- Luis C. Lamb (Federal University of Rio Grande do Sul, BR) [dblp]
- Vineel Nagisetty (Borealis AI – Toronto, CA)
- Sanjit A. Seshia (University of California – Berkeley, US) [dblp]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner