Last update: 2020-06-14

UPDATES (2020-06-14): Due to the on-going COVID-19 pandemic, LFMTP 2020 will be held as an online-only workshop, co-located with the online versions of FSCD and IJCAR. The workshop is now scheduled for two days: 29 - 30 June, 2020.

Submission deadline extended to 18 May 2020.

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop 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.

LFMTP 2020 will provide researchers a forum to present state-of-the-art techniques and discuss progress in areas such as the following:


LFMTP 2020 will be held online, as part of the FSCD-IJCAR satelite events. For the details of the arrangment, we refer to the FSCD-IJCAR website.


See the program.


Please see register via IJCAR-FSCD 2020 Registration page.

Invited Speakers

For information about titles and abstracts, see Invited Talks.

List of accepted presentations

Important Dates

Updates (2020-06-14): The workshop schedule has been rescheduled to last for two days: 29 - 30 June 2020..

Updates (2020-04-16): Submission deadlines extended.

All deadlines are established as the end of day (23:59) AoE.


We solicit submissions of long abstracts describing original research results or descriptions of work in progress. The topics of the submissions should be of interest to the LFMTP community at large. Submitted abstracts should be in PDF, formatted using the EPTCS LaTeX style. The length is restricted to 2 pages. All submissions will undergo a light peer-review process and the authors of those accepted will be invited to present their papers at the workshop.

Submission is via EasyChair.


After the workshop we will publish post-proceedings in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series. Authors of accepted abstracts will be invited to submit the full versions of their papers for publication in the post-proceedings, subject to another round of review. Details of the second round review will be announced after the worskhop.

Program Committee


Claudio Sacerdoti Coen and Alwen Tiu.
Contact: LFMTP 2020 PC Chairs