The video of the lightning talk Supercompilation Strategies of Relational Programs is now available. Happy watching and discussing!