Check Point's Knowledgebase already contains the first R80.20 Secure Knowledge™ articles: How to enable automatic IPS updates on R80.20 gateways
Check Point's webinar schedule already contains several R80.20 sessions for this summer.
Check Point is working on an EAL4+ / BSI certification for R80.20.
Many fixes for R80.10 are finally solved in R80.20, such as support for Global VPN communities.
SmartProvisioning-type features are coming back with R80.20.
The planned agenda for R80.20 is a great read.