About: Vienna Summer of Logic

An Entity of Type: event, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Scientific event

Property	Value
dbo:description	مؤتمر علمي (ar) scientific event (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Vienna_Summer_of_Logic_2014_logo.png?width=300
dbo:wikiPageExternalLink	http://vsl2014.at/floc-ws/ http://vsl2014.at/ http://vsl2014.at/olympics/
dbo:wikiPageWikiLink	dbr:Non-classical_logic dbc:2014_in_science dbr:Algebra dbr:Lambda_calculus dbr:Satisfiability_modulo_theories dbr:Artificial_intelligence dbr:Automated_theorem_proving dbc:2014_in_Austria dbc:2010s_in_Vienna dbr:Logic dbr:International_Conference_on_Logic_Programming dbr:International_Conference_on_Rewriting_Techniques_and_Applications dbr:Game_theory dbc:Logic_organizations dbr:Kurt_Gödel dbr:Boolean_satisfiability_problem dbr:Mathematical_logic dbr:International_Joint_Conference_on_Automated_Reasoning dbr:Symposium_on_Logic_in_Computer_Science dbr:Kurt_Gödel_Society dbc:Science_events_in_Austria dbr:File:Vienna_Summer_of_Logic_2014_logo.png dbr:Mathematical_Logic dbc:2014_conferences dbr:Logic_in_computer_science dbr:Computer_Aided_Verification dbc:July_2014_events_in_Europe dbr:Knowledge_Representation dbr:Logic_in_Computer_Science dbr:Vienna_University_of_Technology dbr:Description_Logics dbr:Artificial_Intelligence dbr:Non-monotonic_reasoning dbr:Summer_School dbr:Computer_Security_Foundations_Symposium dbr:Conference_on_Computer_Science_Logic dbr:Logic_Colloquium dbr:Truth_Degrees
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Refimprove dbt:Short_description
dct:subject	dbc:2014_in_science dbc:2014_in_Austria dbc:2010s_in_Vienna dbc:Logic_organizations dbc:Science_events_in_Austria dbc:2014_conferences dbc:July_2014_events_in_Europe
gold:hypernym	dbr:Event
rdf:type	dbo:AcademicConference dbo:Event dbo:SocietalEvent
rdfs:label	Vienna Summer of Logic (en)
owl:sameAs	freebase:Vienna Summer of Logic yago-res:Vienna Summer of Logic wikidata:Vienna Summer of Logic dbpedia-global:Vienna Summer of Logic
prov:wasDerivedFrom	wikipedia-en:Vienna_Summer_of_Logic?oldid=1273416799&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Vienna_Summer_of_Logic_2014_logo.png
foaf:isPrimaryTopicOf	wikipedia-en:Vienna_Summer_of_Logic
is dbo:wikiPageDisambiguates of	dbr:VSL
is dbo:wikiPageWikiLink of	dbr:Helmut_Veith dbr:VSL dbr:International_Joint_Conference_on_Automated_Reasoning dbr:QED_manifesto
is foaf:primaryTopic of	wikipedia-en:Vienna_Summer_of_Logic