Advanced Concurrency Theory Holger Hermanns, Daniel Stan

News

Next meeting this friday (and updated schedule)

Written: 31.01.2018 17:48 Written 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:00Timed 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



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators