Conferences

• 27th International Conference on Automated Deduction (2019)

Nat@LOGIC (2015)

• 10^th Workshop on Logical and Semantic Frameworks, with Applications
• 2^nd Workshop on Philosophy, Logic and Analytical Metaphysics
• 3^rd Workshop on Generalizations of Truth‑Functionality
• Workhop on the 15 years of the LFIs
• TRS Reasoning School

Workshops

• Workshop em Comemoração aos 10 anos do LoLITA (2018)
• Workshop on Generalized Quantifiers (2018)
• Temporal logic week (2015)
• Workshop sobre Lógicas Não-Clássicas (2014)
• LoLITA & ForAll: Workshop (2014)
• Universal Workshop on Logic (2013)
• Seminários do LoLITA (2012)
• Workshop da Decisão (2012)
• O Dia da Lógica Modal (2011)

Research seminars

The research seminars are listed here.