BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Computer Science and Engineering - ECPv6.13.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://homecse.iitd.ac.in
X-WR-CALDESC:Events for Computer Science and Engineering
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Kolkata
BEGIN:STANDARD
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
TZNAME:IST
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20250422T110000
DTEND;TZID=Asia/Kolkata:20250422T120000
DTSTAMP:20260924T045111
CREATED:20250416T031907Z
LAST-MODIFIED:20250416T031907Z
UID:1487-1745319600-1745323200@homecse.iitd.ac.in
SUMMARY:Impact Assessment of Natural Resource Management (NRM) Interventions in India
DESCRIPTION:Speaker: Ramneek Kaur\, post-doctoral fellow\, CSE\, IIT Delhi \nAbstract: With over 70% of India’s rural population dependent on agriculture\, and 82% of farmers being small and marginal\, the availability of water for irrigation is critical to ensuring sustainable rural livelihoods. Government welfare schemes such as the Mahatma Gandhi National Rural Employment Guarantee Act (MGNREGA) play a pivotal role in this context by funding the creation of Natural Resource Management (NRM) assets in rural areas for the conservation and sustainable use of water. In this talk\, I will present methods and insights from our ongoing research on evaluating the impact of NRM structures built under MGNREGA – one of the world’s largest demand-driven employment and asset creation programs. The scheme supports the creation of assets under different NRM categories such as bunds\, check dams and trenches for groundwater recharge\, and farm ponds and wells for protective irrigation. We assess the effectiveness of these interventions at both the site-level and the broader landscape-level\, using satellite imagery and other secondary data sources. In our work on impact assessment of farm ponds\, we evaluate the impact of farm ponds in their surrounding cropping areas\, on the seasonal agricultural productivity and drought resilience across the Agro-ecological Zones (AEZs) of India\, by employing the Difference-in-Differences (DiD) method and the Double ML method. Our findings show that the average impact of farm ponds is shaped by contextual AEZ-level factors such as agricultural suitability\, private borewell investments\, and canal infrastructure. Building on this\, we are currently evaluating the impact of check dams using similar techniques. At the landscape scale\, we are developing a system dynamics based framework to capture the cumulative effects of multiple MGNREGA interventions and water bodies. This approach helps model causal pathways and interdependencies between various subsystems using data-driven models\, allowing for a deeper understanding of how NRM activities influence water security and agricultural sustainability. Our methods hold potential for broader applications\, including assessing the impact of NRM efforts on forest conservation\, carbon and water credits\, and other ecosystem services. \n  \nSpeaker bio: Dr. Ramneek Kaur is a postdoctoral fellow with the ACT4D research group at IIT Delhi\, where she has been working for the past two years on using technology to strengthen resilient rural livelihoods. Her research focuses on the impact evaluation of Natural Resource Management (NRM) interventions\, particularly the construction and maintenance of water structures in rural areas. Her work leverages satellite imagery and computational methods to evaluate the effectiveness of these interventions in enhancing agricultural productivity and drought resilience\, for the broader aim of informing strategies for sustainable agricultural practices. Prior to this\, she completed her Ph.D. from IIIT-Delhi in 2022\, where her research focused on developing navigation and task allocation algorithms to promote sustainability in urban transportation systems. Her broader research interests lie in the use of ICT for social development\, with a focus on leveraging computational methods to drive sustainability and equity in both rural and urban contexts.
URL:https://homecse.iitd.ac.in/event/impact-assessment-of-natural-resource-management-nrm-interventions-in-india/
LOCATION:SIT 113\, Amar Nath and Shashi Khosla School of Information Technology\, Indian Institute of Technology\, Delhi\, Hauz Khas\, New Delhi\, Delhi\, 110016\, India
CATEGORIES:Seminars
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20250422T120000
DTEND;TZID=Asia/Kolkata:20250422T130000
DTSTAMP:20260924T045111
CREATED:20250416T065439Z
LAST-MODIFIED:20250422T032206Z
UID:1490-1745323200-1745326800@homecse.iitd.ac.in
SUMMARY:Mathematics and Programming: The Past\, Present and Future A Personal Perspective
DESCRIPTION:Speaker: Dr. Pritam Choudhury \nAbstract: In his article „Constructive Mathematics and Computer Programming‟\, the renowned logician and type-theorist\, Per Martin-Löf notes\, “If programming is understood not as the writing of instructions for this or that computing machine but as the design of methods of computation that it is the computer‟s duty to execute (a difference that Dijkstra has referred to as the difference between computer science and computing science)\, then it no longer seems possible to distinguish the discipline of programming from constructive mathematics.”\nIndeed\, mathematics (constructive) and programming can be viewed as two sides of the same coin via the celebrated Curry-Howard or Propositions-as-Types Correspondence. This correspondence has been of great value to both mathematics and programming. On one side\, it enabled mechanization of mathematics and consequently\, production of machine-certified proofs of mathematical theorems. On the other side\, it provided a solid mathematical foundation for programming languages and guided their development.\nIn this talk\, I shall first introduce the Curry-Howard Correspondence through examples and then present some of its technical details. We shall start with a key result\, which states that the Simply-Typed λ-calculus\, a foundational functional programming language\, is nothing but intuitionistic/constructive propositional logic. Thereafter\, I shall touch upon multiple other similar correspondences\, all manifestations of the overarching Curry-Howard Correspondence\, and discuss how these correspondences guided the development of programming languages. Then\, I shall present some of my research work on extending the Curry-Howard Correspondence in the area of dependency analysis over the Simply-Typed λ- calculus (https://dl.acm.org/doi/10.1145/3563335). Note that dependency analysis is vital to several applications\, such as\, language-based security\, multi-stage compilation\, code optimization\, etc. Finally\, I shall wind up the talk discussing some of my ongoing and future research projects that leverage the close connection between mathematics and programming for their mutual benefit. \nBio: Pritam Choudhury is a researcher in type systems and programming language design. His research focuses on graded type systems and their applications. In his doctoral dissertation\, he used graded type systems to analyze linearity and dependency in programming languages. Linearity and dependency analyses are particularly useful in memory management\, language-based security\, multi-stage compilation and code optimization. Pritam completed his PhD at University of Pennsylvania in August 2023. After graduating from UPenn\, he taught as a Visiting Assistant Professor of Computer Science at Haverford College for a year. Before joining UPenn\, he worked on formal verification at University of Cambridge. Pritam received his M.Phil. in Advanced Computer Science from University of Cambridge in 2015 and his B.Tech. in Electrical Engineering from IIT Roorkee in 2014.
URL:https://homecse.iitd.ac.in/event/mathematics-and-programming-the-past-present-and-future-a-personal-perspective/
LOCATION:Bharti 501\, IIT Campus\, Hauz Khas\, New Delhi
CATEGORIES:Seminars
END:VEVENT
END:VCALENDAR