LFMTP 2017 Call for papers is out

The Call for Papers for the 2017 edition of “Logical Frameworks and Meta Languages:
Theory and Practice.” is out: see the workshop webpage.

This year LFMTP is hosted by FSCD 2017 and co-located with ICFP 2017 and other 10 workshops: EUTypes, HDRA, HoTT, IFIP, IWC, SD, String, TLLA, UNIF and WPTE. September will be great in Oxford, so submit to LFMTP 2017.