Partners
From International Center for Computational Logic
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