Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon Diese Seite ist nur in Englisch verfügbar
Bildinformationen anzeigen

2nd International Workshop on CPAchecker (CPA'17)

September 4 - 5, 2017 in Paderborn

About

The goal of the 2nd International Workshop on CPAchecker is to bring together researchers and practitioners that are interested in the open-source verification framework CPAchecker. The presentations include new concepts and algorithms in CPAchecker, application to interesting problems, experience reports, and discussion on further directions of the open-source project. The workshop is a presentations-only event, i.e., there are no proceedings.

Organizers

Dr. Marie-Christine Jakobs

Büro: O4.128
Telefon: +49 5251 60-1767
E-Mail: mcjakobs(at)mail.uni-paderborn(dot)de

Prof. Dr. Heike Wehrheim

Büro: O4.225
Telefon: +49 5251 60-4331
E-Mail: wehrheim(at)uni-paderborn(dot)de

Sponsored By

Die Universität der Informationsgesellschaft