Short talks session
Monday 1st July
18:00 Fast Higher-order Term Rewriting for Model Checking purposes, Rick Erkens, Technical University of Eindhoven, Netherlands
18:05 What is the right structural congruence for (R)CCS? Clément Aubert, Augusta University, USA
18:10 Rewriting types, Michał Gajda, Migamake Pte Ltd, Singapore
18:15 Termination with Dependent Types, Guillaume Genestier, ENS Paris-Saclay, France
18:20 Encoding Logic in the Logical Framework using Rewriting, Gaspard Férey, Mines ParisTech, France