World Logic Day | Logic, Computation, and Programming Languages
We will briefly overview how the interleaving threads of prolific research on logic, computation and programming languages has developed during the last 100 years or so, and are still very active today, leading to the design of programming languages for practical concurrent systems in which programs never crash, deadlock or livelock, and are the proof of its own correction. This will be a high level - dissemination type of talk, accessible to a broad audience.
