E-graphs and Automated Reasoning: Looking back to look forward (EGRAPHS 2024)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Track

EGRAPHS 2024

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 24 Jun 2024 09:10 - 09:40 at Reykjavik - 1. Welcome

Abstract

Automated reasoning is an established field with a long history and many ideas. E-graph rewriting techniques fits into this history. This connection suggests roads to implementing fundamental extensions to e-graph rewriting.

Link to Preprint

https://github.com/philzook58/egraphs2024-talk/blob/main/egraphs2024_abstract.pdf

Bio

Tinkerer. Lover of solvers. Blogger. Cool dude.

Slides

Media

Blog post

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 24 Jun
Displayed time zone: Windhoek change

09:00 - 10:10	1. WelcomeEGRAPHS at Reykjavik

09:00 10m Talk		Welcome EGRAPHS Max Willsey UC Berkeley
09:10 30m Talk		E-graphs and Automated Reasoning: Looking back to look forward EGRAPHS Philip Zucker Draper Pre-print Media Attached
09:40 30m Talk		Equivalence Hypergraphs: E-Graphs for Monoidal TheoriesRemote EGRAPHS Aleksei Tiurin University of Birmingham, Chris Barrett University of Oxford, Dan Ghica Huawei Research and University of Birmingham Pre-print Media Attached

E-graphs and Automated Reasoning: Looking back to look forward

Mon 24 Jun
Displayed time zone: Windhoek change

Philip Zucker

Draper

Tracks

Co-hosted Conferences

Workshops

E-graphs and Automated Reasoning: Looking back to look forward

Program Display Configuration

Program Display Configuration

Mon 24 JunDisplayed time zone: Windhoek change

Philip Zucker

Draper

Mon 24 Jun
Displayed time zone: Windhoek change