AUTOSARD Mid-Term Work­shop

AUTOSARD Mid-Term Workshop

Armin is a Master of Science

Congratulations on completing your Master's degree, Armin!

AUTOSARD Kick-Off Work­shop

AUTOSARD Kick-Off Workshop

Samuel at the 8th Forum of Euro­pean Minor­ity Regions

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

Jamie became Master

Jamie successfully defended her Master thesis and concluded her Master studies

TCS @ ESOP & OOP­SLA

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.

Arnold vis­its

Ohad vis­its