This HTML5 document contains 74 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n17http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19http://easyconferences.eu/lics2021/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n18http://www.eacsl.org/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n7http://fr.dbpedia.org/resource/Modèle:
n11http://eatcs.org/index.php/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14http://siglog.org/awards/alonzo-church-award/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
n9https://www.eacsl.org/

Statements

Subject Item
dbpedia-fr:Prix_Alonzo-Church
rdf:type
wikidata:Q618779 dbo:Award owl:Thing
dct:created
2015, première attribution 2016
rdfs:label
Prix Alonzo-Church
rdfs:comment
Le prix Alonzo-Church est un prix annuel, aussi appelé « Alonzo Church Award for Outstanding Contributions to Logic and Computation », soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l'EATCS, l’Association européenne pour la logique en informatique (EACSL) et la société Kurt Gödel (KGS). Il porte le nom du mathématicien et logicien Alonzo Church, l'un des fondateurs de l'informatique théorique.
owl:sameAs
n17:11fl9znl1f wikidata:Q65131843
dbo:wikiPageID
12564396
dbo:wikiPageRevisionID
184156989
dbo:wikiPageWikiLink
dbpedia-fr:David_L._Dill dbpedia-fr:Georg_Gottlob dbpedia-fr:New_York dbpedia-fr:European_Association_for_Theoretical_Computer_Science dbpedia-fr:Oxford dbpedia-fr:Martin_Hyland dbpedia-fr:Ronald_Fagin category-fr:Distinction_attribuée_en_2019 dbpedia-fr:International_Colloquium_on_Automata,_Languages_and_Programming dbpedia-fr:Rajeev_Alur category-fr:Distinction_attribuée_en_2018 dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:Alonzo_Church category-fr:Distinction_en_mathématiques category-fr:Distinction_en_informatique dbpedia-fr:Patras dbpedia-fr:Stockholm dbpedia-fr:Moshe_Vardi
dbo:wikiPageExternalLink
n9:%3Fpage_id=68 n14: n11:church-award n18:%3Fpage_id=62 n19:
dbo:wikiPageLength
8920
dct:subject
category-fr:Distinction_en_mathématiques category-fr:Distinction_attribuée_en_2018 category-fr:Distinction_attribuée_en_2019 category-fr:Distinction_en_informatique
foaf:homepage
n9:%3Fpage_id=68 n11:church-award n14:
foaf:name
Prix Alonzo-Church
prop-fr:wikiPageUsesTemplate
n7:Références n7:Portail n7:Dollar n7:Lien n7:Citation_étrangère n7:Infobox_Récompense n7:,
prov:wasDerivedFrom
wikipedia-fr:Prix_Alonzo-Church?oldid=184156989&ns=0
prop-fr:fr
Samson Abramsky
prop-fr:langue
en
prop-fr:titre
Prix Alonzo-Church
prop-fr:dateDeCréation
2015
prop-fr:organisateur
dbpedia-fr:Association_for_Computing_Machinery EATCS Société Kurt Gödel EACSL
prop-fr:siteOfficiel
n14: n11:church-award Site de l'EACSL
prop-fr:nomOriginal
Alonzo Church Award for Outstanding Contributions to Logic and Computation
prop-fr:prixRemis
Certificat et
prop-fr:cérémonieActuelle
annuel
foaf:isPrimaryTopicOf
wikipedia-fr:Prix_Alonzo-Church
dbo:namedAfter
dbpedia-fr:Alonzo_Church
dbo:creationYear
2015-01-01
dbo:abstract
Le prix Alonzo-Church est un prix annuel, aussi appelé « Alonzo Church Award for Outstanding Contributions to Logic and Computation », soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l'EATCS, l’Association européenne pour la logique en informatique (EACSL) et la société Kurt Gödel (KGS). Il porte le nom du mathématicien et logicien Alonzo Church, l'un des fondateurs de l'informatique théorique.
dbo:originalName
Alonzo Church Award for Outstanding Contributions to Logic and Computation
dbo:organisation
dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:European_Association_for_Theoretical_Computer_Science