Dagstuhl Seminar 27501
Combining Learning and Reasoning for Programming Intelligence
( Dec 12 – Dec 17, 2027 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/27501
Organizers
- José Cambronero (Google - Atlanta, US)
- Isil Dillig (University of Texas - Austin, US)
- Devdatt Dubhashi (Chalmers University of Technology - Göteborg, SE)
- Vijay Ganesh (Georgia Institute of Technology - Atlanta, US)
- Adish Singla (MPI-SWS - Saarbrücken, DE)
Contact
- Marsha Kleinbauer (for scientific matters)
- Simone Schilke (for administrative matters)
Classification
- Artificial Intelligence
- Programming Languages
Keywords
- Neurosymbolic AI
- Artificial Intelligence
- AI for Math
- AI for Code
- Formal Methods
