17 Sep
2015
17 Sep
'15
6:57 a.m.
We had a few issues with the registration form, but these should now be resolved.
https://sel4.systems/Community/Devdays/ for info and https://sel4.systems/Community/Devdays/register.pyl for registration.
Peter C
--
Dr Peter Chubb peter.chubb AT nicta.com.au
http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA