ICGT Conference Closing (ICGT 2023 - Research Papers) - ICGT 2023

Wed 19 - Thu 20 July 2023 Leicester, United Kingdom

co-located with STAF 2023

Who

Maribel Fernandez, Reiko Heckel, Chris Poskitt

Track

ICGT 2023 Research Papers

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect 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

Thu 20 Jul 2023 17:00 - 17:15 at Willow - ICGT Session 8: Tools & Applications Chair(s): Rachid Echahed

Maribel Fernandez

King's College London

United Kingdom

Reiko Heckel

University of Leicester

United Kingdom

Chris Poskitt

Singapore Management University

Singapore

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect 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

Thu 20 Jul
Displayed time zone: London change

	15:30 - 17:15	ICGT Session 8: Tools & ApplicationsResearch Papers at Willow Chair(s): Rachid Echahed University of Grenoble - CNRS Remote Participants: Zoom Link, YouTube Livestream

	15:30 30m Talk		Implementing the λGT Language: A Functional Language with Graphs as First-Class Data Research Papers P: Jin Sano Waseda University, Kazunori Ueda Waseda University DOI File Attached
	16:00 30m Talk		Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis Research Papers Jannik Rau Ulm University, P: David Richerby University of Essex, Ansgar Scherp Ulm University DOI Pre-print
	16:30 30m Talk		Advanced Consistency Restoration with Higher-Order Short-Cut Rules Research Papers P: Lars Fritsche TU Darmstadt, Germany, Jens Kosiol Universität Kassel, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany DOI
	17:00 15m Day closing		ICGT Conference Closing Research Papers Maribel Fernandez King's College London, Reiko Heckel University of Leicester, Chris Poskitt Singapore Management University