| Leitung: | Prof. i.R. Dr. Jacques Calmet |
| Postanschrift: |
Universität Karlsruhe Fakultät für Informatik IAKS Prof. Calmet Am Fasanengarten 5 (Geb Nr. 50.34) D-76131 Karlsruhe Tel.: +49 721 608 6306 Fax: +49 721 608 55022 eMail: calmet@ira.uka.de |
GIFT (EU)
Agentlink III (EU)
Calculemus (EU)
INTAS (EU)
STEM (EU)
Agentlink I, II (EU)
MANTRA (DFG)
FORMAL (DFG)
LEMMA (DFG)
KOMET (DFG)