🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Today at #ISDCS2025 Rolf Drechsler will talk as a #keynote speaker about "Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification". * Program: isdcs.iiests.ac.in/program/ * #conference #LLM #Verification

#ISDCS2025 - #keynote on "Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification" at the 7th International Symposium on Devices, Circuits and Systems; paper is available on #arxiv arxiv.org/abs/2505.23311 AGRA Uni Bremen #LLM #LLMs #PolyVer

Es ist Montag - Neues von #noerdman: der #Nerd aus dem #Norden auf noerdman.de AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comics #Informatik #drohne #drohnen #gesetz #fliegen

Es ist Montag - Neues von #noerdman: der #Nerd aus dem #Norden auf noerdman.de AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comics #Informatik #diskussion #geschichten #UrbanLegends #GenAI

Saeideh Nabipour at #ISMVL2025 about "Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design". * Paper: agra.informatik.uni-bremen.de/doc/konf/ISMVL… * #conference #konferenz #symposium Rolf Drechsler

Very interesting presentation by Mahdi Taheri on "Edge AI hardware reliability assessment and enhancement techniques" visting our group in #Bremen agra.informatik.uni-bremen.de/aktuelles_deta… AGRA Uni Bremen Data Science Center (@[email protected]) #EdgeAI #MachineLearning

Heute an der #UniBremen: Tag der Forschungsdaten bremen-research.de/tag-der-forsch… Data Science Center (@[email protected]) AGRA Uni Bremen #DataScience #data

Guten Morgen, vom sonnigen Campus Uni Bremen! * #campus #campuslife Rolf Drechsler

Opening Symposium of the #DFG funded research training group #CAUSE: presentations from AGRA Uni Bremen rtg-cause.github.io/symposium Data Science Center (@[email protected]) #explanation

Es ist Montag - Neues von #noerdman: der #Nerd aus dem #Norden auf noerdman.de AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comics #Informatik #Technik #Robustheit #Badewannenkurve #Sport #Digitalisierung

Für ihre Master-Arbeit mit dem Titel "Embedding Sequential Circuits for their Polynomial Formal Verification" wurde Caroline Dominik mit dem Fachbereichspreis #Informatik der #UniBremen ausgezeichnet - herzlichen Glückwunsch! agra.informatik.uni-bremen.de/team_me.php?id… AGRA Uni Bremen #PolyVer

Our paper on "Auto-OPS: A Framework for Automated Optical Probing Simulation on GDS-II" is published in the June issue of IEEE Embedded Systems Letters - now available #online ieeexplore.ieee.org/document/10793… AGRA Uni Bremen Data Science Center (@[email protected]) Sajjad Parvin #security #OpticalProbing #AutoOPS

That was Research Data Day 2025! bremen-research.de/en/research-da… Data Science Center (@[email protected]) AGRA Uni Bremen #data #DataScience

Our paper in ACM Transactions on Design Automation of Electronic Systems (#TODAES) on "LLM-assisted Bug Identification and Correction for Verilog HDL" is available #online as #openaccess dl.acm.org/doi/10.1145/37… AGRA Uni Bremen Data Science Center (@[email protected]) #LLMs #debugging

Marvin Hindmarsh hat am 16.06.2025 sein Bachelor-Kolloquium erfolgreich bestanden. * Der Titel seiner Bachelorarbeit lautet: Effiziente Implementierung von Kronecker Funktionalen Entscheidungsdiagrammen * Wir gratulieren! * Rolf Drechsler #bachelor #kolloquium

Es ist Montag - Neues von #noerdman: der #Nerd aus dem #Norden auf noerdman.de AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comics #Informatik #Technik #handy #smartphone #hosentaschenanruf

Our paper accepted for publication in IEEE Transactions on Computer-Aided Design (#TCAD) on "veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory" is now available #online as #EarlyAccess ieeexplore.ieee.org/document/11050… AGRA Uni Bremen #verification #formal

Es ist Montag - Neues von #noerdman: der #Nerd aus dem #Norden auf noerdman.de AGRA Uni Bremen Data Science Center (@[email protected]) #comic #comics #Informatik #Technik #Diagnostik #Befundung #Radiologie #Medizin #Zukunft

#ICCAD2025 - looking forward to Panel Session at The 2025 International Conference on Computer-Aided Design (#ICCAD) in Munich, Germany on "Revolution or Hype? Seeking the Limits of Large Models in Hardware Design" 2025.iccad.com/panel-session IEEE/ACM ICCAD AGRA Uni Bremen #LLMs #hardware

Master Projekttag #Informatik 2025 an der #UniBremen: 04.07.2025 · 10:00-15:00 · MZH E1 Foyer - Herzlich Willkommen! informatik.uni-bremen.de/projekttag/202… AGRA Uni Bremen Data Science Center (@[email protected])