LSFA 2015 - 10th Workshop on Logical and Semantic Frameworks, with Applications
The pre-proceedings can be downloaded here.
LSFA 2015 (last edited 11/08/2015)
Proceedings