BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Helsing: Simulating a System of Systems - Matei David
DTSTART:20250317T130500Z
DTEND:20250317T135500Z
UID:TALK227644@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:At Helsing\, speed and correctness are key in delivering high 
 quality products. The two are often in antithesis\; it is difficult to qui
 ckly iterate over designs while keeping your codebase correct and vice ver
 sa. To build confidence in the systems we build\, we use deterministic sim
 ulation concepts to enable full end-to-end testing and verification of our
  software through our in-house simulation platform called Prophecy. Prophe
 cy aims to make simulating easy by providing libraries and services necess
 ary to orchestrate simulations and build a system of systems. This allows 
 other teams to test scenarios up-front and ensure their code and models ar
 e resilient to failure\, and to run complex\, distributed workflows throug
 h closed or open loop simulations. In this talk\, we'll be having a look a
 t what deterministic simulation is in a nutshell\, how Prophecy works\, an
 d how to simulate concurrent code in Rust using tokio.\n\nPlease register 
 at the following link: https://forms.office.com/e/E2nCWEpkA9\n\nPlease not
 e that it is not a requirement to sign up in order to attend the event\n\n
 You can also participate in a coding challenge\, and the best submission w
 ill win a DJI drone. The challenge is available in this link: https://scre
 en-ide.coderpad.io/invite/1323704f6f9c624b725\n\nSome catering will be pro
 vided
LOCATION:FW26\, William Gates Building
END:VEVENT
END:VCALENDAR