Abstract: With the recent rise of AI businesses in all industries around the world, AI can also be used to make important decisions for society. However, it is also true… Read More »Regulations, International Standardizations and Technologies to Realize “Trusted AI”

Speaker: Vijay Keswani (Duke University) https://vijaykeswani.github.io/ Details: Apr 8th (Tue) | 4 PM | Online Abstract: As the capabilities of AI have expanded, reports of societal and personal harms related to… Read More »How Do We Build Responsible AI? Towards Fair and Participatory AI Designs

Speaker: Ramneek Kaur, post-doctoral fellow, CSE, IIT Delhi Abstract: With over 70% of India's rural population dependent on agriculture, and 82% of farmers being small and marginal, the availability of… Read More »Impact Assessment of Natural Resource Management (NRM) Interventions in India

Speaker: Dr. Pritam Choudhury Abstract: 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… Read More »Mathematics and Programming: The Past, Present and Future A Personal Perspective

Speaker: Dominik Peters  Abstract: Lindahl equilibrium is a solution concept for allocating a fixed budget across several divisible public goods. It always lies in the core, meaning that the equilibrium allocation… Read More »Computing Lindahl Equilibrium for Public Goods with and without Funding Caps

Speaker: Neeldhara Misra Abstract: Suppose there are n horses and we have a track with k lanes. If we pick k horses to run a race, a linear ordering is established among… Read More »How many matches does it take to find a champion?