Past events

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

  • 2019-10-15T12:00:00+02:00
  • 2019-10-15T13:30:00+02:00
October 15 Tuesday

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

Rare Event Simulation and Time Discretization, Tuesday 15th October at 12:00 p.m.