Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI)
dagstuhl.de
To computer scientists Dagstuhl has a special ring: a place to hide away for intensive seminars. The center facilitates research also by its bibliography database dblp and its open access publishing. Visit https://www.dagstuhl.de to learn more.
👤 Joined on 03 September 2025
82
Followers
18
Following
23
Total Posts
📜 Kullanıcı Geçmişi
- 03 Eyl 2025, 15:19
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@dagstuhl.bsky.social - 04 Eyl 2025, 13:40
✏️ Kullanıcı adı değişti:
@dagstuhl.bsky.social→@dagstuhl.de
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
A new snapshot release of the #dblp data set has been published. This is the first snapshot of the dblp KG that also contains Institution and Affiliation entities. #opendata #linkeddata #knowledgegraph drops.dagstuhl.de/entities/col... doi.org/10.4230/dblp... doi.org/10.4230/dblp...
Show Post
Normal Dagstuhl seminar: talking and keyboarding. Our Dagstuhl seminar:
Show PostToday, the #dblp team celebrated in style the #milestone of 2^23 = 8,388,608 publications, which was reached last week. ;)
Show Post
I had a great time at this Dagstuhl seminar on proof assistants and constructive/synthetic mathematics. Many thanks to the organizers Ingo Blechschmidt, Liron Cohen, Thierry Coquand, and Peter Schuster! https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26121 I gave a talk […]
Show Post
Spending an interesting week at Schloss Dagstuhl at the workshop „Intractability in Discrete Geometry and Topology“. A very nice venue, some cool open problems, and even cooler participants. www.dagstuhl.de/seminars/sem...
Show Post