Beyond the Black Box: DIDI Rese­arch Pro­ject Awar­ded Fun­ding

Entwicklung zuverlässiger KI für mehrsprachige Medienanalyse

TCS @ CAV 2026

Unsere Arbeit: "Automated Amortised Analysis of Skew Heaps and Leftist Heaps" wurde für die Konferenz CAV 2026 akzeptiert (International Conference on Computer Aided Verification).

ATLAS erhält „Available“- und „Reusable“-Badges

Nach der Annahme unseres Beitrags auf der inter­na­ti­o­nalen Spit­zen­kon­fe­renz CAV 2026 wurde das zuge­hö­rige Arte­fakt nun im Rahmen der Arti­fact Evalu­a­tion erfolg­reich geprüft und mit Repro­du­zier­bar­keits-Badges ausge­zeich­net.

AUTOSARD Mid-Term Work­shop

AUTOSARD Mid-Term Workshop

Armin ist Mas­ter

Gratulation zum abgeschlossenem Masterstudium, Armin!

AUTO­SARD Kick-Off Work­shop

AUTOSARD Kick-Off Workshop

Samuel beim 8. Forum der Euro­pä­i­schen Min­der­hei­ten­re­gi­o­nen

Jamie ist Meis­ter