#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

#DATE2026 - Team of #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS in #Verona www.date-conference.com

The Data Champion Award 2026 is awarded to researchers Dr. Anne Speer, Charlotte Brandhorst (both @unibremen.bsky.social / Research Institute Social Cohesion), and Leonie Wolfrath (University of Mannheim) www.bremen-research.de/en/data-cham... #DataScience #DataNord @dsc-ub.bsky.social

#DATE2026 - conference starts with the opening ceremony and information on the program www.date-conference.com/programme

Die Maschinen wurden nur vor mir gewählt, weil die so ein fragiles Ego haben, das sonst dauerhaft beschädigt würde.
#noerdman #comic #comics #Informatik #roboter #robotik #StarWars #c3po #r2d2 #data #terminator @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

#DATE2026 - in #Verona for #DATE

#DATE2026 - on my way to #Verona

This week we also had the #QuantumDay
#quantum #WorldQuantumDay

Heute an der #UniBremen: Bachelor-Projekttag der #Informatik; mit Präsentation von #TrustMe von #AGRA @unibremen.bsky.social

Das neue .inf-Magazin 13 der @informatik.bsky.social
ist #online und in der Druckversion verfügbar... und #noerdman ist auch wieder mit dabei inf.gi.de/13 @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #comic #comics #Informatik #UniBremen @noerdman.bsky.social #inf13

#DATE2026 - looking forward to give the Special Day Lunchtime Keynote "On My Perfect Life: ..." at Design, Automation and Test in Europe Conference - see you in #Verona next week www.date-conference.com/node/2033

Our paper in SN Computer Science on "Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra" is available #online link.springer.com/epdf/10.1007... #formal #verification #FormalVerification #MAC #PolyVer @unibremen.bsky.social @dfki.bsky.social @springernature.com

Our paper in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) on "veriSiM: Formal Verification of SPICE Netlists for MAGIC-Based Logic-in-Memory" has been published in the February issue ieeexplore.ieee.org/document/110... @unibremen.bsky.social @dfki.bsky.social

Kleinstes Bundesland, große Wirkung: Warum Bremen 2026 die renommierteste KI-Konferenz ausrichtet Im internationalen Wettbewerb um die weltweit führende Konferenz für Künstliche Intelligenz hat sich Bremen gegen deutlich größere Standorte durchgesetzt. Ausschlaggebend war ein Gesamtpaket, das in d...

#IJCAI2026 - Kleinstes Bundesland, große Wirkung: Warum #Bremen 2026 die renommierte KI-Konferenz #IJCAI ausrichtet www.bremen-research.de/services/pre... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social

Tag der Forschungsdaten 15. April 2026 Die U Bremen Research Alliance und das interdisziplinäre Bremer Datenkompetenzzentrum DataNord laden gemeinsam am 15. April 2026 ab 16:30 Uhr zum Tag der Forschungsdaten in die Kassenhalle am Domshof ...

Heute in #Bremen: Tag der Forschungsdaten - Triff den Datenraum Nordwest www.bremen-research.de/tag-der-fors... #DataScience @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #DataNord

Our paper on "Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization" has been published in the April Issue of IEEE Transactions on Evolutionary Computation ieeexplore.ieee.org/document/110... @unibremen.bsky.social #optimization #BDD #evolution #EvolutionaryAlgorithms

New book on "Design Automation for Quantum Computing" available; including our contribution on "Assertion-Based Debugging of Quantum Circuits: Techniques, Effectiveness, and Challenges"
link.springer.com/book/10.1007... #quantum #debugging #assertion #EDA @springernature.com @unibremen.bsky.social

Das "es ist immer Teezeit" meinte ich nicht so buchstäblich!
Also, danke, den Tee trinke ich natürlich trotzdem. Aber ich hatte nicht darum gebeten!
#noerdman #comic #comics #Informatik #energie #strom #umwelt @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

Vortrag bei #ScienceGoesPublic in #Bremen zu "Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird" www.sciencegoespublic.de @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social

#ISQED2026 - Luca Müller from @unibremen.bsky.social and @dfki.bsky.social presents on "Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits"; paper is available #online agra.informatik.uni-bremen.de/doc/konf/ISQ... #verification #arithmetic #PolyVer

Vortrag bei #SCIENCEGOESPUBLIC! am 9.4. im #OililiO in #Bremen: Nachvollziehbare Künstliche Intelligenz – warum Verstehen immer wichtiger wird bremerhaven-erleben.de/event/sgp-15 @unibremen.bsky.social @dfki.bsky.social @informatik.bsky.social #CAUSE

Frohe Ostern allerseits. Und passt auf eure Ostereier auf!
#noerdman #comic #comics #Informatik #FroheOstern #Osterei #Osterfest #Ostern #ostern2026 #drohne #umwelt
@unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

#FroheOstern

#noerdman @unibremen.bsky.social @dfki.bsky.social @informatik.bsky.social #Osterei #Osterfest #Ostern #Osternacht #ostern2026 @noerdman.bsky.social

Alle #Ostereier bemalt?

#FroheOstern #noerdman @unibremen.bsky.social #Osterei #Osterfest #Ostern #Osternacht #ostern2026 @noerdman.bsky.social

Das neue .inf-Magazin 13 der @informatik.bsky.social ist #online - und #noerdman ist auch wieder mit dabei inf.gi.de/13 @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #comic #comics #Informatik #UniBremen @noerdman.bsky.social #inf13 #StarWars #robotik #roboter

Okay, LLMs schreiben code für Energie, so weit so klar... Aber lösen sie auch tatsächlich Probleme?
I-Robot-Roboter: Tust du das?
#noerdman #comic #comics #Informatik #computer #code #wasser #strom #umwelt #energie @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social

#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 www.informatik.uni-bremen.de/iwsbp/index.... @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social

Let the good vibes get a lot stronger
#noerdman #comic #comics #Informatik #computer #coding #programmieren #vibes #vibecoding @unibremen.bsky.social
@dsc-ub.bsky.social @dfki.bsky.social @informatik.bsky.social