Recent Program Committees

• PC member of the 21st International Symposium on Logical and Semantic Frameworks with Applications (LSFA'26)
• PC member of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD'25)
• PC member of the 19th Logical and Semantic Frameworks with Applications (LSFA'24)
• PC member of the 18th International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP'23)
• PC member of the 11th International Joint Conference on Automated Reasoning (IJCAR'22)
• PC member of the 28th International Conference on Types for Proofs and Programs (TYPES'22)
• PC member of the 27th International Conference on Types for Proofs and Programs (TYPES'21)
• PC member of the 14th Conference on Intelligent Computer Mathematics (CICM'21)
• PC member of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD'21)
• PC member of the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC'20)
• PC member of the 13th Conference on Intelligent Computer Mathematics (CICM'20)
• Member of the panel of the 9th Confluence Competition (CoCo'20)
• PC member of the 15th International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP'20)
• PC member of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20)
• Co-organizer of the 11th International School on Rewriting (ISR'19) with Olivier Hermant
• PC member of the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC'19)
• PC member of the 6th Workshop on Proof eXchange for Theorem Proving (PxTP'19)
• PC member of Large Mathematical Libraries (LML'19)
• PC co-chair of the 13th international workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'18) with Giselle Reis