Events

List of events I took part in the organising committee.

2023

• XVII CLMPST - XVII Congress on Logic, Methodology, and Philosophy of Science and Technology

2022

• EBL 2022 - Brazilian Logic Conference
• WBL 2022 - Workshop Brasileiro de Lógica

2021

• WBL 2021 - Workshop Brasileiro de Lógica

2020

• LSFA 2020 - Logical and Semantic Frameworks with Applications
• I WBL - Workshop Brasileiro de Lógica
• Lógicos em Quarentena - associated to The Logic Supergroup

2019

• Mirantão Days 2019

2018

• Conference on Mathematical Logic 2018 (ICM 2018 satellite)
• Mirantão Days 2018

2017

• Mirantão Days 2017
• WEITC 2017 - Workshop Escola de Inverno em Teoria da Computação
• EBL 2017 - Brazilian Logic Conference
• BayLogic 2017 - Bay Logic (Workshop FR∀M∃ - TecMF)

2016

• Mirantão Days 2016

2015

• FACS 2015 - Formal Aspects of Component Software
• WoLLI 2015 - Workshop on Logic, Language and Information

2014

• EBL 2014 - Brazilian Logic Conference

2013

• Workshop on Logic and Semantics

2012

• Proof Theory 2012 - Transcendental Syntax: The conditions of Possibility of Language
• Logic School on Proof Theory - Proof Theory: Linear Logic, Ludics and Geometry of Interaction
• Workshop on Logic and Semantics