Past events

  • 2019-11-14T10:00:00+01:00
  • 2019-02-01T18:00:00+01:00
November 14 Thursday

14-11-2019 10:00 to 01-02-2019 18:00
WCW Congress Center, Turing room, Science Park 123, Amsterdam

The fifth Dutch national symposium on software engineering (SEN) will be held on February 1st, 2019 in Amsterdam. After the success of the SEN Symposium of 2014, 2016, 2017 and 2018, we cordially invite you to the fifth edition. At this conference we bring together the research community for software engineering. The SEN Symposium is organized by VERSEN.

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

  • Scientific Computing English Not a Seminar Seminars
  • iCal
  • 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'.

  • Software Analysis & Transformation English Seminars
  • iCal
  • 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'.

  • Software Analysis & Transformation Not a Seminar English
  • iCal
  • 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.