LSFA 2017Posted in Logic12th Workshop on Logical and Semantic Frameworks, with Applications Event Date: Sep 23, 2017 - Sep 24, 2017 Posted inLocation: Brasília, Brazil Deadline: Jun 21, 2017
