Past events

  • 2019-11-14T15:30:00+01:00
  • 2019-11-14T18:00:00+01:00
November 14 Thursday

14-11-2019 from 15:30 to 18:00
Nikhef (Spectrum zaal), Science Park 105, Amsterdam

On Thursday November 14, the next NWO Pride Network event will take place, an informal gathering with speakers, at Amsterdam Science Park, Nikhef Spectrum room. It starts at 3.30 pm till approximately 6.00 pm.

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

06-11-2019 from 10:00 to 11:30
UvA, Agnietenkapel

Uncertainty quantification with dependent input data, Wednesday 6th November at 10:00 a.m.

  • 2019-11-01T11:00:00+01:00
  • 2019-11-01T12:00:00+01:00
November 1 Friday

01-11-2019 from 11:00 to 12:00
Room L120 at CWI, Science Park 123 in Amsterdam

Everyone is welcome to attend the SWAT lecture of Jorge A. Pérez, with the title 'Session Types and Higher-Order Concurrency'.

  • 2019-10-31T11:00:00+01:00
  • 2019-10-31T12:00:00+01:00
October 31 Thursday

31-10-2019 from 11:00 to 12:00
Room L016 at CWI, Science Park 123 in Amsterdam

Everyone is welcome to attend the ML seminar of Rémi Bardenet with the title 'DPPs everywhere: repulsive point processes for Monte Carlo integration, signal processing and machine learning'.

  • 2019-10-29T12:00:00+01:00
  • 2019-10-29T13:30:00+01:00
October 29 Tuesday

29-10-2019 from 12:00 to 13:30
Agnietenkapel, Oudezijds Voorburgwal 229-231, 1012 EZ Amsterdam

Everyone is welcome to attend the public defence of Paul Griffioen of his thesis 'A Unit-Aware Matrix Language andits Application in Control and Auditing'.

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

23-10-2019 09:00 to 25-10-2019 17: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. See website for more information.