News
Next meeting this friday (and updated schedule)
Written on 31.01.2018 17:48 by Daniel Stan
Dear Students,
After this long Christmas break (happy new year !), I recall you that our next meeting takes place this Friday. Due to several time constraints, the next meeting will start early again (8:00) and consist only in one talk. The updated schedule follows, please take note also on the dates for write-ups and reviews :
02/02/2017 at 8:00 to 9:00: Timed and Priced Timed Automata (Giles Nies) by Tom
09/02/2017 at 8:30 to 10:00: Probabilistic automata and PCCS (Daniel Stan) by Lukas and
and Simulation Relations (Holger Hermanns) by Lars
16/02/2017: Submission of your write-up (draft)
9/03/2017: Review submission
30/03/2017: Final version of the write-up (including feedbacks from the reviews)
See you on Friday.
--
Daniel STAN