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.

Property Value
dbo: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)
  • 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)
dbo:maintainedBy
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10690978 (xsd:integer)
dbo:wikiPageLength
  • 7603 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 174575176 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:charte
  • sommet (fr)
  • sommet (fr)
prop-fr:création
  • 1988 (xsd:integer)
prop-fr:date
  • annuelle (fr)
  • annuelle (fr)
prop-fr:fr
  • Kleene award (fr)
  • List of computer science conferences (fr)
  • Kleene award (fr)
  • List of computer science conferences (fr)
prop-fr:géolocalisation
  • pas pertinent (fr)
  • pas pertinent (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:localisation
  • villes variées (fr)
  • villes variées (fr)
prop-fr:nom
  • ACM-IEEE Symposium on Logic in Computer Science (fr)
  • ACM-IEEE Symposium on Logic in Computer Science (fr)
prop-fr:organisateur
  • ACM Special Interest Group on Logic and Computation et IEEE (fr)
  • ACM Special Interest Group on Logic and Computation et IEEE (fr)
prop-fr:siteWeb
prop-fr:sousTitre
  • - (fr)
  • - (fr)
prop-fr:type
  • Conférence académique (fr)
  • Conférence académique (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
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)
  • 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)
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)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of