2nd TACAS Competition on Software Verification 2013 -- Call for Participation
March 21, 2012 -- Rome, Italy
Associated with TACAS'13, there will be a competition on software verification.
After an interesting and successful first competition at the last TACAS in Tallinn,
TACAS'13 hosts the second such competition event with the goal of a thorough
evaluation and comparison of state-of-the-art software verifiers
with respect to effectiveness and efficiency, and to foster technology transfer.
After the benchmark set was considerably extended and consolidated,
we now call for participation, i.e., to submit a verifier and a description paper.
Submission info: http://sv-comp.sosy-lab.org/2013/submission.php
Important dates: http://sv-comp.sosy-lab.org/2013/dates.php
Oct. 21, 2012: Submission of Competition Contributions (3-page papers, via EasyChair) by participants (evaluation phase starts).
The competition takes place offline, and the results will be presented
in a special competition session at TACAS'13 in Rome.
Last year's results: http://sv-comp.sosy-lab.org/2012/results/index.php
Organizer: Dirk Beyer, University of Passau, Germany
Competition Jury and Program Committee:
Dirk Beyer (Chair), University of Passau, Germany
Bernd Fischer, University of Southampton, UK
Vadim Mutilin, Russian Academy of Sciences, Russia
Andrey Rybalchenko, TU Munich, Germany
Alexander Schremmer, University of Paderborn, Germany (from 2012-04-20)
Carsten Sinz, Karlsruhe Institute of Technology, Germany
Michael Tautschnig, Oxford University, UK
Helmut Veith, TU Vienna, Austria
Tomas Vojnar, Brno University of Technology, Czech Republic
Georg Weissenbacher, Princeton University, USA
Philipp Wendler, University of Passau, Germany