BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Correctness and learning for gravitational waves and laser physics
DTSTART;VALUE=DATE-TIME:20190319T080000Z
DTEND;VALUE=DATE-TIME:20190319T100000Z
DTSTAMP;VALUE=DATE-TIME:20200814T231011Z
UID:indico-event-81@cern.ch
DESCRIPTION:In this talk we follow two roads. The first one explores the a
pproach taken by formal methods in constructing and evaluating software sy
stems. This means applying mathematics for modelling and analyzing systems
\, from specification to implementation\, so that we can verify the implem
ented properties. The second road inspects what it takes for machines to l
earn\, from the basic concepts to a review of current machine learning tec
hniques. We aim to arrive at an intersection of the two roads\, where we c
an apply the strictness of mathematical modelling and the predictive power
of machine learning in order to better understand the problematics of gra
vitational waves and laser physics.\n\nhttps://indico.eli-np.ro/event/81/
LOCATION:ELI-NP Big Meeting Room
URL:https://indico.eli-np.ro/event/81/
END:VEVENT
END:VCALENDAR