| dbo: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)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1599 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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)
|
| rdfs:label
|
- EACSL (en)
- European Association for Computer Science Logic (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:award
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
