Tag: safety

: These URLs in Geminispace contain the tag: safety

All rooms at FOSDEM ⌘ URL: gemini://gemini.bortzmeyer.org/fosdem/allrooms.gmi

FOSDEM event "Proving heap-manipulating programs with SPARK" ⌘ URL: gemini://gemini.bortzmeyer.org/fosdem/event-11077.gmi

FOSDEM event "Adding contracts to the GCC GNAT Ada standard libraries" ⌘ URL: gemini://gemini.bortzmeyer.org/fosdem/event-11372.gmi

FOSDEM event "Document security and digital signatures in PDF" ⌘ URL: gemini://gemini.bortzmeyer.org/fosdem/event-11685.gmi

FOSDEM event "Community Discussion: Safety and Open Source" ⌘ URL: gemini://gemini.bortzmeyer.org/fosdem/event-11734.gmi

FOSDEM event "ELISA - Advancing Open Source Safety-Critical Systems " ⌘ URL: gemini://gemini.bortzmeyer.org/fosdem/event-11856.gmi

FOSDEM event "Why we should use Free and Open Source Software for safety applications" ⌘ URL: gemini://gemini.bortzmeyer.org/fosdem/event-11857.gmi

Fwd: FW: Tomato Update ⌘ URL: gemini://kg4vma.duckdns.org/gemfeed/2008/2008-06-09-fwd-fw-tomato-update.gmi

Fwd: FW: Propane tank safety concern ⌘ URL: gemini://kg4vma.duckdns.org/gemfeed/2008/2008-06-11-fwd-fw-propane-tank-safety-concern.gmi

All rooms at FOSDEM ⌘ URL: gemini://radia.bortzmeyer.org/fosdem/allrooms.gmi

FOSDEM event "Proving heap-manipulating programs with SPARK" ⌘ URL: gemini://radia.bortzmeyer.org/fosdem/event-11077.gmi

FOSDEM event "Adding contracts to the GCC GNAT Ada standard libraries" ⌘ URL: gemini://radia.bortzmeyer.org/fosdem/event-11372.gmi

FOSDEM event "Document security and digital signatures in PDF" ⌘ URL: gemini://radia.bortzmeyer.org/fosdem/event-11685.gmi

FOSDEM event "Community Discussion: Safety and Open Source" ⌘ URL: gemini://radia.bortzmeyer.org/fosdem/event-11734.gmi

FOSDEM event "ELISA - Advancing Open Source Safety-Critical Systems " ⌘ URL: gemini://radia.bortzmeyer.org/fosdem/event-11856.gmi

FOSDEM event "Why we should use Free and Open Source Software for safety applications" ⌘ URL: gemini://radia.bortzmeyer.org/fosdem/event-11857.gmi