LSFA 2019Posted in Logic14th Workshop on Logical and Semantic Frameworks, with Applications Event Date: Aug 24, 2019 - Aug 26, 2019 Posted inLocation: Natal, Brazil Deadline: May 01, 2019
LSFA 2018Posted in Programming Languages13th Workshop on Logical and Semantic Frameworks, with Applications Event Date: Sep 26, 2018 - Sep 28, 2018 Posted inLocation: Fortaleza, Brazil Deadline: Jun 10, 2018
