Home Publications Teaching Talks Professional Activities Looking Back Links

Editorial work

Editor (with R. Ramanujam), Proceedings of the Ninth Workshop on Methods for Modalities, M4M-9, EPTCS 243, 2017.

Editor (with Sanjiva Prasad), Logic and Its Applications, 7th Indian Conference, ICLA 2017, Proceedings, LNCS 10119, Springer, 2017.

Editor (with J. van Benthem and R. Verbrugge), Models of Strategic Reasoning: Logics, Games and Communities. FoLLI-LNAI State-of-the-Art Survey, LNCS 8972, Springer, Heidelberg, December, 2015.

Editor (with J. Szymanik), The Facts Matter. Essays on Logic and Cognition in Honour Of Rineke Verbrugge, College Publications, March, 2015.

Guest Editor (with R. Ramanujam), Synthese KRA volume on Logic and Social Interaction, December, 2010.

Programme Committee member

Thirty-second AAAI Conference on Artificial Intelligence (AAAI 2018), New Orleans, USA, February 2-7, 2018.

26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 19-25, 2017.

29th European Summer School in Logic, Language and Information (ESSLLI 2017) Student Session, France, July 17-28, 2017.

Formal Epistemology Workshop (FEW 2017), Seattle, USA, May 26-28, 2017.

Sixteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), Săo Paulo, Brazil, May 8-12, 2017.

Programme Co-chair (with R. Ramanujam), Ninth Methods for Modalities Workshop (M4M-9), Kanpur, India, January 8-10, 2017.

Programme Co-chair (with S. Prasad), Seventh Indian Conference on Logic and its Applications (ICLA 2017), Kanpur, India, January 5-7, 2017.

28th European Summer School in Logic, Language and Information (ESSLLI 2016) Student Session, Italy, August 15-26, 2016.

27th European Summer School in Logic, Language and Information (ESSLLI 2015) Student Session, Spain, August 3-14, 2015.

Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015), Pittsburgh, USA, June 4-6, 2015.

Sixth Indian Conference on Logic and its Applications (ICLA 2015), Mumbai, India, January 8-10, 2015.

15th International Conference on Computational Logic in Multi-Agent Systems (CLIMA XV), Prague, Czech Republic, August 18-19, 2014.

26th European Summer School in Logic, Language and Information (ESSLLI 2014) Student Session, Germany, August 11-22, 2014.

Reasoning about other minds: Logical and cognitive perspectives, Groningen, Netherlands, August 04-05, 2014.

Programme Co-chair (with S. Hazarika and R. Mukhopadhyay), Fifth Indian School on Logic and its Applications (ISLA 2014), Tezpur, India, January 6-17, 2014.

25th European Summer School in Logic, Language and Information (ESSLLI 2013) Student Session, Germany, August 5-16, 2013.

24rd European Summer School in Logic, Language and Information (ESSLLI 2012) Student Session, Poland, August 6-17, 2012.

23rd European Summer School in Logic, Language and Information (ESSLLI 2011) Student Session, Slovenia, August 1-12, 2011.

Reasoning about other minds: Logical and Cognitive Perspectives, Groningen, Netherlands, July 11, 2011.

4th International Conference on Pattern Recognition and Machine Intelligence (PReMI'11), Moscow, Russia, June 27-July 1, 2011.

Second Indian Winter School on Logic, Kanpur, India, January 14-26, 2008.

Grants and Awards

Best Paper Award (with N. Bulling and R. Verbrugge) for the paper, `Reaching your goals without spilling the beans: Boolean secrecy games' at 16th International Conference on Principles and Practices of Multi-Agent Systems, 2013.

Free Competition Grant (with R. Verbrugge and J. van Benthem) of the Netherlands Organisation for Scientific Research (NWO), 2009 - 2012.

Rubicon Grant of the Netherlands Organisation for Scientific Research (NWO), 2006 - 2007.

Research fellowship of the National Board of Higher Mathematics (NBHM), Department of Atomic Energy, Government of India, 1998 - 2002.

Principal Manoranjan Dasgupta Centenary Award, and Acharya Prafulla Chandra Roy Memorial Prize for becoming first in the first class in the M.Sc. Examination in Pure Mathematics of the Calcutta University in 1998.

Bibhuti Bhusan Sen Memorial Scholarship, Dr. Meghnad Saha Memorial Scholarship, and Dr. Satinath Bagchi Memorial Book Prize for securing first position in the B.Sc. Part I and Part II combined Examination of the Calcutta University, 1996 among the students of the Presidency College in Mathematics Honours.

Workshop and Symposium Coordinator

(with R. Parikh), Symposium on Logic @ TIMCAMS 2016, Varanasi, India, December 14-17, 2016.

(with J. Szymanik), Workshop Rineke@50, Groningen, Netherlands, March 12, 2015.

(with R. Ramanujam), LAMAS Instructional Seminar (ISLAMAS 2015), Chennai, India, February 1-3, 2015.

Logic Symposium, 29th Annual Conference of the Ramanujan Mathematical Society, June 23-24, 2014.

(with J. van Benthem and R. Verbrugge), Workshop on Modeling Strategic Reasoning, Lorentz Centre, Leiden, February 20-24, 2012.

(with M.K. Chakraborty), A Special Session on Logic and its applications, 4th International Conference on Pattern Recognition and Machine Intelligence (PReMI'11), Moscow, June 27-July 1, 2011.

Workshop on Alternative approaches to belief change: A consolidated perspective, during ISLA 2010, Hyderabad, January, 2010.

(with R. Verbrugge), Workshop on Logic and Strategies (STRATEGIES-I), Groningen, June 26, 2009.

(with E. Pacuit and R. Ramanujam), Workshop on Logic and Social Interaction during ICLA 2009, Chennai, January 7-8, 2009.

Organizing Committee member

Fifth Indian Conference on Logic and its Applications (ICLA 2013), Chennai, January 10-12, 2013.

Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIV), Chennai, January 7-9, 2013.

Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), Groningen, July 11-15, 2011.

Third Indian Conference on Logic and its Applications (ICLA 2009), Chennai, January 7-11, 2009.

International Conference on Logic, Navya-Nyaya and Applications, Kolkata, January 3-7, 2007.

Academic Visits

University of Groningen, June-July, 2017.

University of Groningen, May-July, 2016.

University of California, Davis, June, 2015.

Institute for Logic, Language and Computation, Amsterdam, March, 2015.

University of Groningen, April-June, 2014.

University of Seville, March, 2014.

University of Groningen, May-July, 2013.

University of Groningen, May-July, 2012.

Computational Intelligence Group, Clausthal University of Technology, Clausthal, February, 2011.

Individual and Collective Reasoning Group, University of Luxembourg, June, 2010.

Center for Soft Computing Research, Indian Statistical Institute, Kolkata, August, 2009 and January, 2010.

Institute of Mathematical Sciences, Chennai in October - November, 2007, April, 2005 and August, 2001.

Institute for Logic, Language and Computation, Amsterdam, June, 2006.

Decision Systems Lab at the University of Wollongong, New South Wales, October - November, 2003.

Student advising

(with R. Verbrugge) Asmita Roy, a masters student from ISI Chennai in a research visit to Groningen during June, 2017.

(with R. Verbrugge) Saikat Palit, a masters student from ISI Chennai in a research visit to Groningen during June, 2016.

(with R. Verbrugge) Tamoghna Halder, a masters student from ISI Chennai in a research visit to Groningen during June, 2014.

(with R. Verbrugge) Khyati Sharma, a masters student from ISI Chennai in a research visit to Groningen during June, 2014.

(with R. Verbrugge) Sourit Manna, a masters student from ISI Chennai in a research visit to Groningen during June, 2013.

Purbita Jana, a Ph.D. student from University of Calcutta during a research visit to Chennai during March - April, 2013.

(with R. Verbrugge) Thiri Haymar Kyaw, a postdoc from University of Technology (Yatanarpon Cyber City), Myanmar in a research visit to Groningen during November 2011 - September, 2012.

(with R. Verbrugge) Sumit Sourabh, a masters student from IIT, Kanpur in a research visit to Groningen during May - July, 2011.

(with R. Verbrugge) Can Baskent, a Ph.D. student from the City University of New York (CUNY) in a research visit to Groningen during June - July, 2010.

Masters Thesis supervision (with F. Veltman): Martijn Pennings, A Konolidge Bridge between Default Logic and Autoepistemic Logic, Master of Logic thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, August, 2008.

Others

Member, E.W. Beth Dissertation Prize Committee, 2017.

Invited Member, Committee on Membership, Association for Symbolic Logic, January 2015 - January 2018.

Secretary, Association for Logic in India, January 2013 - January 2017.

Executive Council member, Association for Logic in India, January 2009 - January 2017.

Member of Calcutta Logic Circle since 1997.

Reviewer: ACM Transactions on Computational Logic, Synthese, Review of Symbolic Logic, Journal of Artificial Intelligence Research, Journal of Logic, Language and Information, Journal of Philosophical Logic, Computación y Sistemas; AAAI, AAMAS, CiE, CLIMA, FEW, ICLA, IJCAI, KR, LAMAS, LOFT, TARK.