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
NAT@Logic 2015Posted in LogicNAT@Logic 2015 – Logic AT Natal Event Date: Aug 31, 2015 - Sep 04, 2015 Posted inLocation: Natal, Brazil Deadline: Apr 12, 2015
