On Mon, Oct 21, 2013 at 5:41 PM, Rostislav Lisovy <lisovy@gmail.com> wrote:

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

_______________________________________________
reading-group mailing list
reading-group@rtime.felk.cvut.cz
https://rtime.felk.cvut.cz/reading-group/

Dr. Benny Akesson        Postdoctoral Researcher
CTU Prague               Office: KN:G203
Karlovo Namesti 13       Phone: +420 224 357 595
121 35 Prague 2          Web: http://support.dce.felk.cvut.cz/pub/kessoben/
Czech Republic           E-mail: kessoben@fel.cvut.cz