Events
WBL 2022 - III Workshop Brasileiro de Lógica
WEITC 2017 - I Workshop Escola de Inverno em Teoria da Computação 2017 (In English.)
BayLogic 2017 - Bay Logic 2017 (Workshop FR∀M∃ - TecMF)
FACS 2015 - Formal Aspects of Component Software 2015
WoLLI 2015 - Workshop on Logic, Language and Information 2015