Last update: 2020-08-26

UPDATES (2020-08-26):

LFMTP 2020 now solicits submissions for the Post-Proceedings.
Abstract deadline: 2 October 2020
Paper deadline: 9 October 2020
For details, see the LFMTP 2020 Post-Proceedings Call for Papers.

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-08-26): Submission for post-proceedings is now open. See the Post-Proceedings section below for details.

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.

Post-Proceedings Submissions

Submission for the post-proceedings is now open. Submission is open to all; attendance at the workshop is not a prerequisite. Submitted papers should be in PDF, formatted using the EPTCS LaTeX style. The length is restricted to 15 pages.

Submission is via EasyChair:

All submissions will be peer-reviewed and accepted papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series.

Important Dates (post-proceedings)

Program Committee


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