Events
From K Framework
- Summer School on Language Frameworks, Sinaia, Romania, July 23-31, 2012.
- K Tutorial at PLDI 2012, Beijing, China, June 16, 2012.
- 2011 K Workshop, Cheile Gradistei, Romania, August 8-12, 2011.
- 2010 K Workshop, Nags Head, North Carolina, United States, August 15-22, 2010.
