Webrelaunch 2020

Welcome at the Institute AIFB

the Institute of Applied Informatics and Formal Description Methods

Hauptseite/en: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(kein Unterschied)

Aktuelle Version vom 30. August 2022, 17:34 Uhr


AIFB Thematic Issue 2022 - Invitation to the 37th AIK Symposium "Trustworthy Artificial Intelligence"

August 30, 2022 - In the AIFB Thematic Issue 2022 (German) you will find the invitation to the 37th AIK Symposium "Trustworthy Artificial Intelligence" and other current highlights from our Institute AIFB. The symposium will take place on October 28, 2022 and is offered by the AIK e.V. association (German).


Prof. Dr. Hartmut Schmeck Continues to be KIT Distinguished Senior Fellow

August 30, 2022 - The KIT Executive Board has extended the status of Prof. Dr. Hartmut Schmeck as KIT Distinguished Senior Fellow by three years. Until his retirement in 2018, Hartmut Schmeck led the Efficient Algorithms research group and was one of the heads of the institute.


Prof. Sunyaev appointed as spokesperson of Department of Information Systems of the German Informatics Society

May 1, 2022 - Prof. Dr. Ali Sunyaev (head of the research group Critical Information Infrastructure (cii), at the Institute for Applied Informatics and Formal Description Methods (AIFB) of the Karlsruhe Institute of Technology (KIT)) will take over the leadership of the Department of Information Systems (GI FB-WI) of the German Informatics Society (Gesellschaft für Informatik) on May 1, 2022.


Current developments in the context of online elections

September 13, 2021 - According to the Bitkom survey for Germany, two thirds of their participants are in favour of online voting in German federal elections. In a recently published paper, the research group SECUSO, the KIT institutes KASTEL and ITAS, together with other researchers, explain why it is much more difficult to secure an online election than, for example, digital shopping.