[TYPES/announce] 4th Workshop on Program Equivalence and Relational Reasoning (PERR 2020)

[Andrzej Murawski]

*** Registration closes July 10th, 2020 ***

4TH WORKSHOP ON PROGRAM EQUIVALENCE AND RELATIONAL REASONING (PERR 2020)
Associated with the 32nd International Conference on Computer-Aided Verification (CAV 2020)
Tuesday 21st July 2020 (online)
https://easychair.org/cfp/PERR-2020

* REGISTRATION
Registration for the CAV 2020 event is free. Registration closes JULY 10TH, 2020. Registration is required to attend the main conference and all associated workshops. 
http://i-cav.org/2020/attending/

* WORKSHOP
 PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 4th in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. Last year's PERR was held as a satellite workshop of ETAPS. PERR 2020 is affiliated with CAV.

* PRELIMINARY PROGRAM
Starts at 6am (Los Angeles), 9am (New York), 2pm (London), 3pm (Paris)

06:00-07:00 Kedar Namjoshi, Designing a Self-Certifying Compiler (invited talk)
07:00-07:20  Lucas Silver, Irene Yoon, Yannick Zakowski and Steve Zdancewic. Equational Proofs of Optimizations with Interaction Trees
07:20-07:40  Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Birgit Vogel-Heuser and Bernhard Beckert. Relational Test Tables: A Practical Specification Language for Evolution and Security