Logical Frameworks and Meta-Languages: Theory and Practice
Affiliated with
FSCD 2023
July 2, 2023
Rome, Italy
Call for Papers
Invited speakers
Program
Invited talks
Niki Vazou
(IMDEA Software Institute Madrid, Spain)