Login
Roast topics
Find topics
Find it!
From:
alastairreid.github.io
(Uncensored)
subscribe
Dagstuhl: Formal Methods for Correct Persistent Programming – Alastair Reid – Researcher at Intel
https://alastairreid.github.io/dagstuhl/
links
backlinks
Roast topics
Find topics
Roast it!
Last week, I boarded the train to Wadern, Germany (through London, Paris and Saarbrücken) to attend Dagstuhl seminar 23412 on “Formal Methods for Correct Persistent Programming”.
