Karlsruhe Institute of Technology (KIT)
Institute of Applied Computer Science and Formal Description Processing
Contact
Institute of Applied Computer Science and Formal Description Processing
Kaiserstraße 89
76133 Karlsruhe
76133 Karlsruhe
Affiliated institutions
- ArchiveGo to institution
- Division I - Biology, Chemistry, and Process EngineeringGo to institution
- Division II – Informatics, Economics, and SocietyGo to institution
- Centre for Real EstateGo to institution
- Faculty of Humanities and Social SciencesGo to institution
- Department of InformaticsGo to institution
- Department of Economics and ManagementGo to institution
- Institute of Applied Computer Science and Formal Description Processing
- Institute for Entrepreneurship, Technology Management and Innovation (EnTechnon)Go to institution
- Institute of Finance, Banking and InsuranceGo to institution
- Institute of Industrial Economics and Industrial Production (IIP)Go to institution
- Institute of Operations Research (IOR)Go to institution
- Institute of Technology Impact Assessment and Systems AnalysisGo to institution
- Institute of Technology FuturesGo to institution
- Institute of ManagementGo to institution
- Institute for Economics (ECON)Go to institution
- Institute for Business Informatics and MarketingGo to institution
- Interfaculty Institute for Applications in Computer ScienceGo to institution
- Karlsruhe Service Research InstituteGo to institution
- Scientific Computing Center (SCC)Go to institution
- Centre for Visually Impaired StudentsGo to institution
- Division III ‒ Mechanical and Electrical EngineeringGo to institution
- Division IV - Natural and Built EnvironmentGo to institution
- Division V - Physics and MathematicsGo to institution
- LibraryGo to institution
- Training Centre for Technology and Environment (FTU)Go to institution
- House of Young Scientists (KHYS)Go to institution
- Institute for Advanced Membrane Technology (IAMT)Go to institution
- International DepartmentGo to institution
- Karlsruhe School of Optics and PhotonicsGo to institution
- KASTEL - Institute of Information Security and DependabilityGo to institution
- KIT centresGo to institution
- Project Management Agency Karlsruhe (PTKA)Go to institution
- Centre for Cultural and General Studies (ZAK)Go to institution
DFG Projects
Are you affiliated with this institution or do you represent it?
If you would like to request changes, please use our correction form.