<div dir="ltr">=============================================================<br><br>               Call for papers -- LFMTP 2022<br><br>           Logical Frameworks and Meta-Languages:<br>                   Theory and Practice<br><br>             Haifa, Israel -- August 1st, 2022<br>             Affiliated with FSCD at FLoC 2022<br><br>              <a href="https://urldefense.com/v3/__http://lfmtp.org/workshops/2022__;!!IBzWLUs!FAw5H8mpkebub9G85TV1zOCg_HJTw2ejrXAt3ceaD_oeSQTh6d_R-NRpIr3GbJzXs7FAIwChHxPQJg$">http://lfmtp.org/workshops/2022</a> <br><br>=============================================================<br><br>         Abstract submission deadline: May 3, 2022<br><br>          LFMTP 2022 will hold a special session<br>        in honour of Frank Pfenning's 60th birthday:<br>        one more reason to contribute & participate!<br><br>Logical frameworks and meta-languages form a common substrate for<br>representing, implementing and reasoning about a wide variety of<br>deductive systems of interest in logic and computer science. Their<br>design, implementation and their use in reasoning tasks, ranging from<br>the correctness of software to the properties of formal<br>systems, have been the focus of considerable research over the last two<br>decades. This workshop will bring together designers, implementors and<br>practitioners to discuss various aspects impinging on the structure and<br>utility of logical frameworks, including the treatment of variable<br>binding, inductive and co-inductive reasoning techniques and the<br>expressiveness and lucidity of the reasoning process.<br><br>LFMTP 2022 will provide researchers a forum to present state-of-the-art<br>techniques and discuss progress in areas such as the following:<br><br>* Encoding and reasoning about the meta-theory of programming languages,<br>  logical systems and related formally specified systems.<br><br>* Theoretical and practical issues concerning the treatment of variable<br>  binding, especially the representation of, and reasoning about,<br>  datatypes defined from binding signatures.<br><br>* Logical treatments of inductive and co-inductive definitions and<br>  associated reasoning techniques, including inductive types of higher<br>  dimension in homotopy type theory<br><br>* Graphical languages for building proofs, applications in geometry,<br>  equational reasoning and category theory.<br><br>* New theory contributions: canonical and substructural frameworks,<br>  contextual frameworks, proof-theoretic foundations supporting<br>  binders, functional programming over logical frameworks,<br>  homotopy and cubical type theory.<br><br>* Applications of logical frameworks: proof-carrying architectures, proof<br>  exchange and transformation, program refactoring, etc.<br><br>* Techniques for programming with binders in functional programming<br>  languages such as Haskell, OCaml or Agda, and logic programming<br>  languages such as lambda Prolog or Alpha-Prolog.<br><br>The workshop's program will include contributed and invited talks.<br>We hope that LFMTP takes place physically in Haifa, but online<br>participation will be possible and may even be necessary.<br><br>LMFTP 2022 will host a special session celebrating Frank Pfenning's<br>contributions in the occasion of his 60th Birthday (belated).<br>We therefore encourage and invite contributions that build or reflect on<br>Frank's broad range of contributions.<br><br>## Important Dates<br><br>Abstract submission deadline: May 3<br>Paper submission deadline: May 10<br>Notification to authors: June 15<br><br>## Submission<br><br>Submit on EasyChair: <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=lfmtp2022__;!!IBzWLUs!FAw5H8mpkebub9G85TV1zOCg_HJTw2ejrXAt3ceaD_oeSQTh6d_R-NRpIr3GbJzXs7FAIwAiLeiM1Q$">https://easychair.org/conferences/?conf=lfmtp2022</a><br><br>In addition to regular papers, we welcome/encourage the submission of<br>"work in progress" reports, in a broad sense. Those do not need to<br>report fully polished research results, but should be of interest for<br>the community at large.<br><br>Submitted papers should be in PDF, formatted using the EPTCS style<br>guidelines. The length is restricted to 15 pages for regular papers and<br>8 pages for "Work in Progress" papers.<br><br>## Proceedings<br><br>A selection of the presented papers will be published online in the<br>Electronic Proceedings in Theoretical Computer Science (EPTCS).<br><br>## Program Committee<br><br>* Andreas Abel (Gothenburg University)<br>* David Baelde, Co-Chair (ENS Rennes, IRISA)<br>* Stephanie Balzer (CMU)<br>* Kaustuv Chaudhuri (Inria Saclay Ile-de-France)<br>* Kenji Maillard (Inria Rennes Bretagne Atlantique)<br>* Sonia Marin (University of Birmingham)<br>* Vivek Nigam, Co-Chair (Huawei ERC & UFPB)<br>* Giselle Reis (CMU Qatar)<br>* Gabriel Scherer (Inria Saclay Ile-de-France)<br>* Carsten Schuermann (IT University of Copenhagen)<br>* Bernardo Toninho (Universidade Nova de Lisboa and NOVA-LINCS)<br></div>