There has been considerable interest in Software Transactional Memory in recent years. The reason for rise in STM is due to rise of multicore computers.
The two dominant paradigms for scientific discovery have historically been theory and experiments, with large-scale simulations emerging as the third paradigm in the 20th century.
Smart grids have been heralded as the key enabler of cleaner, cheaper and more reliable energy. They incorporate diverse energy sources, advanced monitoring, demand-side management and the ability to “self heal”.
I will survey the state of the art in the automated analysis of several classes of probabilistic infinite-state systems which naturally arise when studying probabilistic programs with recursive calls, queueing systems, population dynamics
We prove that there exist infinite families of bipartite Ramanujan graphs of every degree bigger than 2. We do this by proving a variant of a conjecture of Bilu and Linial about the existence of good 2-lifts of every graph.
In this day and a half event we start with a tutorial session on May 3 afternoon and conduct a workshop on May 4 where researchers from India working in diverse areas including economics, computer science, statistical physics and probabilistic mod
