Missed one of the VSL keynote talks by Dana Scott, Christos Papadimitriou, Alex Wilkie, Franz Baader and Edmund Clarke? Never mind, you can now (re)watch all the keynote talks online:

Dana Scott · Christos Papadimitriou · Alex Wilkie · Franz Baader · Edmund M. Clarke

Dana Scott: VSL Opening
Christos Papadimitriou: Computational Ideas and the Theory of Evolution – Abstract

Alex Wilkie: The theory and applications of o-minimal structures – Abstract

Franz Baader: Ontology-Based Monitoring of Dynamic Systems – Abstract

Edmund M. Clarke: Verification of Computer Systems with Model Checking – Abstract