reading-group

Download

reading-group@rtime.felk.cvut.cz

October 2013

2 participants
2 discussions

Next Reading-group: 1st of November
by Rostislav Lisovy 01 Nov '13

01 Nov '13

Dear colleagues; The next reading group will be held on Friday 1st of November at 10 am. The presented paper will be: seL4: Formal verification of an OS kernel Gerwin Klein et al., NICTA, Sydney, Australia http://www.ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf Regards; Rosta

2 1

When?
by Michal Sojka 04 Oct '13

04 Oct '13

Hi list! We need to decide when will be the regular time for reading groups. Please indicate your availability at http://doodle.com/canht2gg9wmqv7ug by Wednesday Oct 9. Ignore the actual dates, consider only days in the week. Thank you, -Michal

1 0