Latest News

View all Latest News on old website

Please view all News on old website

Open House for PG Admission

The Department of Mathematics, IIT Jodhpur invites bright and enthusiastic students from various institutes and colleges to participate in the Departmental Open House on Tuesday, 11th April 2023 at 5 PM

As a part of Mathematics Online Open House scheduled for M.Tech., M.Tech.-Ph.D., M.Sc., Msc.-M.Tech. and Ph.D. programs, we invite prospective students to join to know more about admissions process and unique features offered by the PG programs hosted by IIT Jodhpur. Interested students can join the online session, through the following link: https://meet.google.com/kzo-cept-dei

Congratulations to Mr. Gurubachan and Mr. Bikram Adhikary for receiving the highly prestigious Prime Minister's Research Fellowship (PMRF) under the Lateral Entry Scheme, in Cycle 10

Congratulations to Mr. Gurubachan and Mr. Bikram Adhikary for receiving the highly prestigious Prime Minister's Research Fellowship (PMRF) under the Lateral Entry Scheme, in Cycle 10.

11th National Conference on Technology and Innovation in Mathematics Education (TIME)

The TIME conferences are organized in every two years which serve a dual role: as a forum in which mathematics educators and teachers will come together to discuss and to probe major issues associated with the integration of technology in mathematics teaching and learning. It is a place where they can share their perspectives, personal experiences, and innovative teaching practices. TIME 2023 will be the 11th edition in this series. The 10th TIME conference was held online. For more details, see https://www.facebook.com/TIME4math/

How to participate?

You can attend the conference as a participant. Please submit the registration form at the earliest. (Deadline for early bird registration: 15 November, 2023)

https://forms.gle/KoPKvPYCCGVjye6y8

If you are interested in presenting your work at the conference, first you need to register for the conference, and then submit an abstract of your proposed presentation. ( Deadline for abstract submission: 15 November, 2023)

https://forms.gle/ikYcTyMWRLapEsReA

Participation certificates will be provided to all registered participants.

National Advisory Committee:

Dr. Inder K. Rana, (Convener) IIT Bombay

Dr. Vivek Vijay, IIT Jodhpur

Dr. Shantha Bhushan, Azim Premji University, Bangalore

Dr. A. Vijayakumar, Cochin University of Science & Technology

Dr. Jonaki B. Ghosh, Lady Shri Ram College, New Delhi

Ms. Sangeeta Gulati, Sanskriti School, New Delhi

Local Organizing Committee (IITJ):

Dr. Vivek Vijay (Convener)

Dr. Gaurav Bhatnagar

Dr. V. V. M. S. Chandramouli

Dr. Kiran Kumar Hiremath

Dr. Sandeep Kumar Yadav

Dr. Dilpreet Kaur

Dr Bimal Mandal

Academic Review Committee:

Dr. Shanta Bhushan (Azim Premji University, Bengaluru) [Chairperson]

Dr. Jonaki B. Ghosh (Lady Shri Ram College, New Delhi)

Dr. Kiran Kumar Hiremath (IIT Jodhpur)

If you have any queries / feedback, please send an email to time.conferences@gmail.com

AFS-I - Annual Foundation School - I (2024) IIT Jodhpur

Click here for details on AFS-I - Annual Foundation School - I (2024) IIT Jodhpur

5th International Conference on Nonlinear Applied Analysis and Optimization (ICNAAO-2025)

Click here for details on 5th International Conference on Nonlinear Applied Analysis and Optimization (ICNAAO-2025)

Workshop on LEAN

The Department of Mathematics is organizing an introductory workshop on the Lean proof assistant from 26th to 28th February. The workshop will introduce the participants to theorem proving in Lean, using the Mathlib library, and building definitions in Lean. No prior experience with Lean is needed: all faculty, PhD scholars and Masters students in the department are welcome! The workshop will be led by Dr. T. V. H. Prathamesh, Assistant Professor of Computer Science, Krea University.

To get a feel for theorem proving in Lean, we will organize mini-seminars from 23rd to 25th February where we will play the Natural Number Game, and get started with installing Lean.

Please fill in this Google Form to indicate your interest in participating in the workshop: https://forms.gle/2MhdGHZWcHyUEqXN7

Below is a brief outline of the topics that will be covered during the workshop:

1. Thursday Afternoon (26th Feb) in LHC-II (103) from 4:00 PM to 7:00 PM:

a. Talk:
Title: Introducing Lean; What it is, Why it matters, and How it works?
Duration: 1 hour

b. Tutorial:
Title: Introduction to Proving in Lean
Duration: 2 hours

2. Friday Morning (27th Feb) in ME115 from 9:15 AM to 1:00 PM:

a. Tutorial:
Title: Proving in Lean 1: Basic Tactics
Duration: 3 hours

b. Talk:
Title: Navigating Lean: Mathlib Library, Projects in Lean, and Other Documentation.
Duration: 30 mins (towards the later half or the end of the session)

3. Friday Afternoon (27th Feb) in LHC-II (103) from 2:30 PM to 6:00 PM:

a. Tutorial
Title: Proving in Lean 2: Intermediate Tactics
Duration: 3 hours

b. Talk:
Title: Demystifying Lean: A Type Theory Primer for Tactics and Blackboxes.
Duration: 30 minutes

4. Saturday Morning (28th Feb) in LHC-II (103) from 9:30 PM to 1:00 PM:

a. Tutorial
Title: Definitions, Structures and Programs in Lean
Duration: 3 hours

b. Talk:
Title: What Next? Open Projects and Future Directions, Teaching with Lean
Duration: 30 minutes"

Prime Minister's Research Fellowship (PMRF)

Vidya Lakshmi Fulfilling Educational Aspirations

National Commission for Women (NCW) Helpline