Dagstuhl-Seminar 27501
Combining Learning and Reasoning for Programming Intelligence
( 12. Dec – 17. Dec, 2027 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/27501
Organisatoren
- 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)
Kontakt
- Marsha Kleinbauer (für wissenschaftliche Fragen)
- Simone Schilke (für administrative Fragen)
Klassifikation
- Artificial Intelligence
- Programming Languages
Schlagworte
- Neurosymbolic AI
- Artificial Intelligence
- AI for Math
- AI for Code
- Formal Methods
