Write a Blog >>
Mon 20 Jan 2020 16:10 - 16:35 at Frontenac - Sessions 3 & 4 Chair(s): Jeremy Yallop, Atsushi Igarashi
Eric Madelaine Slides (PEPM2020-EMadelaine.pdf)1.59MiB

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

15:35 - 17:45: Sessions 3 & 4PEPM at Frontenac
Chair(s): Jeremy YallopUniversity of Cambridge, UK, Atsushi IgarashiKyoto University, Japan
15:35 - 16:10
Talk
Frex: Free extensions for normalisation by evaluation (invited talk)
PEPM
Ohad KammarUniversity of Edinburgh
Media Attached
16:10 - 16:35
Research paper
Symbolic Bisimulation for Open and Parameterized System
PEPM
Zechen HouEast China Normal University, Eric MadelaineINRIA
DOI File Attached
16:35 - 16:50
Break
Mini Break 2
PEPM
16:50 - 17:25
Talk
Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk)
PEPM
17:25 - 17:45
Short-paper
An approach to generating text-based IDEs with syntax completion from syntax specification
PEPM
Isao SasanoShibaura Institute of Technology
DOI