Mohamed Nadeem finished his PhD – congratulations!
agra.informatik.uni-bremen.de/team_me.php?... @unibremen.bsky.social @dfki.bsky.social #PolyVer

Proceedings of 9th #ICMETE2025 are now available; incl. our #keynote paper on "Polynomial Representation of Rounded Floating-Point Addition Using *PHDDs" link.springer.com/book/10.1007... @unibremen.bsky.social @dfki.bsky.social #PolyVer #FloatingPoint #addition #arithmetic

#IWSBP2026 - presentation of our paper on "PolySAT: A Fast Cache-SAT Implementation for Solving Boolean Problems with Parameterized Complexity" at the 17th International Workshop on Boolean Problems; paper available #online ieeexplore.ieee.org/document/116... @unibremen.bsky.social #PolyVer

#FDL2026 - Jan Kleinekathöfer presenting our paper on "Polynomial Formal Verification of Structurally Simple Multipliers" at 29th Forum on specification and Design Languages ( #FDL ) in #Rome fdl-conference.com/index.html @unibremen.bsky.social #formal #verification #SCA #PolyVer