About: Symposium on Logic in Computer Science

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

ACM/IEEE annual conference series on logic in computer science

Property	Value
dbo:description	ACM/IEEE annual conference series on logic in computer science (en) conférence annuelle sur la logique informatique (fr)
dbo:wikiPageExternalLink	http://lics.siglog.org/
dbo:wikiPageWikiLink	dbr:Samson_Abramsky dbr:Guy_McCusker dbr:Cédric_Fournet dbr:André_Joyal dbr:Thomas_Henzinger dbr:Dexter_Kozen dbc:Logic_in_computer_science dbr:Benjamin_C._Pierce dbr:List_of_computer_science_conferences dbr:Georges_Gonthier dbr:Martin_Hofmann dbr:Davide_Sangiorgi dbr:Alvy_Ray_Smith dbc:Logic_conferences dbr:Eugenio_Moggi dbr:Martín_Abadi dbr:Rajeev_Alur dbr:Computer_science dbr:E._Allen_Emerson dbr:Harald_Ganzinger dbr:Joseph_Sifakis dbr:Leslie_Lamport dbc:IEEE_conferences dbr:Stephen_Cole_Kleene dbr:Mathematical_logic dbr:Robert_Harper_(computer_scientist) dbr:Abbas_Edalat dbr:Academic_conference dbr:Pierre_Wolper dbc:Theoretical_computer_science_conferences dbr:Furio_Honsell dbr:ACM_Transactions_on_Computational_Logic dbr:Logic_in_computer_science dbr:Prakash_Panangaden dbr:David_L._Dill dbr:Frank_Pfenning dbr:Logical_Methods_in_Computer_Science dbr:Nachum_Dershowitz dbr:Kenneth_L._McMillan dbr:Thomas_Streicher dbr:ACM_SIGLOG dbr:Igor_Walukiewicz dbr:Edmund_Clarke dbr:Peter_Freyd dbr:Moshe_Y._Vardi dbr:IEEE dbr:Hongwei_Xi dbr:Kleene_award dbr:Andrew_M._Pitts dbr:Dale_A._Miller dbr:Martin_Abadi dbr:Thomas_A._Henzinger dbr:Gordon_D._Plotkin dbr:Leo_Bachmair dbr:Jean-Pierre_Talpin dbr:Aaron_Stump; dbr:Bengt_Jonsson_(computer_scientist) dbr:Chin-Laung_Lei dbr:Clark_W._Barrett dbr:Costas_Courcoubetis dbr:Daniele_Turi dbr:Glynn_Winskel dbr:Hiroshi_Nakano_(computer_scientist) dbr:Iliano_Cervesato dbr:James_Hwang dbr:Jeremy_R._Levitt dbr:Jerry_R._Burch dbr:Jieh_Hsiang dbr:Joshua_Hodas dbr:Josée_Desharnais dbr:Karlis_Cerans dbr:Kohei_Honda dbr:Luca_de_Alfaro dbr:Marcelo_P._Fiore dbr:Max_Dauchet dbr:Mogens_Nielson dbr:Murdoch_Gabbay dbr:Parosh_A._Abdulla dbr:Patrice_Godefroid dbr:Pierre_Jouvelot dbr:Richard_Blute dbr:Sergio_Yovine dbr:Sophie_Tison dbr:Uwe_Waldmann dbr:Xavier_Nicollin dbr:Yih-Kuen_Tsay
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Hatnote dbt:More_citations_needed dbt:Ill dbt:IEEE_conferences
dct:subject	dbc:Logic_in_computer_science dbc:Logic_conferences dbc:IEEE_conferences dbc:Theoretical_computer_science_conferences
gold:hypernym	dbr:Conference
rdfs:label	Symposium on Logic in Computer Science (en) ACM-IEEE Symposium on Logic in Computer Science (fr) Lógica em ciência da computação (pt)
owl:sameAs	freebase:Symposium on Logic in Computer Science yago-res:Symposium on Logic in Computer Science wikidata:Symposium on Logic in Computer Science dbpedia-fr:Symposium on Logic in Computer Science dbpedia-pt:Symposium on Logic in Computer Science http://d-nb.info/gnd/1091911452 http://d-nb.info/gnd/290349-0 http://viaf.org/viaf/150718461 dbpedia-global:Symposium on Logic in Computer Science dbr:Symposium on Logic in Computer Science
prov:wasDerivedFrom	wikipedia-en:Symposium_on_Logic_in_Computer_Science?oldid=1253931648&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Symposium_on_Logic_in_Computer_Science
is dbo:academicDiscipline of	dbr:Phokion_G._Kolaitis dbr:Ronald_Fagin
is dbo:wikiPageRedirects of	dbr:LICS_(conference) dbr:Logic_in_Computer_Science dbr:Logic_in_Computer_Science dbr:LICS_(symposium) dbr:IEEE_Symposium_on_Logic_in_Computer_Science dbr:Logic_in_Computer_Science_(IEEE_symposium)
is dbo:wikiPageWikiLink of	dbr:Dexter_Kozen dbr:List_of_computer_science_conferences dbr:List_of_computer_science_conference_acronyms dbr:Theoretical_computer_science dbr:LICS_(conference) dbr:Stephen_Cole_Kleene dbr:Vienna_Summer_of_Logic dbr:List_of_IEEE_conferences dbr:Computer_Aided_Verification dbr:Benjamin_Rossman dbr:Prakash_Panangaden dbr:Logic_in_Computer_Science dbr:ACM_SIGLOG dbr:List_of_computer_science_awards dbr:LICS_(symposium) dbr:Dis-unification_(computer_science) dbr:IEEE_Symposium_on_Logic_in_Computer_Science dbr:Logic_in_Computer_Science_(IEEE_symposium)
is dbp:field of	dbr:Phokion_G._Kolaitis dbr:Ronald_Fagin
is foaf:primaryTopic of	wikipedia-en:Symposium_on_Logic_in_Computer_Science