Probabilistic and Statistical Verification

Sampling-based solution methods for verifying random or chance properties.

Visible to the public  MEMICS 2016
Oct 21, 2016 7:00 am - Oct 23, 2016 6:00 pm CEST

11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)

Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people.


Visible to the public  WCET 2016
Jul 05, 2016 7:00 am - 6:30 pm CEST

16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)

Toulouse, France | 5th July 2016 |

in conjunction with the Euromicro Conference on Real-Time Systems (ECRTS)

WCET 2016 is kindly supported by TACLe (, an European COST-Action on Timing Analysis on Code-Level.