Past events

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

  • 2019-10-10T13:30:00+02:00
  • 2019-10-10T14:30:00+02:00
October 10 Thursday

10-10-2019 from 13:30 to 14:30
Room L016 at CWI, Science Park 123 in Amsterdam

Everyone is welcome to attend the N&O seminar of David Kempe with the title 'Security Games: Quasi-Regular Sequences, and a new version of TSP'.

  • 2019-10-10T11:00:00+02:00
  • 2019-10-10T12:00:00+02:00
October 10 Thursday

10-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 Alexander Marx with the title 'Testing Conditional Independence on Discrete Data using Stochastic Complexity'.