समाचार और समाचार पत्र
संग्रहीत नवीनतम समाचार के लिए
कृपया पुरानी वेबसाइट पर सभी पुरालेख समाचार देखने के लिए यहां क्लिक करें view all
पीजी प्रवेश के लिए ओपन हाउस
गणित विभाग, आईआईटी जोधपुर विभिन्न संस्थानों और कॉलेजों के प्रतिभाशाली और उत्साही छात्रों को मंगलवार, 11 अप्रैल 2023 को शाम 5 बजे विभागीय ओपन हाउस में भाग लेने के लिए आमंत्रित करता है।
एम.टेक., एम.टेक.-पीएचडी., एम.एससी., एमएससी.-एम.टेक. और पीएचडी कार्यक्रमों के लिए निर्धारित गणित ऑनलाइन ओपन हाउस के एक भाग के रूप में, हम भावी छात्रों को आईआईटी जोधपुर द्वारा आयोजित पीजी कार्यक्रमों द्वारा दी जाने वाली प्रवेश प्रक्रिया और अनूठी विशेषताओं के बारे में अधिक जानने के लिए शामिल होने के लिए आमंत्रित करते हैं। इच्छुक छात्र निम्नलिखित लिंक के माध्यम से ऑनलाइन सत्र में शामिल हो सकते हैं: https://meet.google.com/kzo-cept-dei
श्री गुरुबचन और श्री बिक्रम अधिकारी को लेटरल एंट्री स्कीम के तहत साइकिल 10 में अत्यंत प्रतिष्ठित प्रधानमंत्री अनुसंधान फेलोशिप (पीएमआरएफ) प्राप्त करने पर बधाई।
श्री गुरुबचन और श्री बिक्रम अधिकारी को लेटरल एंट्री स्कीम के तहत साइकिल 10 में अत्यंत प्रतिष्ठित प्रधानमंत्री अनुसंधान फेलोशिप (पीएमआरएफ) प्राप्त करने के लिए बधाई।
गणित शिक्षा में प्रौद्योगिकी और नवाचार पर 11वां राष्ट्रीय सम्मेलन (टाइम)
टाइम कॉन्फ्रेंस हर दो साल में आयोजित की जाती है जो दोहरी भूमिका निभाती है: एक मंच के रूप में जिसमें गणित के शिक्षक और शिक्षक गणित शिक्षण और सीखने में प्रौद्योगिकी के एकीकरण से जुड़े प्रमुख मुद्दों पर चर्चा करने और जांच करने के लिए एक साथ आते हैं। यह एक ऐसा स्थान है जहाँ वे अपने दृष्टिकोण, व्यक्तिगत अनुभव और नवीन शिक्षण प्रथाओं को साझा कर सकते हैं। टाइम 2023 इस श्रृंखला का 11वाँ संस्करण होगा। 10वाँ टाइम कॉन्फ्रेंस ऑनलाइन आयोजित किया गया था। अधिक जानकारी के लिए, https://www.facebook.com/TIME4math/ देखें
कैसे भाग लें?
आप एक प्रतिभागी के रूप में सम्मेलन में भाग ले सकते हैं। कृपया जल्द से जल्द पंजीकरण फ़ॉर्म जमा करें। (जल्दी पंजीकरण के लिए अंतिम तिथि: 15 नवंबर, 2023)
https://forms.gle/KoPKvPYCCGVjye6y8
यदि आप सम्मेलन में अपना काम प्रस्तुत करने में रुचि रखते हैं, तो पहले आपको सम्मेलन के लिए पंजीकरण करना होगा, और फिर अपनी प्रस्तावित प्रस्तुति का सार प्रस्तुत करना होगा। (सार प्रस्तुत करने की अंतिम तिथि: 15 नवंबर, 2023)
https://forms.gle/ikYcTyMWRLapEsReA
सभी पंजीकृत प्रतिभागियों को भागीदारी प्रमाण पत्र प्रदान किए जाएंगे।
राष्ट्रीय सलाहकार समिति:
डॉ. इंदर के. राणा, (संयोजक) आईआईटी बॉम्बे
डॉ. विवेक विजय, आईआईटी जोधपुर
डॉ. शांता भूषण, अजीम प्रेमजी विश्वविद्यालय, बेंगलुरु
डॉ. ए. विजयकुमार, कोचीन विज्ञान एवं प्रौद्योगिकी विश्वविद्यालय
डॉ. जोनाकी बी. घोष, लेडी श्री राम कॉलेज, नई दिल्ली
सुश्री संगीता गुलाटी, संस्कृति स्कूल, नई दिल्ली
स्थानीय आयोजन समिति (आईआईटीजे):
डॉ. विवेक विजय (संयोजक)
डॉ गौरव भटनागर
डॉ. वी. वी. एम. एस. चंद्रमौली
डॉ. किरण कुमार हिरेमथ
डॉ. संदीप कुमार यादव
डॉ दिलप्रीत कौर
डॉ बिमल मंडल
शैक्षणिक समीक्षा समिति:
डॉ. शांता भूषण (अजीम प्रेमजी विश्वविद्यालय, बेंगलुरु) [अध्यक्ष]
डॉ. जोनाकी बी. घोष (लेडी श्री राम कॉलेज, नई दिल्ली)
डॉ किरण कुमार हिरेमथ (आईआईटी जोधपुर)
यदि आपके पास कोई प्रश्न/प्रतिक्रिया है, तो कृपया time.conferences@gmail.com पर ईमेल भेजें
एएफएस-I - वार्षिक फाउंडेशन स्कूल - I (2024) आईआईटी जोधपुर
AFS-I - वार्षिक फाउंडेशन स्कूल - I (2024) आईआईटी जोधपुर के विवरण के लिए यहां क्लिक करें
नॉनलीनियर एप्लाइड एनालिसिस और ऑप्टिमाइजेशन पर 5वां इंटरनेशनल कॉन्फ्रेंस (ICNAAO-2025)
5वें अंतर्राष्ट्रीय नॉनलाइनियर एप्लाइड एनालिसिस एंड ऑप्टिमाइजेशन सम्मेलन (ICNAAO-2025) के विवरण के लिए यहां क्लिक करें
LEAN पर कार्यशाला

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.
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:
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:
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:
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:
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"