Armin Biere
@arminbiere.bsky.social
SAT Solver Hacker, Professor, University of Freiburg
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...
University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...
uni-freiburg.de
March 26, 2025 at 4:38 PM
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...
This missing number shouldn't have been possible to find.
YouTube video by PurpleMind
youtu.be
March 10, 2025 at 5:03 PM
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.
February 10, 2025 at 6:14 AM
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.
December 29, 2024 at 8:32 PM
First time on the abandoned Tempelhof airfield. Typical cold and foggy Berlin weather in December but still quite spectacular.
Reposted by Armin Biere
This is a great opportunity to work with us at the intersection of ML, SE, and Neuroscience... @ MPI-SWS & Saarland Uni.
🚨 Open postdoc position on effective human-AI collaboration, joint with the groups of @svenapel.bsky.social and Adish Singla 🚨
Join our exciting collaboration involving ML, cogsci, and software engineering! More info here: mtoneva.com/Postdoc_ad_2...
Apply by Jan 31, 2025.
Join our exciting collaboration involving ML, cogsci, and software engineering! More info here: mtoneva.com/Postdoc_ad_2...
Apply by Jan 31, 2025.
December 20, 2024 at 12:13 PM
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...
December 4, 2024 at 10:00 AM
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.
November 22, 2024 at 7:33 AM
Ok, will not take the bike today.