Short talks

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

Comments are closed.