An Encoding of Interaction Nets in OCaml (GCM 2024) - STAF 2024

Mon 8 - Thu 11 July 2024 Enschede, Netherlands

Who

Nikolaus Huber, Wang Yi

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 9 Jul 2024 13:30 - 14:00 at Waaier 3 - GCM Session 2 Chair(s): Dominik Grzelak

Link to Preprint

https://joerg.endrullis.de/downloads/gcm2024/STAF_2024_paper_72.pdf

Nikolaus Huber

Wang Yi

Uppsala University, Sweden

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 9 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	13:30 - 15:00	GCM Session 2GCM at Waaier 3 Chair(s): Dominik Grzelak Technische Universität Dresden

	13:30 30m Research paper		An Encoding of Interaction Nets in OCaml GCM Nikolaus Huber , Wang Yi Uppsala University, Sweden Pre-print
	14:00 30m Research paper		Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs GCM Ebtihal Althubiti , Michele Sevegnani University of Glasgow Pre-print
	14:30 30m Research paper		Modelling Real-time Systems with Bigraphs GCM Maram Albalwe , Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow Pre-print