Upcoming

31 May 2013
27 September 2013
29 November 2013

Past

4 April 2013
Jeroen Witteveen (SC): Uncertainty Quantification in Computational Fluid Dynamics
Serge Fehr (CR): Robust Secret Sharing

8 February 2013
Jiyin He (IA): Interactive information retrieval for complex search tasks
Mark Hills (Swat): A Framework for PHP Program Analysis
Sunil Simon (N&O, SwAT): Social network games
Andras Szabo  (LS): Cell-based modeling of cancerous tissues

30 November 2012
Stratos Idreos (INS1): 3 Ideas for Big Data Exploration
Willem Hundsdorfer (MAC3): Numerical oscillations - and how to avoid them

12 October 2012
Krzysztof Apt (PNA1): Open Access vs Commercial Publishers
Jens Rademacher (MAC3): An invitation to nonlinear waves and coherent structures

1 June 2012
Bart de Keijzer (PNA1): Algorithmic Game Theory
Joost Bosman (PNA2): Extreme value theory in a tandem of fluid queues
Willem Haverkort (MAC2): Magnetohydrodynamic stability of rotating tokamak plasmas
Inken Wohlers (MAC4): Exact algorithms for protein structure alignment
Jeroen van den Bos (SEN1): Model-Driven Engineering in Digital Forensics
Holger Pirk (INS1): Data Management in the Age of Heterogeneous Hardware

30 March 2012
Pablo Cesar (SEN5): Enabling High-Quality Audiovisual Communications
Alexander Schoenhuth (MAC4): Discovering individual human genetic variation with CLEVER and SMART

3 Februari 2012
Vadim Zaytsev (SEN): The Life Cycle of Grammarware
Tobias Marschall (MAC): Efficient Exact Motif Discovery
Bart Scheers (INS): Where CWI touches the Sky
Erwin Dassen (PNA): Lattices in cryptography

25 November 2011
Jos Baeten (DIR): Model based systems engineering, in particular supervisory control synthesis
Ute Ebert (MAS3): Multiscale modeling of sparks and their kind

30 September 2011
Harry Buhrman (PNA6): Position-based quantum cryptography
Barry Koren (MAC2): Analysis, Computing and Sustainable Energy

27 May 2011
Niek Bouman (PNA5): Secure authentication from a weak key without leaking information
Jop Briet (PNA6): Playing nonlocal games with quantum resources
Floor Sietsma (SEN1/PNA1): The logic of email communication
Benjamin Sanderse (MAC2): Computational methods for windfarm aerodynamics
Gideon Wormeester (MAC3): Understanding streamers using density models with mesh refinement
Erietta Liarou (INS1): A DBMS kernel sailing streams

8 April 2011
Jan van Schuppen (MAC2): Control of piecewise-affine hybrid systems on polytopes
Tijs van der Storm (SEN1): Domain Specific Language Research at CWI

4 February 2011
Alexandra Silva (SEN3): Coalgebra at the CWI: a brief overview
Tomas Masopust (MAC2): Supervisory control of discrete-event systems
Vera Hollink (INS2): Interactive information retrieval
Tobias Mueller (PNA1): Random geometric graphs

26 November 2010
Sander Bothe (MAC4): Fractionally Predictive Spiking Neurons
Jan van Eijck (SEN1): Reasoning about Communication

24 September 2010
Joost Batenburg (MAC2): Tomography at all scales

11 June 2010
1. Arnoud den Boer (PNA2): Dynamic pricing with unknown demand function
2. Romulo Goncalves (INS1): The Data Cyclotron
3. Wouter Koolen-Wijkstra (PNA6): Combining Predictions Efficiently
4. Jose Proenca (SEN3): Distributed framework for Reo
5. Anna Mozartova (MAC3): Non-oscillatory Time Stepping
6. Sjors van der Stelt (MAC1): Rise and fall of patterns in models for semi arid ecosystems

1 April 2010
Marie-Colette van Lieshout (PNA2)
Roeland Merks (MAC4)

4 February 2010
Jan Verwer (MAS1): Numerical integration of Maxwell’s equations
Jurgen Vinju (SEN1): Rascal: a Domain Specific Language for Source Code Analysis and Transformation

27 November 2009
Bert Zwart (PNA)

24 September 2009
Krzysztof Pietrzak (PNA5): Cryptographic Side-Channel Attacks: Form Practice to Theory and Back
Stefan Manegold (INS1): MonetDB: Breaking the Memory Wall and Tackling the Data Explosion

29 May 2009
Lacramioara Astefanoaei (SEN3)
Jana Nemcova (MAS2)
Fernando de Oliveira Filho (PNA1)
Ferdi Smit (INS3)
Marc Stevens (PNA5)