First time on the abandoned Tempelhof airfield. Typical cold and foggy Berlin weather in December but still quite spectacular.

Daniela gave an intriguing talk on extracting linear polynomials on demand to improve verifying optimized/resynthesized multipliers and then with the arithmetic circuit verification crowd in Freiburg went for the well deserved Christmas beer cca.informatik.uni-freiburg.de/invited-talk...

Ok, will not take the bike today.