{"ID":2856235,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2510.11199","arxiv_id":"2510.11199","title":"Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice","abstract":"These are the contributed papers presented at the 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025), at Birmingham, UK on 19 July as a satellite event of the FSCD conference. The program committee for this edition of LFMTP was chaired by Kaustuv Chaudhuri and Daniele Nantes-Sobrinho. More information about LFMTP can be found on https://lfmtp.org.","short_abstract":"These are the contributed papers presented at the 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025), at Birmingham, UK on 19 July as a satellite event of the FSCD conference. The program committee for this edition of LFMTP was chaired by Kaustuv Chaudhuri and Daniele...","url_abs":"https://arxiv.org/abs/2510.11199","url_pdf":"https://arxiv.org/pdf/2510.11199v1","authors":"[\"Kaustuv Chaudhuri\",\"Daniele Nantes-Sobrinho\"]","published":"2025-10-13T09:31:16Z","proceeding":"cs.LO","tasks":"[\"cs.LO\",\"cs.PL\"]","methods":"[]","project_urls":"[\"https://lfmtp.org\"]","has_code":false}