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).

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

TCS @ ESOP & OOPSLA