<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi Björn,<div class=""><br class=""></div><div class=""><div><blockquote type="cite" class=""><div class="">On Dec 14, 2015, at 2:36 AM, Meng Xu <<a href="mailto:xumengpanda@gmail.com" class="">xumengpanda@gmail.com</a>> wrote:</div><div class=""><div dir="ltr" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><div class="gmail_extra"><br class=""><div class="gmail_quote">On Mon, Dec 14, 2015 at 6:03 AM, Björn Brandenburg<span class="Apple-converted-space"> </span><span dir="ltr" class=""><<a href="mailto:bbb@mpi-sws.org" target="_blank" class="">bbb@mpi-sws.org</a>></span><span class="Apple-converted-space"> </span>wrote:<blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex;"><span class=""><br class=""></span>Hi Meng, </blockquote><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex;"><br class="">I’m not organizing the workshop, but I believe the organizers are looking into the option of recording the morning session. I don’t think there will be a video of the hands-on session.<br class=""></blockquote><div class=""><br class=""></div><div class=""><div class="gmail_default" style="font-size: small;">I see. That will be very useful and helpful! :-)</div><div class="gmail_default" style="font-size: small;">(BTW, the wiki of LITMUS is so clear that it makes our life of learning how to use LITMUS quite pleasant. :-D)</div></div></div><div class="gmail_signature"><br class=""></div></div></div></div></blockquote><br class=""></div><div><div class="">This sounds like a great idea, hopefully the organizers are able to arrange the recording. I also agree with Meng, with regards to the online documentation. </div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Geoffrey</div></div><br class=""></div></body></html>