Logical Frameworks and Meta-Languages: Theory and Practice
Affiliated with
FSCD 2022
, part of
FLoC 2022
August 1, 2022
Haifa, Israel
Call for Papers
Invited speakers
Program