-
SWAT seminar: Thiago R. Silva
Everyone is welcome to attend the SWAT lecture of Thiago R. Silva entitled 'Engineering User Requirements for Ensuring Automated Assessment of Interactive ...
Located in
Research
/
…
/
Software Analysis and Transformation
/
Events
-
SWAT seminar: Thomas van Binsbergen (SWAT)
Everyone is welcome to attend the lecture of Thomas, entitled eFLINT - A DSL for Testing Normative Specifications
Located in
Research
/
…
/
Software Analysis and Transformation
/
Events
-
Symposium celebrating life and achievements of Farhad Arbab
On Friday 25 May 2018 CWI organizes a farewell symposium on the occasion of the retirement of Farhad Arbab, ‘It's All About Coordination’. Farhad Arbab has ...
Located in
News
/
2018
-
Symposium on Human-Centered Multimedia to celebrate Pablo Cesar’s Professorship Appointment
On 20 May 2022, Pablo Cesar gives his inaugural lecture at TU Delft, Aula, to celebrate his appointment to Professorship. The lecture, titled “Human-Centered ...
Located in
News
/
2022
-
Symposium Post-Quantum Cryptography (Episode II)
The Symposium Post-Quantum Cryptography is part of a series organized by CWI Cryptology Group and TNO. The first symposium in April 2021 was a general ...
Located in
Calendar
/
2021
/
PQC mtg 3 Nov 2021
-
SysBioSim and CWI Join Forces to Improve Drug Development for Kidney Diseases
SysBioSim, a systems biology simulations and bio-modeling company, and Centrum Wiskunde & Informatica (CWI), the Dutch national research center for mathematics ...
Located in
News
/
2016
-
Tackling messy blood vessels to fight cancer
With a Vici grant of 1.5 million euro, Roeland Merks (CWI and UL) looks for ways to fix messy and leaky blood vessels in tumours. To do so, he combines ...
Located in
News
/
2018
-
Talk by Luca Presotto, San Raffaele Hospital, Milan
Clinical Image Reconstruction for Emission Tomography
Located in
Research
/
…
/
Computational Imaging
/
Events
-
Talk by Tijs van der Storm at Curry On conference (video)
On 18 July 2016, CWI researcher Tijs van der Storm gave a talk at the Curry On conference in Rome. The full recording of this talk, titled 'Rascal: the Swiss ...
Located in
News
/
2016
-
TCS journal honours Jan Rutten
Jan Rutten from CWI’s Formal Methods research group was recently awarded by the journal Theoretical Computer Science (TCS) for his much cited article Universal ...
Located in
News
/
2015
