list.iid.ciirc.cvut.cz
Sign In
Sign Up
Manage this list
Sign In
Sign Up
×
Keyboard Shortcuts
Thread View
j
: Next unread message
k
: Previous unread message
j a
: Jump to all threads
j l
: Jump to MailingList overview
reading-group
Thread
Start a new thread
Download
Threads by
month
----- 2025 -----
May
April
March
February
January
----- 2024 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2023 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2022 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2021 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2020 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2019 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2018 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2017 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2016 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2015 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2014 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2013 -----
December
November
October
September
August
July
June
May
April
March
February
January
----- 2012 -----
December
November
October
September
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
0
0
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
0
0
Results per page:
10
25
50
100
200