Events
Program Committees
- LFMTP 2025: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (PC co-chair with D. Nantes-Sobrinho)
- PPDP 2024: International Conference on the Principles and Practices of Declarative Programming (PC member)
- LFMTP 2024: International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (PC member)
- TABLEAUX 2023: International Conference on Tableaux and Related Systems (PC member)
- IJCAR 2022: International Joint Conference on Automated Reasoning (PC member)
- LFMTP 2022: International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (PC member)
- TABLEAUX 2021: International Confernce on Automated Reasoning with ANalytic Tableaux and Related Methods (PC member)
- IJCAR 2020: International Joint Conference on Automated Deduction (Conference Chair)
- LICS 2019: ACM/IEEE Symposium on Logic in Computer Science (PC member)
- SD 2017: Structures and Deduction (PC co-chair with A. Das and W. Heijltjes)
- LFMTP 2017: Logical Frameworks and Meta-Languages: Theory and Practice (PC member)
- LSFA 2017: Workshop on Logical and Semantic Frameworks, with Applications (PC member)
- LSFA 2016: Workshop on Logical and Semantic Frameworks, with Applications (Invited speaker)
- WoF 2015: International Workshop on Focusing (PC member)
- FICS 2015: International Workshop on Fixed Points in Computer Science (PC member)
- Abella 2015: Abella Tutorial @ CADE 2015 (Co-organizer with G. Nadathur)
- LFMTP 2015: Logical Frameworks and Meta-Languages: Theory and Practice (PC co-chair with I. Cervesato)
- CPP 2015: ACM-SIGPLAN Conference on Certified Programs and Proofs (PC member)
- LFMTP 2014: Logical Frameworks and Meta-Languages: Theory and Practice (PC member)
- LINEARITY 2014: International Workshop on Linearity (PC member)
- SD 2014: International Workshop on Structures and Deduction (PC co-chair with L. Straßburger and W. Heijltjes)
- ICLP 2014: International Confernece on Logic Programming (PC member)