Germany / Russia / United States / Brazil / Canada / United Kingdom / Czech Republic / /
Event
Man-Made Disaster / /
Facility
Dirk Beyer University of Passau / University of Freiburg / Brno University of Technology / Karlsruhe Institute of Technology / Masaryk University / University of Toronto / University of Southampton / University of Passau / /
Dirk Beyer University of Passau / Competition Jury / Russian Academy of Sciences / University of Passau / Institute of Technology / Masaryk University / Brno University of Technology / University of Southampton / University of Toronto / University of Freiburg / /
Person
Jeremy Morse / Representing / Tomas Vojnar / Lucas Cordeiro / Stephan Falke / Tomas Vojnar Brno / Vadim Mutilin / Philipp Wendler Passau / Andrey Rybalchenko Munich / Bernd Fischer / Matthias Heizmann Freiburg / Petr Peringer / Aws Albarghouthi / Vadim Mutilin Moscow / Marsha Chechik / Gennaro Parlato / Pavel Shved / Jan Strejcek / Marek Trtík / Yi Li / Andrey Rybalchenko / Corneliu Popeea / Jiri Slaby Brno / Petr Muller / Matthias Heizmann / Meta Categories / Sagar Chaki / Jiri Slaby / Carsten Sinz / Bernd Fischer Southampton / Lucas Cordeiro Manaus / Carsten Sinz Karlsruhe / Arie Gurfinkel / Kamil Dudka / Florian Merz / Denis Nicole / Omar Inverso / Mikhail Mandrykin / Blast / Juri Slaby Brno / Stefan Löwe Passau / Stefan Löwe / Philipp Wendler / /
LNCS[removed]Second Competition on Software Verification