
Samuel at the 8th Forum of European Minority Regions
On 26 and 27 November 2024, the 8th Forum of European Minority Regions took place in Donostia/San Sebastián (Basque Country).
03.12.2024 | general news

Jamie became Master
Jamie successfully defended her Master thesis and concluded her Master studies
26.07.2024 | members

TCS @ ESOP & OOPSLA
Two new papers accepted: "On the Hardness of Analyzing Quantum Programs Quantitatively" will be presented at ESOP, while "Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs" will be presented at OOPSLA.
26.07.2024 | publications
Two PhD Positions in AUTOSARD available
12.01.2023 | job offers