Venue: Bharti501 / Teams link will also be shared Abstract: Multiparty session types (MPST) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional… Read More »Multiparty Session Types: Separation and Encodability Results by Prof. Nobuko Yoshida
Abstract: We show that if the ground set of a matroid can be partitioned into k≥2 bases, then for any given subset S of the ground set, there is a… Read More »Matroids are Equitable by Hannaneh Akrami
Venue: Bharti501 Abstract: Authenticated data structures (ADSs) allow untrusted third parties to carry out operations which produce proofs that can be used to verify an operation’s output. Such data structures… Read More »Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal
Speaker: Ms. Ajita Shree is a PhD student in the Department of Computer Science and Engineering at IIT Kanpur and will be joining EMBL-EBI, UK, as a postdoctoral researcher. Abstract: Recent… Read More »Deep generative models for single-cell and spatial genomics by Ajita Shree
Abstract: Neuroscience and AI share a bottleneck: while one can build (artificial) or record (biological) complex networks, we struggle to explain their functional circuitry; i.e., how they compute. In this… Read More »Neural Circuit Discovery via Representation and Dynamics by Savik Kinger
Abstract: This talk explores a novel approach to speeding up complex database queries by combining two powerful ideas: factorization and vectorized execution. Instead of processing large intermediate results (which can… Read More »Faster Queries, Smarter Execution: Factorization Meets Vectorization in Modern Data Systems
Abstract: In many settings, a finite supply of some public resource is allocated among people over time, without using money: a computing cluster among researchers, food among food-banks, medical supplies between… Read More »The Mathematics (and Ethics) of Fair Resource Allocation by Dr. Siddhartha Banerjee (Cornell University)
Abstract: The Pigeonhole Equal Subset Sum problem (PESS), introduced by Papadimitriou (1994), asks: given n positive integers bounded by M with total sum less than 2^n − 1, find two… Read More »Finding Equal Subset Sums in the Pigeonhole Regime by Dr. Pranjal Dutta
Abstract: A common denominator of conventional financial systems, trusted execution environments (like SGX), blockchain technology, and ZK-rollups is the promise of computational integrity -- doing the right computation on potentially secret… Read More »Cryptographic proofs for privacy and integrity by Prof. Chaya Ganesh (IISc)
Abstract: The convergence of artificial intelligence (AI), the Internet of Things (IoT), cloud-edge computing, and autonomous cyber-physical systems is transforming critical infrastructures across healthcare, manufacturing, transportation, and smart cities. As… Read More »Building Trustworthy Intelligent Systems for Critical Infrastructures by Dr. Geetanjali
