I see that the agenda says 09:00; however, for the past 4 F2F meetings, we've started the first day at 10:00. Is 09:00 correct? Rex -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.vse.cz/pipermail/sc34wg4/attachments/20180604/e4dcc383/attachment.html>