Colloquium Prof Paula Herber

Prof Paula Herber, Universität Münster (D)

To celebrate the achievements of IPN in the past 25 years, IPN is organising a special, online series of colloquia in which world-renowned computer scientists give their view on the progress in, and future of the field of computer science.

These colloquia will feature thought-provoking presentations that are of interest to a broad (academic) computer science audience. Although these colloquia are initially aimed at the Dutch computer science community, they are open to interested people around the world!

More

Paula Herber

IPN Colloquium 8: From Hope to Proof: Why Safety in Embedded Systems Needs Formal Methods – ICT Research Platform Netherlands