Systems of Graph Formulas and their Equivalence to Alternating Graph Automata (GCM 2025 - ) - STAF 2025

Tue 10 - Fri 13 June 2025 Koblenz, Germany

Who

Frank Drewes, Berthold Hoffmann, Mark Minas

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

When

Tue 10 Jun 2025 14:00 - 14:30 at M 201 - GCM Session 2: Termination of Rewriting, Graph Parsing, Graph Formulas Chair(s): Detlef Plump

File attachments

(STAF_2025_paper_62.pdf)	304KiB

Frank Drewes

Umeå universitet

Sweden

Berthold Hoffmann

Universitt Bremen

Germany

Mark Minas

Universität der Bundeswehr München

Germany

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Session Program

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	13:30 - 15:00	GCM Session 2: Termination of Rewriting, Graph Parsing, Graph FormulasGCM at M 201 Chair(s): Detlef Plump University of York

	13:30 30m Paper		Termination of Graph Rewriting using Weighted Type Graphs over Non-well-founded Semirings GCM Qi Qiu Université Grenoble Alpes File Attached
	14:00 30m Paper		Systems of Graph Formulas and their Equivalence to Alternating Graph Automata GCM Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München File Attached
	14:30 30m Paper		Parsing Hypergraphs using Context-Free Positional Grammars GCM Gennaro Costagliola Università di Salerno, Federico Vastarini University of Salerno File Attached