#ICMETE2025 - presentation of #keynote at 9th International Conference on Micro-electronics and Telecommunication Engineering on #PolynomialFormalVerification for floating-point units icmete.in/index.php @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #ICMETE #ICMETE25