Professional Positions

Professor and Head, Department of Mathematics & Statistics, IIT Kanpur

Member, Committee on Logic in East Asia, Association for Symbolic Logic

Member, Editorial Board, Transactions on Rough Sets  (LNCS journal sub-line, Springer)

Member, Editorial Board, Fuzzy Sets and Systems  (Elsevier)

Member, Council, Association for Logic in India (ALI)

Member, Steering Committee, Indo-European Research and Training Network in Logic (IERTNiL: 2013-2017) 

Organization of Conferences/Workshops

Co-chair (with A.V. Sreejith),  Tenth Indian Conference on Logic and its Applications (ICLA 2023), March 3-5, 2023, IIT Indore

Co-chair, Program Committee (with Fan Min, Ivo Duntsch and Z. Suraj), International Joint Conference on Rough Sets (IJCRS 2019), June 17-21, 2019, Debrecen, Hungary

Co-chair (with M.K. Chakraborty), Special Session on Rough Logics and Foundations of Rough Sets, as part of International Joint Conference on Rough Sets (IJCRS 2018), Aug. 20-24, 2018, Quy Nhon, Vietnam

Co-chair (with Krishna S.),  Sixth Indian Conference on Logic and its Applications (ICLA 2015), Jan. 8-10, 2015, IIT Bombay

Co-chair (with A. Seth),  Fourth Indian Conference on Logic and its Applications (ICLA 2011), Jan. 9-11, 2011, Delhi University

Chair, Pre-conference Workshop on Foundations of Rough Set Theory, prior to the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining & Granular Computing (RSFDGrC 2009), Dec. 15, 2009, Delhi

Coordinator, Workshop on Relational Structures in Reasoning with Incomplete Information, as part of Third ISLA, Jan. 18-29, 2010, University of Hyderabad

Coordinator (with M. Gehrke), Workshop on Algebraic Logic, Jan. 7-8, 2009, IMSc, Chennai

Coordinator (with A. Seth), Second Indian Winter School on Logic, Jan. 14-26, 2008, IIT Kanpur

In Programme Committees of

17th Asian Logic Conference

 

IJCRS 2020

October 9-13, 2023

 

June 29-July 3, 2020

Tianjin, China

 

La Habana, Cuba

PReMI 2019

December 17-20, 2019

Tezpur University

IJCRS 2019

June 17-21, 2019

Debrecen, Hungary

IJCRS 2018

August 21-24, 2018

Quy Nhon, Vietnam

ICLA 2017

Jan. 5-7, 2017

IIT Kanpur

M4M

Jan. 8-9, 2017

IIT Kanpur

14th  Asian Logic Conference

Jan. 5-8, 2015

IIT Bombay

Joint Rough Set Symposium (JRS2014)

July 9-13, 2014

Granada and Madrid, Spain

14th International Conference on Principles of Knowledge Representation and Reasoning (KR2014)

July 20-24, 2014

Wien, Austria

Pattern Recognition and Machine Intelligence (PReMI '13)

Dec. 10-14, 2013

ISI, Kolkata

Joint Rough Set Symposium (JRS2013)

Oct. 11-14, 2013

Halifax, Canada

Joint Rough Set Symposium (JRS2012)

Aug. 17-20, 2012

Chengdu, China

4th Indian School on Logic and its Applications (ISLA 2012)

Jan. 9-20, 2012  

Manipal University

Rough Sets and Knowledge Technology (RSKT2011)

Oct. 9-12, 2011

Banff, Canada

Rough Sets, Fuzzy Sets, Data Mining & Granular Computing(RSFDGrC 2011)

June 25-27, 2011

Moscow, Russia

ICM Satellite Event on Logic and Set Theory

Aug. 15-17, 2010

IMSc, Chennai

Rough Sets and Current Trends in Computing (RSCTC 2010)

June 28-30, 2010

Warsaw, Poland

Rough Sets, Fuzzy Sets, Data Mining & Granular Computing(RSFDGrC 2009)

Dec. 16-18, 2009

Delhi

IFSA-EUSFLAT 2009

July 20-24, 2009

Lisbon, Portugal

3rd Indian Conference on Logic and its Applications (ICLA 2009)

Jan. 7-11, 2009

IMSc, Chennai

Rough Sets and Current Trends in Computing (RSCTC 2008)

Oct. 23-25, 2008

Akron, Ohio, USA

Rough Sets and Knowledge Technology (RSKT2008)

May 17-19, 2008

Chengdu, China

Joint Rough Set Symposium (JRS07)

May 14-16, 2007

Toronto, Canada

International Conference on Logic, Navya Nyaya and Applications: A Homage to Bimal Krishna Matilal

Jan. 3-6, 2007

Jadavpur University, Kolkata

Rough Sets and Knowledge Technology (RSKT2006)

July 24-26, 2006

Chongqing, China

Pattern Recognition and Machine Intelligence (PReMI '05)

Dec. 18-22, 2005

ISI, Kolkata

 

Professional Organization Membership

Association for Symbolic Logic

Indian Association for Research in Computing Science, TIFR

Indian Statistical Institute, Kolkata

 

Ph.d. Supervision at IIT Kanpur

Prosenjit Howlader (2023). Thesis: A Study of Representations and Logics for Double Boolean Algebras and Expansions.

Anuj Kumar More (2019). Thesis: A Study of Algebraic Structures and Logics based on Categories of Rough Sets.

Arun Kumar (2016). Thesis: A Study of Algebras and Logics of Rough Sets based on Classical and Generalized Approximation Spaces.

Md. Aquil Khan (2010). Thesis: Multiple-source Approximation Systems, Evolving Information Systems and Corresponding Logics: A Study in Rough Set Theory.

 

Invited Lectures/Tutorials        

9th Indian School on Logic and its Applications (ISLA 2022), IIT Kanpur, 2022

7th World Congress and School of Universal Logic (UNILOG), Greece, 2022

UNESCO World Logic Day 2022

RSGA 2021, Tripura

International Conference on Computational Mathematics and its Applications (CMA 2019), IIT Indore, 2019

Women in Science and Engineering (WiSE 2019), IIT Kanpur, 2019 

International Joint Conference on Rough Sets (IJCRS 2018), Quy Nhon, Vietnam, 2018

Silver Jubilee Workshop, Machine Intelligence Unit, Indian Statistical Institute Kolkata, 2018

7th Indian School on Logic and its Applications (ISLA 2018) Part II, Indian Institute of Engineering Science and Technology, Shibpur, 2018

Annual Seminar of the Calcutta Logic Circle, University of Calcutta, 2017

International Conference of The Indian Mathematics Consortium in cooperation with American Mathematical Society (ICTIMCAMS), Banaras Hindu University, 2016

Logic, Epics and Ethics: Homage to Professor Bimal Krishna Matilal, Jadavpur University, Kolkata, December 2016

Workshop on Fuzzy and Rough Sets for Knowledge Discovery (WFRKD 2016), Jawaharlal Nehru University, Delhi, 2016

6th Indian School on Logic and its Applications (ISLA 2016) Part II, Jadavpur University, Kolkata, 2016

Annual Seminar of the Calcutta Logic Circle, IBRAD Kolkata, 2014-2015

ICFUA, Kolkata, Dec. 2013

Annual Seminar of the Calcutta Logic Circle  -- celebrating 25 years of CLC, Jadavpur University, Kolkata, Oct. 2013

4th Indian School on Logic and its Applications (ISLA 2012), Manipal University, Jan. 2012

International Workshop on Fuzzy Sets, Rough Sets, Uncertainty Analysis and Applications, NIT Durgapur, Nov. 2011

Dept. of HSS, IIT Kanpur, Oct. 2011

Annual Seminar of the Calcutta Logic Circle, IBRAD, Kolkata, Sept. 2011

National Conf. on Emerging Trends in Soft Computing, Nowrosjee Wadia College, Pune, Feb. 2011

Presidency University, Kolkata, Dec. 2010

International workshop on Rough Sets: Future Research Directions, University of Warsaw, June 2010

Seminar on Logic and Set Theory, Dept. of Pure Mathematics, University of Calcutta, Dec. 2009

MHRD/AICTE Winter School on Logic and Applications of Logic (LAAL 2009), IIT Kharagpur, Dec. 2009

International Conference on Rough sets, Fuzzy sets and Soft Computing, Agartala, Tripura, Nov. 2009

Annual Seminar of the Calcutta Logic Circle, IBRAD, Kolkata, Sept. 2009

Course on Rough Set Theory, Institute of Logic and Cognition (ILC), Sun Yat-Sen University, Guangzhou, China, May-July, 2009

National Seminar on Mathematics with special emphasis on Discrete Mathematics (NSMDM 2009), University of Calcutta, Feb. 2009

74th Annual Conference of the Indian Mathematical Society, University of Allahabad, Dec. 2008

4th Asia-Pacific Computing and Philosophy (APCAP) Conference, NIAS, IISc, Bangalore, Dec. 2008

Workshop on Logic and Cognition, Jadavpur University, Kolkata, Oct. 2008

IRIT, Universite Paul Sabatier, France, May 2007

Indian Winter School on Logic and its Relationship with Other Disciplines, IIT Bombay, Jan. 2006

DST-CARDMATH Working Group 4th Update Meeting on Automata, Concurrency, Logic and Verification, IIT Bombay, July, 2005

Institute of Mathematics, University of Warsaw, Poland, June, 2004, Nov. 1998, Nov. 1993

Workshop on Logic, Philosophy and Applications, Dept. of Pure Mathematics, University of Calcutta, Oct. 2004

6th Int. Conf. on Information Technology, Bhubaneswar, Dec. 2003 

National Workshop on Logic and Artificial Intelligence, Dept. of Pure Mathematics, University of Calcutta, Oct. 2003

CIMPA-UNESCO-INDIA School on Soft Computing Approach to Pattern Recognition and Image Processing, Indian Statistical Institute, Kolkata, Dec. 2002 

Workshop Logic Matters, Jagadish Bose National Science Talent Search, Calcutta, Dec. 2000

National Seminar on Theoretical Computer Science, Bhubaneswar, June, 1998

Seminar on Philosophy of Science: Cognitive, Historical and Educational Perspectives, IIT Bombay, Feb. 1998 

Minisemester Logic, Algebra and Computer Science. Helena Rasiowa in Memoriam, Stefan Banach International Mathematical Center, Warsaw, Poland, Dec. 1996

Departments of Mathematical Sciences and Systems Science (Watson School of Engg. and Applied Science), SUNY, Binghamton, U.S.A., Dec. 1994

Department of Computer Science, Vrije Universiteit, Amsterdam, Dec. 1993

Institute of Automatics, University of Mining and Metallurgy, Krakow, Poland, Nov. 1993

Institute of Mathematics, University of Gdańsk, Poland, Sept. 1992

 

Home