Die AGRA auf der DATE 2026
1 Keynote inkl. Wrap up,
1 Sessionchair,
5 Konferenzvorträge,
2 Beiträge im PhD-Forum,
2 Posterpräsentation,
1 Simulation Darstellung
Unsere Arbeitsgruppe bereitet sich auf eine der bedeutendsten Konferenzen des Jahres vor – die DATE-Konferenz 2026. Die Veranstaltung bringt vom 20. bis 22. April Experten aus der ganzen Welt in Verona (Italien) zusammen, um sich mit innovativen Themen auseinanderzusetzen. In diesem Jahr leistet unsere Gruppe Beiträge zu zukunftsweisenden Feldern wie Agentic AI für Chip-Design, polynomielle Verifikation, Hardware-Sicherheit und Edge Computing. Und wir sind nicht einfach nur da – mit 5 Konferenzvorträgen, einer Keynote, einem Session Chair, 2 Beiträge im PhD-Forum sowie 2 Posterpräsentationen sind wir stark vertreten.
Wir freuen uns darauf, im April in Verona mit anderen Innovatoren in Kontakt zu treten. Schauen Sie gerne schon jetzt in unserer Rubrik „Publikationen“ nach den entsprechenden Papern oder folgen Sie uns auf LinkedIn, um zu erfahren, wann die Präsentationen stattfinden.
20.04.
18:30h - Jan Zielasko will present a poster about "Application-specific hardware optimization using virtual prototypes" | PhD Forum
18:30h - Mohamed Nadeem will present a poster about "On cutwidth: Polynomial-time formal verification, debugging, and correction for circuits" | PhD Forum
21.04.
11:12h - Jan Kleinekathöfer will talk about "Late breaking results: Efficient formal verification of highly optimized MAC units"
11:15h - Mohamed Nadeem will talke about "Late breaking results: PolyRAD - Polynomial formal verification of restoring array dividers"
13:15h - Rolf Drechsler will deliver a Special Day Lunchtime Keynote "On My Perfect Life: A Tenured Position While AI Does The Job"
14:45h - Sajjad Pavin will present "Integrating optical probing security evaluation framework into ASIC design flow" in the Modeling and Simulation session.
15:30h - Spandan Das will present a poster about "EMBOSOM: Embedded Software Security into Modern Emerging Hardware Paradigms"
15:30h - Sajjad Parvin will present a poster about "OnE-Secure: Securing State-of-the-Art Chips Against High-Resolution Contactless Optical and Electron-Beam Probing Attacks"
16:55h - Our paper on "Polynomial verification of 2-affine spaces" will be presented.
22.04.
8:30h - Rolf Drechsler will serve as Session Chair for the focus session "From concept to silicon: End-to-end agentic AI for smarter chip design".
11:06h - Our paper on "Late breaking results: Conversion of neural networks into logic flows for edge computing" will be presented.
11:30h - Jan Zielasko will talk about "Identifying hardware optimizations for neural network inference using virtual prototypes"
14:00h - Rolf Drechsler will provide a wrap-up of his Special Day Lunchtime Keynote "On My Perfect Life: A Tenured Position While AI Does The Job".
In X teilen
In LinkedIn teilen
