DE

Block

Formal Systems [T-INFO-101336]

Type

Written examination

Credits

6

Recurrence

Each winter term

Version

1

Responsible

Prof. Dr. Bernhard Beckert

Organisation

KIT-Fakultät für Informatik

Part of

Module Formal Systems | Information Systems (M.Sc.)
Module Formal Systems | Information Systems (B.Sc.)
Module Formal Systems | Information Engineering and Management (B.Sc.)
Module Formal Systems | Information Engineering and Management (M.Sc.)

Events

Course Number	Name	SWS	Type
WS23 24086	Formale Systeme	4	lecture/exercise (VÜ)
WS22 24086	Formale Systeme	4	lecture/exercise (VÜ)
WS19 24086	Formale Systeme	4	lecture/exercise (VÜ)
WS21 24086	Formale Systeme	4	lecture/exercise (VÜ)
WS20 24086	Formale Systeme	4	lecture/exercise (VÜ)

Exams

Course Number	Name	Appointments
SS20 7500009	Formal Systems	28.02.2022 - 08:00
SS20 7500009	Formal Systems
SS20 7500009	Formal Systems
SS20 7500009	Formal Systems	03.09.2024 - 01:30
SS20 7500009	Formal Systems	29.02.2024 - 03:00
SS20 7500009	Formal Systems	04.09.2023 - 10:00
SS20 7500009	Formal Systems	04.08.2021 - 11:00
SS20 7500009	Formal Systems	28.02.2023 - 08:00
SS20 7500009	Formal Systems	04.08.2022 - 08:00
SS20 7500009	Formal Systems