Check Point just released their very first R80.20 Secure Knowledge™ article: How to enable automatic IPS updates on R80.20 gateways
Their webinar schedule already contains several R80.20 sessions for this summer.
They are 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. Also the public EA (Management) is already available.
Sign up for the R80.20 EA Questionnaire and give it a try today!