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?

Speaker: Prof. Sanjiva Prasad The talk explores a few elementary concepts from abstract algebra that (should) inform our data-centric development of common programs and data types, but are often elided… Read More »Algebra and co- ..in the theory of programming

Speaker: Sumit Diware Abstract: Recent advancements in artificial intelligence (AI) have driven the emergence of real-world cognitive products and services, which rely on neural networks to perform complex tasks. Edge computing for… Read More »Computation-In-Memory based Edge-AI for Healthcare: A Cross-Layer Approach

Speaker: Isha Chaudhary Abstract: Large Language Models (LLMs) are increasingly deployed in critical systems, e.g., healthcare and finance and can produce incorrect and biased responses. These can cause huge social… Read More »Certifying Large Language Models with LLMCert