Partner
Aus International Center for Computational Logic
Partner
Im Folgenden sind Organisationen aufgeführt, mit denen ICCL-Mitglieder Forschungsprojekte durchgeführt haben oder mit denen es anderweitige Kooperationen im Bereich Forschung, Ausbildung oder Anwendung gegeben hat. Einigen dieser gemeinsamen Aktivitäten liegen formale Vereinbarungen zu Grunde (zum Beispiel für die Kooperation in einem Projektkonsortium), während andere informeller oder persönlicher Natur sind.
Forschungspartner
Free University of Bozen-Bolzano
Bozen-Bolzano
Industriepartner
Em engineering methods AG
Darmstadt
IOTIQ GmbH
Leipzig
Natif.ai GmbH
Saarbrücken
SearchHaus
Karlsruhe
Software AG
Darmstadt
Tarakos GmbH
Magdeburg