WiL 2021Posted in Formal Methods5th Women in Logic Workshop Event Date: Jun 27, 2021 - Jun 27, 2021 Posted inLocation: Rome - online Deadline: Apr 20, 2021
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
