Leader of the group Stochastics: Bert Zwart.

News

Current events

Dijkstra Fellowship soiree 2019

  • 2019-11-21T19:00:00+01:00
  • 2019-11-21T22:30:00+01:00
November 21 Thursday

Start: 2019-11-21 19:00:00+01:00 End: 2019-11-21 22:30:00+01:00

More info will follow asap

CWI Lectures on Programming & Cryptology 2019

  • 2019-11-21T00:00:00+01:00
  • 2019-11-22T23:59:59+01:00
November 21 Thursday

Start: 2019-11-21 00:00:00+01:00 End: 2019-11-22 23:59:59+01:00

Turingzaal

Centrum Wiskunde & Informatica kindly requests you to save the date for the annual CWI Lectures on 21 and 22 November 2019.

The Lectures are aimed towards a general academic public and will be organized by Ronald Cramer and Dick Bulterman. 

Confirmed speakers:
- Guido van Rossum (21 November)
- David Chaum (22 November)

During the CWI Lectures Chaum and Van Rossum will discuss their work and views on future developments. Also, other key players in Chaum’s and Van Rossum’s areas of expertise will present their recent advancements.

Further information on the program will follow soon, registration will open in October.  For now, please reserve 21 and 22 November in your calendar so you can join us for this year’s edition of the CWI Lectures.

Best regards,

Jos Baeten
General Director CWI

PhD defense Anne Eggels (SC)

  • 2019-11-06T10:00:00+01:00
  • 2019-11-06T11:00:00+01:00
November 6 Wednesday

Start: 2019-11-06 10:00:00+01:00 End: 2019-11-06 11:00:00+01:00

UvA, Agnietenkapel

You are cordially invited to the public defense of Anne Eggels on her thesis:

Uncertainty quantification with dependent input data
including applications to offshore wind farm

Promotor: Prof.dr. Daan Crommelin
Co-promotor: prof.dr.ir. Barry Koren

 

16th International Conference on Formal Aspects of Component Software (FACS 2019)

  • 2019-10-23T09:00:00+02:00
  • 2019-10-25T17:00:00+02:00
October 23 Wednesday

Start: 2019-10-23 09:00:00+02:00 End: 2019-10-25 17:00:00+02:00

Room L016 at CWI, Science Park 123 in Amsterdam

Call for Papers: FACS 2019
FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones.

Invited speakers:

  • Wan Fokkink (Professor of Theoretical Computer Science, Vrije Universiteit Amsterdam)
  • Carlo Ghezzi (Professor of Software Engineering, Polytechnic University of Milan)
  • Kim Larsen (Professor of Computer Science, Aalborg University)

The forty-fourth Woudschoten Conference

  • 2019-10-09T08:30:00+02:00
  • 2019-10-11T12:00:00+02:00
October 9 Wednesday

Start: 2019-10-09 08:30:00+02:00 End: 2019-10-11 12:00:00+02:00

The Woudschoten Conference Centre, Zeist, The Netherlands

Dear SCS member,

We are pleased to announce the registration for the 44th Woudschoten Conference is now open.

Note: You will be asked to pay directly at the registration, with iDEAL, Mister Cash or credit card. Please have your payment ready. iDEAL or Mister Cash are preferred.

More information about the prices and packages can be found here.

We are very grateful to our sponsors NWO, VORtech, 4TU.AMI, NDNS+ and Sioux Lime.

For further information please contact the secretariat of the organizing committee:
Martine Anholt
CWI - Centrum Wiskunde & Informatica
Organizing committee Woudschoten Conference
Science Park 123, 1098 XG Amsterdam
P.O. Box 94079, NL-1090 GB Amsterdam
Telephone Martine Anholt: +31 20 592 4058

CWI Open Dag 5 oktober 2019

  • 2019-10-05T12:00:00+02:00
  • 2019-10-05T17:00:00+02:00
October 5 Saturday

Start: 2019-10-05 12:00:00+02:00 End: 2019-10-05 17:00:00+02:00

CWI - Amsterdam Science Park

CWI doet mee aan de Amsterdam Science Park Open Dag tijdens het Weekend van de Wetenschap. Op zaterdag 5 oktober 2019 is het gebouw geopend van 12.00 - 17.00 voor alle belangstellenden. Wat is er allemaal te doen op het CWI?

CWI Game Lab. Maak je eigen computergame of tekenfilm met het programma Scratch.
Doelgroep: kinderen vanaf 10  jaar.

Veelvlakken bouwen van polydronBouwactiviteit van Stichting Vierkant voor Wiskunde.
Doelgroep: kinderen vanaf 4 jaar.
Geheimschrift en schildpadpuzzel & Möbiusband knippen. Knipactiviteit van Stichting Vierkant voor Wiskunde.
Doelgroep: kinderen vanaf 8 jaar.

Lezingen voor volwassenen (zaal L016)
13:00-13:45   Steven Pemberton: Internet and Numbers
14:00-14:45   Judith ter Schure: (Medische) statistiek: afwijken is het nieuwe normaal
15:00-15:45   Karel Jan Schoutens: Hoe kun je rekenen met een quantumcomputer?

Wiskunde- en informaticamarkt. CWI-onderzoekers nemen je mee in hun onderzoek met puzzels, spellen en demonstraties met o.a.:

@ Het handelsreizigersprobleem. Doelgroep: alle leeftijden
Je gaat op reis langs alle universiteitssteden van Nederland en wil natuurlijk je route zo efficiënt mogelijk inplannen. Je taak is dus het vinden van een kortste rondreis langs al deze steden.
@ Hoe random ben jij? Doelgroep: alle leeftijden
Kijk hoe goed je bent in het bedenken van een willekeurige reeks symbolen. Versla jij een quantumcomputer?
@ Polarisatiespel. Doelgroep: alle leeftijden
Stuur met behulp van spiegels en kristallen een laser naar de juiste plek, en ontdek hoe een quantumcomputer werkt.
@ Scan je Surprise ei en raad wat er in zit. Doelgroep: kinderen vanaf 6 jaar
Samen met de scanner-experts van het CWI krijg je de kans om je chocolade Surprise ei te scannen in hun FleX-ray Scanner. Zonder het chocolade Surprise ei te breken, kun je raden wat er in het ei verborgen zit. Na het scannen mag je het chocolade ei natuurlijk breken om op te eten maar vooral ook om te ontdekken of je goed geraden had wat er in het ei zit!
@
Cryptis - Next Generation Cryptography Meets Tetris. Doelgroep: alle leeftijden
Het doel van deze game is om het belang te tonen van zgn asymmetrische cryptografie. In een reeks puzzels decodeer je een bericht met een persoonlijke sleutel, terwijl de computer hetzelfde bericht probeert te decoderen met een openbare sleutel. Voor jou neemt de moeilijkheid lineair toe, terwijl de computer steeds meer problemen zal hebben. Cryptografie beschermt jouw gegevens effectief!
@ Vertrouwen op Artificial Intelligence (AI): Waarom en wanneer niet? Doelgroep: alle leeftijden
Als je een AI model gebruikt dat het “gemiddeld goed” doet, hoe kom je er achter of het ook goed werkt voor jouw specifieke geval en hoe kom je er achter of je de resultaten kunt vertrouwen?
@ Object-Based Multiscreen Entertainment. Doelgroep: alle leeftijden
This demonstration shows a new object-based production platform for authoring programs for multiscreen, together with the associated novel multi-screen services produced at Silverstone during MotoGP2017 and at the Wembley stadium during the FA Final Cup 2018.

Meer informatie over de Open Dag op het Amsterdam Science park:
Amsterdam Science Park Open Dag
Amsterdam Science Park

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

Members

Associated Members

Publications

Current projects with external funding

  • Rare events: Asymptotics, Algorithms, Applications ()
  • Impactstudie Noord/Zuidlijn Gemeente Amsterdam
  • Ontwikkeling van Data Analytics, Data Science en Crypto Analyse technieken
  • Samenwerkingsovereenkomst Stichting 113 / CWI - Zelfmoordpreventie
  • Verbeteren van de efficiency en prestatie van logistieke processen in de binnenvaart
  • Dynamic urban traffic flow management using floating-car, planning, and infrastructure data (Dynafloat)
  • Emergency Service Logistics: Network Design and Dynamic Dispatching (DYNAMERGE)
  • G-Moji self-help in the palm of your hand for youth at risk (G-Moji)
  • Lane Analysis & Route Advisor (LARA)
  • PPS Engie

Related partners

  • CTVrede
  • De Verkeersonderneming
  • Gemeente Amsterdam
  • Stichting 113
  • Stichting Sensor City
  • Engie Services West Nederland B.V.
  • Universiteit van Amsterdam
  • Vrije Universiteit Amsterdam