Others
Invited talks
Program Committee Member
External Reviewer
Service
"Bundled fragments of First-order Modal Logic: Decidability and Complexity" (with R. Ramanujam ) at Bundles in Logic, Leiden, Netherlands, 2025
"Decidable Fragments of First Order Modal Logic" at Complexity, Algorithms, Automata and Logic Meet, Paris, France, 2025
"Decidable Fragments of First Order Modal Logic" at Recent Trends in Logic and Games Theory, Chennai, India, 2025
"Bundled Fragments of First Order Modal Logic" at Tutorial on First-order Modal Logic co-located with ICLA, Kolkata, India, 2025
"Decidable Fragments of Term Modal Logic" at Workshop on Decidable Fragments of First-order Modal Logic affiliated with LICS , FLOC, Haifa, Israel, 2022 (talk was given online)