Program Committees
- 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 Tutorial @ CADE 2015 (Co-organizer with G. Nadathur)
-
LFMTP 2015: Logical Frameworks and Meta-Languages: Theory and Practice (PC co-chair with I. Cervesato)
I. Cervesato and K. Chaudhuri. Proceedings of the 10th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP). EPTCS v.185. August 2015. - 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)
Steering Committees
- IJCAR: member 2020–2024
- LFMTP: member 2015–2019