Talk: 15/04/2019 Static Analysis and Automated Verification for Replicated Systems by Kartik Nagar, Purdue University (venue: IIA-501)
Talk: 07/03/2019 Relaxed Memory Concurrency and Compiler Correctness by Soham Chakraborty, MPI-SWS (venue: IIA-501)
IIT Delhi is hosting the Eighth Indian Conference on Logic and its Applications (ICLA 2019) from 01/03/2019 to 05/03/2019
Talk: 23/01/2019 Extreme-Efficiency Computing by Raghav Pothukuchi, PhD candidate at the University of Illinois (venue: IIA-501)
There are a few positions (PhD/M.Tech./B.Tech.) available and we are looking for enthusiastic students to join our group.