Advanced Concurrency Theory

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

Dears students,

Thank you for all your interesting presentations on Petri Nets, the grades will soon ve registered in the system. We will give you individual feedback as part of the session on December 8, together with putting one or two short presentations on Petri Nets on stage. Since there was no single presentation in the calibration session standing out qualitywise, we will improvise these presentations somewhat.

You can find below a schedule update (some changes are there), with your "topical mentor" assigned.

[…]

You should contact your mentor at the latest two weeks before your individual presentation. We expect you to give a 40 minutes presentation, with 10 minutes slots for questions and setup in between.

Have a nice week-end !

-- 
Daniel

Dear students,

Thank you for your answers to the poll, that allowed us to compile the
previsionnal schedule for this semester, you can find below the assignements
and dates.

[Schedule updated in more recent news]

I will send you a separate mail with who is in charge of supervising you for your topic.
I also recall you of our next meeting, on Friday November 17, when you should
give a small presentation (5min) on the topic of Petri Net, without audience.
I suggest that we start at 9am as the course is not crowded, in the following
(randomly generated) order:

9:00 Julian
9:08 Lars
9:16 Sanny
9:24 Tom
9:32 Anna
9:40 Felix
9:48 Lukas

Please feel free to raise any comment or issue,

Have a nice afternoon,
-- 
Daniel