vienna2025: Slight syntax improvements (144b7cb5) · Commits · Reproducible Builds / reproducible-website

_events/vienna2025/agenda.md

+6 −12

Original line number	Diff line number	Diff line
		@@ -39,18 +39,12 @@ Participants are encouraged to sit with those who they have not yet met or engag

		14.00 Collaborative Working Sessions

		* Distributed verification
		** [NOTES](/events/vienna2025/agenda/d1-distributedverification)
		* Language ecosystems
		** [NOTES](/events/vienna2025/agenda/d1-languageecosystems)
		* Low-level verification
		** [NOTES](/events/vienna2025/agenda/d1-lowlevelverification)
		* Local reproducibility and user perception
		** [NOTES](/events/vienna2025/agenda/d1-localreproducibility)
		* State of RB tooling
		** [NOTES](/events/vienna2025/agenda/d1-rbtooling)
		* Build sandboxing
		** [NOTES](/events/vienna2025/agenda/d1-buildsandboxing)
		* Distributed verification: [NOTES](/events/vienna2025/agenda/d1-distributedverification)
		* Language ecosystems: [NOTES](/events/vienna2025/agenda/d1-languageecosystems)
		* Low-level verification: [NOTES](/events/vienna2025/agenda/d1-lowlevelverification)
		* Local reproducibility and user perception: [NOTES](/events/vienna2025/agenda/d1-localreproducibility)
		* State of RB tooling: [NOTES](/events/vienna2025/agenda/d1-rbtooling)
		* Build sandboxing: [NOTES](/events/vienna2025/agenda/d1-buildsandboxing)

		15.45 Closing Circle