2nd TACAS Competition on Software Verification 2013 -- Call for Participation
March 21, 2012 -- Rome, Italy http://sv-comp.sosy-lab.org/ http://www.etaps.org/2013/tacas13 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 Next deadline: 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 ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
