September 23rd, 2021 – 11:00 am Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages. In this talk I will give an introduction to our research on Iris, a logical framework, implemented and verified in the Coq proof assistant, which can be…
June 24th, 2021 Recently, many societies seem to shift towards more polarization and volatility in opinions, for example in attitudes about immigration, climate policy, or the best policy response to Covid-19. A key obstacle for a scientific understanding of this development is that opinion dynamics in society involve a complex…
May 20th, 2021 The history of computing tells us that computers can be made of almost anything: silicon, gears and levers, neurons, flowing water, interacting particles or even light. Although lithographically patterned silicon surfaces have been by far the most successful of these, they give us a limited view of…
April 20th, 2021 Over the past decade, and particularly over the past five years, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied to objective classification of neuron morphologies and to automatic detection of network dynamics. In this talk I…
