Technologie-Roadmaps in erster Fassung öffentlich www.forschung-und-lehre.de/politik/tech... #HightechAgenda #HTAD #KünstlicheIntelligenz #Quantentechnologien #Mikroelektronik

#ETS2026 - Sajjad Parvin from #AGRA @unibremen.bsky.social presenting on "Mitigating Optical Probing at Circuit and Layout Levels" as part of the "Special Session 5: Hardware Security at the Circuit and Layout Levels" ets2026.uniwa.gr/conference-p... #NanoSecurity #security

#ETS2026 - Martha Schnieber from #AGRA @unibremen.bsky.social presenting on "Path Delay Fault Testable KFDD Circuits with Polynomial Test Pattern Generation"; paper is available #online agra.informatik.uni-bremen.de/doc/konf/ETS... #PolyVer

Our paper in Springer Nature Computer Science on "Dynamic Transformation of Quantum Algorithms for Resource-Constrained Architectures" is available #online link.springer.com/article/10.1... @springernature.com @unibremen.bsky.social @dfki.bsky.social #quantum

#ETS2026 - our team from #AGRA @unibremen.bsky.social at 31st IEEE European Test Symposium in Chania, Greece ets2026.uniwa.gr/at-a-glance/

#ETS2026 - Wine and Cheese Panel: "Failure is Part of the Journey - Let's Talk About It" at 31st IEEE European Test Symposium in Chania, Greece ets2026.uniwa.gr/at-a-glance/ @unibremen.bsky.social @dfki.bsky.social

#ISMVL2026 - paper presented at the IEEE International Symposium on Multiple-Valued Logic on "LLM-based Generation of High-Level Benchmarks for MVL Designs" is available #online agra.informatik.uni-bremen.de/doc/konf/ISM... @unibremen.bsky.social @dfki.bsky.social #LLM #MVL #ISMVL

Vortrag bei Wissen um 11 im Haus der Wissenschaft in Bremen am 6.6.: Dr. Sallar Ahmadi-Pour von #AGRA @unibremen.bsky.social trägt vor zu "Falsch rechnen – korrekt entscheiden: Warum KI keine perfekten Zahlen braucht" www.hausderwissenschaft.de/Falsch-rechn...

#ETS2026 - opening session of 31st IEEE European Test Symposium in Chania, Greece ets2026.uniwa.gr

#ETS2026 - on my way to the 31st IEEE European Test Symposium in Chania, Greece

Alles gute zum #handtuchtag allerseits! #noerdman #comic #comics #Informatik #towelday #HHGTTG #ArthurDent #DouglasAdams #DontPanic #HitchhikersGuide @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

Warum heißt es #Pfingsten? #Pfingstwochenende #noerdman #comic #comics #noerdman #penta #pentium #pentagon #Pfingstfest #Pfingstsonntag

Heißt es eigentlich "der", "die" oder "das" Pfingsten noerdman.de #noerdman #Pfingstsonntag #Pfingstfest #Pfingsten #Pfingstsonntag #Pfingstfest #FrohePfingsten @noerdman.bsky.social

#ISMVL2026 - presentation of the paper "LLM-based Generation of High-Level Benchmarks for MVL Designs" at the IEEE International Symposium on Multiple-Valued Logic mvl.jpn.org/ISMVL2026/in... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #MVL #ISMVL

#IWSBP2026 - the 17th International Workshop on Boolean Problems will be held in #Bremen, #Germany on September 17-18; paper submission deadline: June 16; for further information see informatik.uni-bremen.de/iwsbp/index.... @unibremen.bsky.social @dfki.bsky.social

#DDECS2026 - 29th International Symposium on Design and Diagnostics of Electronic Circuits and Systems papers are now recorded in the IEEE Xplore digital library; including four papers from #AGRA @unibremen.bsky.social and #DFKI #CPS ieeexplore.ieee.org/xpl/conhome/... @ieeexplore.ieee.org #DDECS

#CF2026 - on May, 21st our paper on "Advances in Instruction Compression and Memory Footprint Reduction for RISC-V" will be presented at the 23rd ACM International Conference on Computing Frontiers (CF'26) in Catania, Sicily, Italy www.computingfrontiers.org/2026/index.h... @unibremen.bsky.social

Our paper in Microprocessors and Microsystems on "An HDL-centric synthesis and verification approach for RRAM-based neuromorphic systems" is available #online www.sciencedirect.com/science/arti... @unibremen.bsky.social @dfki.bsky.social #RRAM #neuromorphic #synthesis #verification

#ISMVL2026 - opening ceremony of IEEE International Symposium on Multiple-Valued Logic in #Sendai mvl.jpn.org/ISMVL2026/ #ISMVL #MVL

Our chapter "Ensuring Correctness Efficiently for RISC-V Processors with Customised Multiplier Designs" in the #Springer book on "Design and Verification of Cyber-Physical Systems: From Theory to Applications" is available #online link.springer.com/chapter/10.1... @unibremen.bsky.social #PolyVer

Natürlich ist das viel Strom für eine einzige Transaktion, aber hast du gesehen wie schnell sie da war? Ach so, die ist noch nicht verifiziert? Ja, das dauert manchmal. #noerdman #comic #comics #Informatik #energie @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

#ISMVL2026 - on my way to #Sendai for IEEE International Symposium on Multiple-Valued Logic mvl.jpn.org/ISMVL2026/

#CHERIBlossoms2026 - Recordings & Slides of talks of CHERI Blossoms Conference 2026 are available #online; including presentation from Luca Müller from @dfki.bsky.social #CPS cheri-alliance.org/events/cheri... @unibremen.bsky.social #riscv @riscvinternational.bsky.social

Morgen Vortrag in #Bremervörde zu "Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird" www.entdecke-nds.de/de/entdecke-... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social

#Informatik2026 - Data- und Digital-Science-Community Workshop: Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data und Digital Science (DaDiSC); Deadline: 21.05. dadisc.org/informatikfe... #DataScience @unibremen.bsky.social @dsc-ub.bsky.social @informatik.bsky.social

Ich sage ja gar nicht, dass es falsch ist... Ich sage nur, dass ich das so nicht hören will! #noerdman #comic #comics #Informatik #smart #SmartHome @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

Vortrag in #Bremervörde am 12.5. um 20 Uhr im Ratssaal zu "Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird" www.anzeiger-verlag.de/timeline/bre... @unibremen.bsky.social

Vortrag in #Bremervörder am 12.5. um 20 Uhr im Ratssaal zu "Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird" www.kulturundheimat.de/aktuell/Even... @unibremen.bsky.social

#IWSBP2026 - the 17th International Workshop on Boolean Problems will be held in #Bremen on September 17-18; paper submission deadline: June 16; papers will be published in IEEE Embedded Systems Letters; for further information see informatik.uni-bremen.de/iwsbp/index.... @unibremen.bsky.social

#DATE2026 - slides of my #keynote "On My Perfect Life: A Tenured Position While AI Does The Job" presented at #DATE are available #online agra.informatik.uni-bremen.de/drechsler/h_... @unibremen.bsky.social @dfki.bsky.social

Our paper in IEEE Transactions on Circuits and Systems I on "Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth" is available #online ieeexplore.ieee.org/document/112... @unibremen.bsky.social @dfki.bsky.social #PolyVer

Happy #StarWarsDay! #MayThe4thBeWithYou #StarWars #starwarsday2026 #MayThe4th #MayTheFourthBeWithYou #noerdman @noerdman.bsky.social

Goethes letzte Worte waren angeblich "mehr Licht"... Aber wann ist denn genug? #noerdman #comic #comics #Informatik #strom #erergie #umwelt #werbung @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

#DDECS2026 - 3rd day starts with #keynote by Karel Masařík on "Scaling EDA for Increasing System Complexity: Lessons Learned and Future Directions" deimos.fei.stuba.sk/projekty/DDE...

Our paper in Journal of Neuromorphic Computing and Engineering on "Device-to-logic variability propagation in RRAM-based logic-in-memory architectures" is available #online doi.org/10.1088/2634... via @ioppublishing.bsky.social @unibremen.bsky.social @dfki.bsky.social #RRAM #LiM #LogicInMemory

#DDECS2026 - team of #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS at #DDECS in #Bratislava deimos.fei.stuba.sk/projekty/DDECS

#DDECS2026: Till Schnittka presents our paper on "Measurement-Driven Adaptive Low-Overhead Implementation of Multi-Controlled Toffoli Gates" at #DDECS; paper is available #online agra.informatik.uni-bremen.de/doc/konf/DDE... #quantum @unibremen.bsky.social @dfki.bsky.social

#VTS2026 - Luca Müller presents our paper on "Automation of Polynomial Formal Verification using Large Language Models" at IEEE VLSI Test Symposium 2026; paper is available #online agra.informatik.uni-bremen.de/doc/konf/VTS... @unibremen.bsky.social @dfki.bsky.social #PolyVer #LLMs

#DDECS2026 - 2nd day starts with #keynote by Leticia Maria Bolzani Pöhls on "Heterogeneous Integration in AI Computing: Challenges and Solutions" deimos.fei.stuba.sk/projekty/DDE...

#DDECS2026 - presentation of our papers in the poster session of #DDECS deimos.fei.stuba.sk/projekty/DDE...

#DDECS2026 - conference starts with #keynote by Robert Wille on "Quantum Computing Is Coming: Why We Now Need Design and Diagnostics Expertise" deimos.fei.stuba.sk/projekty/DDE... #quantum

#DDECS2026 - Opening Session of #DDECS in #Bratislava deimos.fei.stuba.sk/projekty/DDE...

Aber wer hat den Maschinen denn beigebracht, einen Halbmarathon zu laufen, anstatt die Spülmaschine auszuräumen oder so? #noerdman #comic #comics #Informatik #roboter #robotik #laufen #marathon @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

#DDECS2026 - on my way to #Bratislava for #DDECS

Research Data Day 2026: Northwest Data Space Strengthens Bremen as a Hub for Research Data and AI www.bremen-research.de/en/services/... @agra_uni_bremen #DataScience #DataNord

#DATE2026 - presentation of our paper "Identifying hardware optimizations for neural network inference using virtual prototypes" date-conference.com/programme @unibremen.bsky.social

#DATE2026 - presentation of our paper on "Late breaking results: Conversion of neural networks into logic flows for edge computing"; also available on #arxiv arxiv.org/abs/2601.22151 @unibremen.bsky.social @handle.invalid

#DATE2026 - presentation of our paper on "Polynomial verification of 2-affine spaces" agra.informatik.uni-bremen.de/doc/konf/DAT... @unibremen.bsky.social @dsc-ub.bsky.social #PolyVer

#DATE2026 - giving my #keynote "On My Perfect Life: A Tenured Position While AI Does The Job" www.date-conference.com/node/2033 @unibremen.bsky.social

#DATE2026 - lot of interest in the presentations of Mohamed Nadeem and Jan Zielasko at the #PhDForum www.date-conference.com