GPCE Welcome by Chairs (GPCE 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Amir Shaikhha, Coen De Roover

Track

Time Zone

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

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

Sun 22 Oct 2023 11:00 - 11:30 at Room XV - Session 1 Chair(s): Amir Shaikhha

Amir Shaikhha

University of Edinburgh

United Kingdom

Coen De Roover

Vrije Universiteit Brussel

Belgium

Time Zone

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

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

Sun 22 Oct
Displayed time zone: Lisbon change

	11:00 - 12:30	Session 1GPCE at Room XV Chair(s): Amir Shaikhha University of Edinburgh

	11:00 30m Talk		GPCE Welcome by Chairs GPCE Amir Shaikhha University of Edinburgh, Coen De Roover Vrije Universiteit Brussel
	11:30 30m Talk		Generating Conforming Programs With Xsmith GPCE William G Hatch University of Utah, Pierce Darragh University of Utah, Sorawee Porncharoenwase University of Washington, Guy Watson University of Utah, Eric Eide University of Utah
	12:00 30m Talk		Multi-Stage Vertex-Centric Programming for Agent-Based Simulations GPCE Zilu Tian EPFL