Logical Frameworks and Meta-Languages: Theory and Practice
Affiliated with
CADE 28
July 16, 2021
Pittsburgh, Pennsylvania, USA
Call for Papers
Invited speakers
Program
Invited talks
Facilitating Meta-Theory Reasoning
Giselle Reis
CMU, Qatar
The MetaCoq ProjectL
Matthieu Sozeau
Inria, France