Automata-Theoretic Protocol Programming (With Proofs) Tech Report

S.-S.T.Q. Jongmans (Sung)

"Simulatie, chaos en onzekerheid", Universiteit van Amsterdam Lecture

D.T. Crommelin (Daan)

International Symposium of Linear Algebra (ILAS 2016), Leuven, Plenary lecture Lecture

M. Laurent (Monique)

Plenary invited lecture,Workshop Extreme events in the Earth and planetary sciences, Warwick, UK Lecture

D.T. Crommelin (Daan)

Remembering ARRA: A pioneer in Dutch computing : a story from the earliest days of Dutch computing Online Video

Technical history of discrete logarithms in small characteristic finite fields: The road from subexponential to quasi-polynomial complexity Article

C.A. Pierrot (Cécile) and A. Joux (Antoine)

The strange case of reproducibility versus representativeness in contextual suggestion test collections Article

T. Samar (Thaer), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

Visiting fellow, Simons institute, Berkeley, USA Lecture

A.P. Zwart (Bert)