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
LFMTP Prorgram
You should be re-directed to FLOC 2022 for the LFMTP program.