Logical Frameworks and Meta-Languages: Theory and Practice #LFMTP2023 "will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process". Despite being called a workshop it does publish proceedings #logic #itp https://lfmtp.org/workshops/2023/