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
- 26121: Proof Systems in Actual Practice: Reasoning and Computation
- 26122: Intractability in Discrete Geometry and Topology
- See our Seminar Calendar for more, or enter a seminar number below




