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.

Property Value
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. (fr)
  • 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. (fr)
dbo:creationYear
  • 2015-01-01 (xsd:gYear)
dbo:namedAfter
dbo:organisation
dbo:originalName
  • (fr)
  • Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
  • (fr)
  • Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 12564396 (xsd:integer)
dbo:wikiPageLength
  • 8920 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 184156989 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:cérémonieActuelle
  • annuel (fr)
  • annuel (fr)
prop-fr:dateDeCréation
  • 2015 (xsd:integer)
prop-fr:fr
  • Samson Abramsky (fr)
  • Samson Abramsky (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:nomOriginal
  • Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
  • Alonzo Church Award for Outstanding Contributions to Logic and Computation (fr)
prop-fr:organisateur
prop-fr:prixRemis
  • Certificat et (fr)
  • Certificat et (fr)
prop-fr:siteOfficiel
prop-fr:titre
  • Prix Alonzo-Church (fr)
  • Prix Alonzo-Church (fr)
prop-fr:wikiPageUsesTemplate
dct:created
  • 2015, première attribution 2016
dct:subject
rdf:type
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. (fr)
  • 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. (fr)
rdfs:label
  • Prix Alonzo-Church (fr)
  • Prix Alonzo-Church (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • (fr)
  • Prix Alonzo-Church (fr)
  • (fr)
  • Prix Alonzo-Church (fr)
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of