[Club2] Talk by Sergio Giro -- TODAY in Alan Turing at 16:00

[Johannes Hölzl]

Dear All,

Today, our visitor Sergio Giro will give a talk on his ideas of
certifying probabilistic model checking runs.

The talk will be at 16:00 in
Alan Turing (MI 00.09.055, our regular meeting room)

Best regards,
  Johannes