Future events

Site Events
  • 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.

  • 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-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-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.