Dear colleagues,
On
Wednesday 16h30 CEST the
Compute & Accelerator Forum will host a seminar on "
A Formal but Pragmatic Foundation for General-Purpose Operating Systems", see
https://indico.cern.ch/event/1472688/.
Some may be at Connecting the Dots in Tokyo. Enjoy!
Best wishes, have a good week,
Eduardo, for the HSF Steering Group
| Eduardo Rodrigues, PhD (he/him) | University of Liverpool | LHCb Experiment @ CERN | Tel. +41 (0) 22 76 72088 |