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

TCS @ PLDI and FSCD

TCS @ "Proof and Com­pu­ta­tion"

Wel­come to Jamie and Manuel!

Two PhD Posi­tions in AUTOSARD avail­able