Votatela la vostra Gioggia, che la patrimoniale no poveri ricchi, ma super tassare i sacrifici di una vita si. #ignoranza #fascismo #beoti #fdl #tfr

#FDL2026 - our team from #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS at 29th Forum on specification and Design Languages ( #FDL ) in #Rome fdl-conference.com/index.html

#FDL2026 - Milan Funck presenting our paper on "FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits" at 29th Forum on specification and Design Languages (#FDL) in #Rome fdl-conference.com/index.html @dfki.bsky.social #formal #verification #OpenSource

#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

#FDL2026 - Lennart Weingarten presenting our paper on "Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra" at 29th Forum on specification and Design Languages (#FDL) in #Rome www.fdl-conference.com/index.html @unibremen.bsky.social #formal #verification #SCA

#FDL2026 - panel on "The Virtual Prototype (VP) is Dead – Why do we invest so much effort in something that is rarely used" at 29th Forum on specification and Design Languages ( #FDL ) in #Rome www.fdl-conference.com/program.html...

#FDL2026 - Luca Müller presenting our paper on "Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs" at 29th Forum on specification and Design Languages (#FDL) in #Rome; paper available #online agra.informatik.uni-bremen.de/doc/konf/FDL... @unibremen.bsky.social #riscv

Let's put a wrap on Fondue Fest with a nighttime concert - Its a huge street/block party! Let's go Fondy!! #fdl #fondy #fonddulacwi #saturdaynight #livemusic #wisconsinmusic

Info: linktree.com/smartmouthmke