About: Symposium on Logic in Computer Science

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Symposium on Logic in Computer Science Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	ACM-IEEE Symposium on Logic in Computer Science (fr) Lógica em ciência da computação (pt) Symposium on Logic in Computer Science (en)
rdfs:comment	La conférence ACM-IEEE Symposium on Logic in Computer Science (abrégé en LICS) est la principale conférence scientifique informatique en relation avec la logique mathématique. Elle a lieu annuellement, sous les auspices du Special Interest Group on Logic and Computation (SIGLOG) et est organisée par l'ACM et le IEEE. (fr)
sameAs	Symposium on Logic in Computer Science Symposium on Logic in Computer Science Symposium on Logic in Computer Science Symposium on Logic in Computer Science Symposium on Logic in Computer Science Symposium on Logic in Computer Science
Wikipage page ID	10690978 (xsd:integer)
Wikipage revision ID	174575176 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Conférence_en_informatique_théorique ACM Transactions on Computational Logic Alvy Ray Smith dbpedia-fr:Amina_Doumane dbpedia-fr:André_Joyal Association for Computing Machinery Bioinformatics Distributed computing Quantum computing dbpedia-fr:Cambridge_(Massachusetts) Academic conference dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Dexter_Kozen Theoretical computer science Institute of Electrical and Electronics Engineers dbpedia-fr:Joseph_Sifakis Kyoto Leslie Lamport dbpedia-fr:Liste_des_principales_conférences_d'informatique_théorique dbpedia-fr:Logical_Methods_in_Computer_Science dbpedia-fr:Logique_de_description dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_modale dbpedia-fr:Logique_temporelle Peter J. Freyd dbpedia-fr:Pierre_Wolper dbpedia-fr:Programmation_concurrente dbpedia-fr:Programmation_par_contraintes Rajeev Alur dbpedia-fr:Reykjavik dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Thomas_Henzinger dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorie_des_automates dbpedia-fr:Théorie_des_bases_de_données dbpedia-fr:Théorie_des_domaines dbpedia-fr:Théorie_des_modèles_finis Columbia University Vienna dbpedia-fr:Vérification_de_modèles Martín Abadi dbpedia-fr:Max_Dauchet
Link from a Wikipage to an external page	http://lics.rwth-aachen.de/
page length (characters) of wiki page	7603 (xsd:nonNegativeInteger)
dct:subject	category-fr:Conférence_en_informatique_théorique
foaf:homepage	http://lics.rwth-aachen.de/
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Titre_en_italique dbpedia-fr:Modèle:Infobox_Événement
prov:wasDerivedFrom	wikipedia-fr:ACM-IEEE_Symposium_on_Logic_in_Computer_Science?oldid=174575176&ns=0
prop-fr:charte	sommet (fr)
prop-fr:création	1988 (xsd:integer)
prop-fr:date	annuelle (fr)
prop-fr:fr	Kleene award (fr) List of computer science conferences (fr)
prop-fr:géolocalisation	pas pertinent (fr)
prop-fr:langue	en (fr)
prop-fr:nom	ACM-IEEE Symposium on Logic in Computer Science (fr)
prop-fr:siteWeb	http://lics.rwth-aachen.de/
prop-fr:sousTitre	- (fr)
prop-fr:type	Conférence académique (fr)
prop-fr:localisation	villes variées (fr)
prop-fr:organisateur	ACM Special Interest Group on Logic and Computation et IEEE (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:ACM-IEEE_Symposium_on_Logic_in_Computer_Science
has abstract	La conférence ACM-IEEE Symposium on Logic in Computer Science (abrégé en LICS) est la principale conférence scientifique informatique en relation avec la logique mathématique. Elle a lieu annuellement, sous les auspices du Special Interest Group on Logic and Computation (SIGLOG) et est organisée par l'ACM et le IEEE. (fr)
maintained by	Association for Computing Machinery Institute of Electrical and Electronics Engineers
is dbo:wikiPageWikiLink of	dbpedia-fr:Amina_Doumane dbpedia-fr:Ashok_K._Chandra CSL Limited dbpedia-fr:David_L._Dill dbpedia-fr:European_Association_for_Computer_Science_Logic dbpedia-fr:Liste_des_principales_conférences_d'informatique_théorique dbpedia-fr:Robin_Gandy dbpedia-fr:LICS
is Wikipage redirect of	dbpedia-fr:LICS
is oa:hasTarget of	Pt labels En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:ACM-IEEE_Symposium_on_Logic_in_Computer_Science

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software