KIT - Karlsruhe Institute of Technology image/svg+xml
Institute of Applied Informatics and Formal Description Methods
  • skip navigation
  • Home
  • Legals
  • Privacy Policy
  • Accessibility
  • Sitemap
  • KIT
  • de
search
  • News
  • About us
    • About us
    About us
    • Research Groups
    • Former research groups
    • 50 years AIFB
    • Thematic Issues
    • Address/How to find us
  • Team
  • Research
    • Research
    Research
    • Projects
    • Publications
  • Teaching
    • Teaching
    Teaching
    • Courses
      • Courses
      Courses
      • Lectures
      • Seminars
      • Advanced Labs
    • Examination Matters
    • Theses
    • Learning Agreements
    • Frequently Asked Questions
    • Contact
  • Jobs
  • Intranet
    • Intranet
    Intranet
    • Lehre und Prüfung
      • Lehre und Prüfung
      Lehre und Prüfung
      • Druckauftrag für Klausuren
      • Hörsaalpläne für Klausuraufsicht
      • externe Abschlussarbeiten
      • Verwaltung von Abschlussarbeiten im Campus-System
    • IT-Infrastruktur
      • IT-Infrastruktur
      IT-Infrastruktur
      • Services at AIFB / SCC / DFN
      • Printers and copiers
        • Printers and copiers
        Printers and copiers
        • Drucker unter Linux einrichten
        • Drucker unter MacOS einrichten
        • Drucker unter Windows einrichten
        • Geschützter Druck
      • Purchase of hardware, software and IT services
      • Network access
      • Room booking
    • OpenText-Vorlagen
      • OpenText-Vorlagen
      OpenText-Vorlagen
      • News
      • Team
      • Projekte
      • Abschlussarbeiten
      • Stellenausschreibungen
    • Vorlagen und Formulare
    • Zugangsberechtigungen
  • Startpage
  • Home
  • Legals
  • Privacy Policy
  • Accessibility
  • Sitemap
  • search
  • Campusplan Campus Map
Institute of Applied Informatics and Formal Description Methods

 

  • Startpage

 

  • Startseite
    • News
    • About us
    • Team
    • Research
    • Teaching
    • Jobs
    • Intranet

Startseite

  • Startseite
    • News
      • About us
        • Research Groups
        • Former research groups
        • 50 years AIFB
        • Thematic Issues
        • Address/How to find us
      • Team
      • Research
        • Projects
        • Publications
      • Teaching
        • Courses
          • Lectures
          • Seminars
          • Advanced Labs
        • Examination Matters
        • Theses
        • Learning Agreements
        • Frequently Asked Questions
        • Contact
      • Jobs
    • Intranet
      • Lehre und Prüfung
        • Druckauftrag für Klausuren
        • Hörsaalpläne für Klausuraufsicht
        • externe Abschlussarbeiten
        • Verwaltung von Abschlussarbeiten im Campus-System
      • IT-Infrastruktur
        • Services at AIFB / SCC / DFN
        • Printers and copiers
          • Drucker unter Linux einrichten
          • Drucker unter MacOS einrichten
          • Drucker unter Windows einrichten
          • Geschützter Druck
        • Purchase of hardware, software and IT services
        • Network access
        • Room booking
      • OpenText-Vorlagen
        • News
        • Team
        • Projekte
        • Abschlussarbeiten
        • Stellenausschreibungen
      • Vorlagen und Formulare
      • Zugangsberechtigungen

    Institute of Applied Informatics and Formal Description Methods

    Karlsruhe Institut of Technology
    Kollegiengebäude am Kronenplatz (Bldg. 05.20)
    Kaiserstr. 89
    76133 Karlsruhe
    Germany

    last change: 2026-05-20
    KIT – The University in the Helmholtz Association
    • Home
    • Legals
    • Privacy Policy
    • Accessibility
    • Sitemap
    • KIT