A nesting-free normal form for nested conditions in finite lattices of subgraphs (GCM 2026) - STAF 2026

Tue 30 June - Fri 3 July 2026

Who

Jens Kosiol, Steffen Zschaler

Track

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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 30 Jun 2026 11:30 - 12:00 at Petri - Session 2

Abstract

We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.

Link to Preprint

https://arxiv.org/abs/2601.18376

Jens KosiolPresenter

Brandenburgische Technische Universität Cottbus-Senftenberg

Germany

Steffen Zschaler

King's College London

United Kingdom

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

	11:00 - 12:30	Session 2GCM at Petri

	11:00 30m Talk		Structural Morphism for Nested Conditions GCM Arend Rensink University of Twente, The Netherlands, P: Andrea Corradini University of Pisa
	11:30 30m Talk		A nesting-free normal form for nested conditions in finite lattices of subgraphs GCM P: Jens Kosiol Brandenburgische Technische Universität Cottbus-Senftenberg, Steffen Zschaler King's College London Pre-print
	12:00 15m Talk		Preliminary Study of Interaction Nets Applicability for Sparse Linear Algebra Based Graph Analysis GCM P: Semyon Grigorev Saint-Petersburg State University, Nikolai Ponomarev Saint Petersburg State University, Efim Kubishkin Saint Petersburg State University, Danil Zaripov Saint Petersburg State University, Georgy Sichkar Saint Petersburg State University, Vladimir Zaikin Saint Petersburg State University