Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...

Cool video youtu.be/0_fdjA2R0bQ?... explaining how Marijn Heule et.al. solved the mathematical "Empty Hexagon Problem" with SAT (our CaDiCaL actually). This was first presented at TACAS'24 and then lifted and formally verified in the Lean theorem prover at ITP'24 drops.dagstuhl.de/entities/doc...

I really hope so. This was one of the distinguishing features of LIPiCS to have "what you latex is what you get". Other publishers forced additional processing to the paper before PDF production which more often than not destroyed our carefully typed papers.

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

This is a great opportunity to work with us at the intersection of ML, SE, and Neuroscience... @ MPI-SWS & Saarland Uni.

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.