About: EACSL     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:SocialGroup107950920, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FEACSL&invfp=IFP_OFF&sas=SAME_AS_OFF

The European Association for Computer Science Logic (EACSL), founded 14 July 1992, is an international professional non-profit organization representing the interests of its members and promoting computer science logic in the areas of scientific research and education. It supports both basic and application oriented research to advance the connections between basic research and industrial applications. The current president is Prof. Thomas Schwentick (Technical University of Dortmund, Germany).

AttributesValues
rdf:type
rdfs:label
  • EACSL (en)
  • European Association for Computer Science Logic (fr)
rdfs:comment
  • The European Association for Computer Science Logic (EACSL), founded 14 July 1992, is an international professional non-profit organization representing the interests of its members and promoting computer science logic in the areas of scientific research and education. It supports both basic and application oriented research to advance the connections between basic research and industrial applications. The current president is Prof. Thomas Schwentick (Technical University of Dortmund, Germany). (en)
  • La société savante European Association for Computer Science Logic (abrégée en EACSL), (en français Association européenne pour la logique en informatique) est une organisation professionnelle internationale sans but lucratif, fondée le 14 juillet 1992, de promotion du rôle et de l'usage de la logique en informatique, dans les domaines de recherche scientifique et de l'enseignement. (fr)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • The European Association for Computer Science Logic (EACSL), founded 14 July 1992, is an international professional non-profit organization representing the interests of its members and promoting computer science logic in the areas of scientific research and education. It supports both basic and application oriented research to advance the connections between basic research and industrial applications. The current president is Prof. Thomas Schwentick (Technical University of Dortmund, Germany). Each year, the EACSL organizes the international conference Computer Science Logic (CSL) and publishes the associated proceedings, it supports several workshops and summer schools and sponsors the Ackermann Award, the EACSL Outstanding Dissertation Award for Logic in Computer Science. The annual general meeting of members takes place each year during the annual international conference CSL. (en)
  • La société savante European Association for Computer Science Logic (abrégée en EACSL), (en français Association européenne pour la logique en informatique) est une organisation professionnelle internationale sans but lucratif, fondée le 14 juillet 1992, de promotion du rôle et de l'usage de la logique en informatique, dans les domaines de recherche scientifique et de l'enseignement. L'association soutient à la fois des recherches fondamentales et appliquées dans l'objectif de renforcer les connexions entre recherche fondamentale et applications industrielles. Son président est, en 2019, Thomas Schwentick (Université technique de Dortmund). (fr)
gold:hypernym
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is award of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software