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
- 26111: Formal Analysis and Verification in Quantum Programming Languages
- 26112: The Role of Computer Science in the New World
- See our Seminar Calendar for more, or enter a seminar number below





