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