Symbolic Bisimulation for Open and Parameterized System (PEPM 2020) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Zechen Hou, Eric Madelaine

Track

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan 2020 16:10 - 16:35 at Frontenac - Sessions 3 & 4 Chair(s): Atsushi Igarashi, Jeremy Yallop

DOI

https://doi.org/10.1145/3372884.3373161

File attachments

Eric Madelaine Slides (PEPM2020-EMadelaine.pdf)	1.59MiB

Zechen Hou

East China Normal University

Eric Madelaine

INRIA

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

	15:35 - 17:45	Sessions 3 & 4PEPM at Frontenac Chair(s): Atsushi Igarashi Kyoto University, Japan, Jeremy Yallop University of Cambridge, UK

	15:35 35m Talk		Frex: Free extensions for normalisation by evaluation (invited talk) PEPM Ohad Kammar University of Edinburgh Media Attached
	16:10 25m Research paper		Symbolic Bisimulation for Open and Parameterized System PEPM Zechen Hou East China Normal University, Eric Madelaine INRIA DOI File Attached
	16:35 15m Break		Mini Break 2 PEPM
	16:50 35m Talk		Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk) PEPM Walid Taha
	17:25 20m Short-paper		An approach to generating text-based IDEs with syntax completion from syntax specification PEPM Isao Sasano Shibaura Institute of Technology DOI