Partner/en: Difference between revisions
From International Center for Computational Logic
Maximilian Marx (talk | contribs) No edit summary |
Markus Krötzsch (talk | contribs) No edit summary |
||
| Line 2: | Line 2: | ||
<div class="no-toc-head">__TOC__</div> | <div class="no-toc-head">__TOC__</div> | ||
|{{Main heading|Partners}} | |{{Main heading|Partners}} | ||
The following is a list of organisations with whom ICCL members have conducted joint research projects or other close collaborations in research, education, and applications. Some of these joint activities are based on formal agreements (e.g., in a project consortium), while others are on an informal or personal level. | |||
{{#ask: [[Category:Partner]] [[Organisationsart::Forschungseinrichtung]] | {{#ask: [[Category:Partner]] [[Organisationsart::Forschungseinrichtung]] | ||
|?Logo | |?Logo | ||
Latest revision as of 18:29, 18 January 2022
Partners
The following is a list of organisations with whom ICCL members have conducted joint research projects or other close collaborations in research, education, and applications. Some of these joint activities are based on formal agreements (e.g., in a project consortium), while others are on an informal or personal level.
Research Institutions
Free University of Bozen-Bolzano
Bozen-Bolzano
Industry Partners
Em engineering methods AG
Darmstadt
IOTIQ GmbH
Leipzig
Natif.ai GmbH
Saarbrücken
SearchHaus
Karlsruhe
Software AG
Darmstadt
Tarakos GmbH
Magdeburg
