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
- 24361: Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy
- 24362: Next-Generation Secure Distributed Computing
- See our Seminar Calendar for more, or enter a seminar number below