|
|
|
| Home | Publications | Teaching | Talks | Professional Activities | Looking Back | Links |
Recent Talks2026A modal approach to substitutions, Formal Methods Update Meeting, Krea University, Sri City, July, 2026. Set Theory and Logic, IWM Summer School, BITS Pilani, Hyderabad, June, 2026. 2025A modal logic study of substitutions, 18th Asian Logic Conference, Kyoto Sangyo University, Kyoto, September, 2025. 2024Logic and Games, National Workshop on Mathematical Logic and Applications, Gauhati University, December, 2024. On reasoning in games on graphs, International Seminar on Interdisciplinary Scopes of Mathematical and Computational Logic, Gauhati University, May, 2024. 2023On epistemic reasoning in games on graphs, LORI 2023, Jinan, October, 2023. Hide and Seek games: A logical perspective, Xi'an Jiatong University, Xi'an, October, 2023. Cops and robber game: A logic perspective, JRC Joint PhD Celebration Event, Amsterdam, September, 2023.A modal logic for reasoning in distributed games, Tsinghua Logic Salon, Tsinghua University, Beijing, May, 2023. On formalising mathematics, Hypatian voices: A gynocentric national seminar on mathematical sciences, NBU, Siliguri, March, 2023. 2022Formal methods in mathematics, IWM Regional Workshop on research and opportunities, VNIT Nagpur, December, 2022. What drives people's choices in turn-taking games?, Tsinghua Logic Online Seminar, Tsinghua University, Virtual, October, 2022. 2021On game equivalences: Algebraic and logical perspectives, "Relax" Workshop on Games, Chennai Mathematical Institute, Virtual, February, 2021. 2020On negotiation games, Strategies for Uncertainty, an FSTTCS 2020 Pre-Conference Workshop, Virtual, December, 2020. On game logics, Tsinghua Logic Online Seminar, Tsinghua University, Virtual, April, 2020. |