Workshop: Topics on the K framework
FROM 2018
WRLA2016
K Workshop 2011
Summer School on Language Frameworks 2012