Logical f rameworks and meta-languages form a common substra te for representing, implementing and reasoning ab out a wide variety of deductive systems of interes t in logic and computer science. Their design, imp lementation and their use in reasoning tasks, rang ing from the correctness of software to the proper ties of formal systems, have been the focus of con siderable research over the last two decades. This workshop will bring together designers, implement ors and practitioners to discuss various aspects i mpinging on the structure and utility of logical f rameworks, including the treatment of variable bin ding, inductive and co-inductive reasoning techniq ues and the expressiveness and lucidity of the rea soning process.
\n\nLFMTP 2020 is affiliat ed with FSCD 2020 and IJCAR 2020. To celebrate the 60th birthday of Frank Pfenning and his great man y contributions to the topics of LFMTP, one sessio n will be devoted to talks by collaborators and fr iends of Frank.
\nWe solicit submissions of long abstracts describing original research results or descriptions of work in progre ss. The topics of the submissions should be of int erest to the LFMTP community at large. Submitted a bstracts should be in PDF, formatted using the EPT CS LaTeX style. The length is restricted to 2 page s. All submissions will undergo a light peer-revie w process and the authors of those accepted will b e invited to present their papers at the workshop.
\n\nIn addition to regular papers, we acc ept the submission of "work in progress" reports, in a broad sense. Those do not need to r eport fully polished research results, but should be of interest for the community at large.
\n URL:https://lfmtp.org/workshops/2020/ END:VEVENT END:VCALENDAR