Vacancies
No vacancies currently.
News
Current events
CWI Soirée and Van Wijngaarden Awards 2021
- 2021-11-18T19:00:00+01:00
- 2021-11-18T22:00:00+01:00
CWI Soirée and Van Wijngaarden Awards 2021
Start: 2021-11-18 19:00:00+01:00 End: 2021-11-18 22:00:00+01:00
On Thursday 18 November 2021, CWI will present the Van Wijngaarden Award to a mathematician and computer scientist of special significance during the festive Soirée.
More information will follow asap.
CWI Lectures on Decision Making under Uncertainty
- 2021-11-04T12:00:00+01:00
- 2021-11-04T17:30:00+01:00
CWI Lectures on Decision Making under Uncertainty
Start: 2021-11-04 12:00:00+01:00 End: 2021-11-04 17:30:00+01:00
This year’s edition of the CWI Lectures revolves around Decision Making under Uncertainty
The Lectures are aimed towards a general academic public and in 2021 the program committee consists of Bert Zwart (Stochastics research group), Daan Crommelin (Scientific Computing research group) and Peter Grunwald (Machine Learning research group).
Confirmed speakers for now:
- Pinar Keskinocak (Georgia Institute of Technology)
- Leonard (Lenny) Smith (Virginia Tech)
- Gergely Neu (Universitat Pompeu Fabra Barcelona)
More information about the program and speakers will follow asap.
For inquiries and further details about the Lectures, please contact event coordinator Daniëlle Kollerie (D.C.Kollerie@cwi.nl) .
CWI Open Dag 2 oktober 2021
- 2021-10-02T12:00:00+02:00
- 2021-10-02T17:00:00+02:00
CWI Open Dag 2 oktober 2021
Start: 2021-10-02 12:00:00+02:00 End: 2021-10-02 17:00:00+02:00
CWI doet mee aan de Amsterdam Science Park Open Dag tijdens het Weekend van de Wetenschap. Op zaterdag 2 oktober 2021 is het gebouw geopend van 12.00 - 17.00 voor alle belangstellenden.
Binnenkort valt hier te lezen wat er die dag allemaal te doen is op het CWI.
Bereikbaarheid: Wij raden aan om met het openbaar vervoer naar Amsterdam Science Park te komen. Op station Amsterdam Science Park stoppen vier keer per uur treinen. GVB-bus 40 rijdt elke 15 minuten vanaf de stations Amstel en Muiderpoort naar Amsterdam Science
Girlsday 2021
- 2021-04-15T11:00:00+02:00
- 2021-04-15T12:00:00+02:00
Girlsday 2021
Start: 2021-04-15 11:00:00+02:00 End: 2021-04-15 12:00:00+02:00
On Thursday 15 April, around 15 girls of the Hervormd Lyceum West Amsterdam will meet up via Zoom with CWI scientists to learn more about what CWI does, how and why.
Our colleague Annette Kik will introduce them to CWI's history, our milestones and explain what our scientists do.
Yfke Dulek will talk about quantum computers and Nanda Piersma will tell them everything about responsible AI.
Girlsday is set up by the Dutch national expert organisation on girls and women in science and technology (VHTO). The goal of Girlsday is to promote girls’ interest in science, technology, engineering and mathematics careers.
During Girlsday, technical companies, (non-)governmental organizations, and research institutes open their doors for 10-15 year old girls. VHTO has organized Girlsday in the Netherlands annually since 2010.
Girlsday 2019 - visit to our FleXray Lab
QuSoft Seminar: Daniel Grier (University of Waterloo)
- 2021-04-09T17:00:00+02:00
- 2021-04-09T18:00:00+02:00
QuSoft Seminar: Daniel Grier (University of Waterloo)
Start: 2021-04-09 17:00:00+02:00 End: 2021-04-09 18:00:00+02:00
Everyone is welcome to attend the online lecture of Daniel Grier (University of Waterloo). Title: Classical Algorithms for Forrelation. Abstract:
This talk will feature the problem of forrelation: given two Boolean functions, estimate the correlation between one function and the Fourier transform of the other. There is a sense in which forrelation captures one of the hardest problems solvable by a quantum computer. For example, forrelation witnesses the largest possible separation between classical and quantum query complexity, and a natural generalization is BQP-complete. However, one can still ask the questions "What are the best classical algorithms for forrelation?" and "Are there interesting restricted settings in which forrelation becomes efficiently computable?" In this talk, I will focus on the latter question. I will introduce a family of Boolean functions defined over a graph and show that the forrelation can be computed efficiently whenever the graph is sufficiently structured (e.g. bipartite, planar). As an application, this will imply an efficient classical algorithm to compute level-2 variational energies in the Quantum Approximation Optimization Algorithm (QAOA) over similarly structured graphs.
Please contact Jop Briet or Suhasree Patro for the link to this seminar.
IGAFIT Algorithmic Colloquium: Karl Bringmann, Saarland University
- 2021-04-08T14:00:00+02:00
- 2021-04-08T15:00:00+02:00
IGAFIT Algorithmic Colloquium: Karl Bringmann, Saarland University
Start: 2021-04-08 14:00:00+02:00 End: 2021-04-08 15:00:00+02:00
This new online event aims to integrate the European algorithmic community and keep it connected during the times of the pandemic. Nikhil Bansal (N&O) is one of the organizers.
Speaker: Karl Bringmann, Saarland University. Title: Fine-Grained Complexity of Optimization Problems
Abstract: Fine-grained complexity theory is the area of theoretical computer science that proves conditional lower bounds based on conjectures such as the Strong Exponential Time Hypothesis. This enables the design of "best-possible" algorithms, where the running time of the algorithm matches a conditional lower bound.
The meeting will be held using Airmeet platform and to attend
please go to https://www.airmeet.com/e/c5d58880-9240-11eb-974a-f53cdfe77b59. You can find more information about the talk on IGAFIT web page: http://igafit.mimuw.edu.pl/?page_id=483786.
In order to access Airmeet platform, you will need to register, so that others know who you are.
Members
Associated Members
Publications
-
Vinju, J.J. (2020). Noisy numbers : column I/O magazine. I/O Magazine : ICT Research Platform Nederland, 17(3), 3–3.
-
van Binsbergen, L.T, Verano Merino, M, Jeanjean, P, van der Storm, T, Combemale, B, & Barais, O. (2020). A principled approach to REPL interpreters. In Onward! 2020 - Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2020 (pp. 84–100). doi:10.1145/3426428.3426917
-
Verano Merino, M, & van der Storm, T. (2020). Block-based syntax from context-free grammars. In SLE 2020 - Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with SPLASH 2020 (pp. 283–295). doi:10.1145/3426425.3426948
-
van der Storm, T, & Bakker, G. (2020). MATLAB doesn't love me: An essay. In ACM International Conference Proceeding Series (pp. 97–101). doi:10.1145/3397537.3397557
-
van Rozen, R.A. (2020, February 19). Languages of games and play : automating game design and enabling live programming. IPA dissertation series.
-
Aarssen, R.T.A, & van der Storm, T. (2020). High-fidelity metaprogramming with separator syntax trees. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 27–37). doi:10.1145/3372884.3373162
-
Azadbakht, K, de Boer, F.S, Bezirgiannis, N, & de Vink, E.P. (2019). A formal actor-based model for streaming the future. Science of Computer Programming, 186. doi:10.1016/j.scico.2019.102341
-
Soethout, T.M, van der Storm, T, & Vinju, J.J. (2019). Static local coordination avoidance for distributed objects. In AGERE 2019 - Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019 (pp. 21–30). doi:10.1145/3358499.3361222
-
Schaefer, I, Reichenbach, C, & van der Storm, T (Eds.). (2019). GPCE 2019: Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. In I Schaefer, C Reichenbach, & T van der Storm (Eds.), .
-
Afroozeh, A, & Izmaylova, A. (2019, June 11). Practical general top-down parsers. IPA dissertation series.
Current projects with external funding
-
Enterprise software engineering ()
Related partners
-
ING Bank