File:Vienna Summer of Logic 2014 logo.png