TOP

Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:

Schloss Dagstuhl Services

Seminars

Within this website:

see Seminars and Events
and Guest Information

External resources:

DOOR (for registering your stay at Dagstuhl)
DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)

Publishing

Within this website:

see About Publishing and sub-pages thereof

External resources:

DROPS (the Dagstuhl publication server)
the LITES journal website
the Dagstuhl Submission Server (handles LIPIcs/OASIcs/DARTS submissions)

dblp

Within this website:

see About dblp and sub-pages thereof

External resources:

the dblp Computer Science Bibliography

Please select your role
to obtain appropriate quick-links.

As a LIPIcs/OASIcs author, you will be invited by e-mail to register at the Dagstuhl Submission Server. The server will guide you through the publication workflow. Preliminary information can be found here:

Quick Links

News

Refinement E-Graphs

Michael Gerke 2026-10-06 Categories: Seminars Press review

Blog entry about reproach partially based on a conversation Philip Zucker had with George Constantinides in Dagstuhl.

Refinement E-Graphs , Philip Zucker's blog entry where the don't care example is based on a Conversation he had in Dagstuhl with George Constantinides. October 4, 2026 in Hey There Buddo!

Related Seminar: 26022 Program Optimization with E-Graphs

Refinement E-Graphs

Imprint Contact Accessibility Privacy

Search the Dagstuhl Website

Schloss Dagstuhl Services

Seminars

Within this website:

External resources:

Publishing

Within this website:

External resources:

dblp

Within this website:

External resources:

News