International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)

Venue statistics

records by year

document access 

    frequent authors

      lfmtp.org

      15th LFMTP 2020

      14th LFMTP@LICS 2019: Vancouver, BC, Canada

      13th LFMTP@FSCD 2018: Oxford, UK

      12th LFMTP 2017: Oxford, UK

      11th LFMTP 2016: Porto, Portugal

      10th LFMTP 2015: Berlin, Germany

      9th LFMTP 2014: Vienna, Austria

      8th LFMTP 2013: Boston, MA, USA

      7th LFMTP 2012: Copenhagen, Denmark

      LFMTP 2012 Home Page

      6th LFMTP 2011

      5th LFMTP 2010

      4th LFMTP 2009: Montreal, Canada

      3rd LFMTP 2008: Pittsburgh, PA, USA

      took place as part of LICS-23

      2nd LFMTP 2007: Bremen, Germany

      took place as part of CADE-21

      1st LFMTP 2006: Seattle, WA, USA

      took place as part of FLOC'06

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics