The video of the lightning talk Relational Synthesis of Pattern Matching is now available. Happy watching and discussing!