D.safety

Day	Start		End	Track(s)
Saturday	10:00	→	14:00	Safety and Open Source

	09												10												11												12												13												14												15												16												17
Saturday													Subplot - documenting your criteria for success Expressing argumentation in a validatable way												Don't trust us, trust the math behind immudb How immudb protects safety critical data (with math and cryptography)												Designing a new Language for Safety: Fuzion A minimal language for safety-critical systems																		Testing Requirements Documents Integrating Specifications into your CI/CD pipeline

Title		Track	Start	End
Saturday
	Subplot - documenting your criteria for success Expressing argumentation in a validatable way	Safety and Open Source	10:00	11:00
	Don't trust us, trust the math behind immudb How immudb protects safety critical data (with math and cryptography)	Safety and Open Source	11:00	11:45
	Designing a new Language for Safety: Fuzion A minimal language for safety-critical systems	Safety and Open Source	12:00	12:45
	Testing Requirements Documents Integrating Specifications into your CI/CD pipeline	Safety and Open Source	13:30	14:00

FOSDEM22