Dagstuhl Meetings
...are frequently praised by participants as the most productive academic events they have ever experienced. Unlike at most conferences, the focus is not so much on the presentation of newly established results but on the discussion of new ideas, sketches, and open problems. Find out more...
This week at Dagstuhl
- 24341: Proof Representations: From Theory to Applications
- 24342: Leveraging AI for Management Decision-Making
- See our Seminar Calendar for more, or enter a seminar number below