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