Loading _events/vienna2025/agenda/d1-buildsandboxing.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Build sandboxing event: vienna2025 order: 214 order: 16 permalink: /events/vienna2025/agenda/d1-buildsandboxing/ --- Loading _events/vienna2025/agenda/d1-distributedverification.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Distributed verification event: vienna2025 order: 214 order: 11 permalink: /events/vienna2025/agenda/d1-distributedverification/ --- Loading _events/vienna2025/agenda/d1-languageecosystems.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Language ecosystems event: vienna2025 order: 214 order: 12 permalink: /events/vienna2025/agenda/d1-languageecosystems/ --- Loading _events/vienna2025/agenda/d1-localreproducibility.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Local reproducibility event: vienna2025 order: 214 order: 14 permalink: /events/vienna2025/agenda/d1-localreproducibility/ --- Loading _events/vienna2025/agenda/d1-lowlevelverification.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Low level verifications event: vienna2025 order: 214 order: 13 permalink: /events/vienna2025/agenda/d1-lowlevelverification/ --- Loading Loading
_events/vienna2025/agenda/d1-buildsandboxing.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Build sandboxing event: vienna2025 order: 214 order: 16 permalink: /events/vienna2025/agenda/d1-buildsandboxing/ --- Loading
_events/vienna2025/agenda/d1-distributedverification.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Distributed verification event: vienna2025 order: 214 order: 11 permalink: /events/vienna2025/agenda/d1-distributedverification/ --- Loading
_events/vienna2025/agenda/d1-languageecosystems.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Language ecosystems event: vienna2025 order: 214 order: 12 permalink: /events/vienna2025/agenda/d1-languageecosystems/ --- Loading
_events/vienna2025/agenda/d1-localreproducibility.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Local reproducibility event: vienna2025 order: 214 order: 14 permalink: /events/vienna2025/agenda/d1-localreproducibility/ --- Loading
_events/vienna2025/agenda/d1-lowlevelverification.md +2 −2 Original line number Diff line number Diff line --- layout: event_detail title: Collaborative Working Sessions - Success stories title: Collaborative Working Sessions - Low level verifications event: vienna2025 order: 214 order: 13 permalink: /events/vienna2025/agenda/d1-lowlevelverification/ --- Loading
