KIT - Karlsruhe Institute of Technology
image/svg+xml
Department of Economics and Management
skip navigation
Home
Legals
Privacy Policy
Accessibility
KIT
de
search
search
About us
Start
About us
About us
Profile
Organization
Start
About us
Organization
Organization
Dean´s Office
Institutions
Professors
Employees
Cooperation
Start
About us
Cooperation
Cooperation
Faculty Partners
Study program partner
Events
Start
About us
Events
Events
Graduation ceremony
Dialog Day
50 Years
Partner network events
Faculty Teaching Award
Arrival
Start
About us
Arrival
Arrival
Site plan
Research
Start
Research
Research
Research Initiatives
Promotion
Faculty Awards
Interested students
Start
Interested students
Interested students
Industrial Engineering and Management
Start
Interested students
Industrial Engineering and Management
Industrial Engineering and Management
Overview
Bachelor structure
Master structure
Double Degree Program
Rankings
Graduate profiles
Bachelor application
Application Master
Business informatics
Start
Interested students
Business informatics
Business informatics
Overview
Bachelor structure
Master structure
Digital Economics
Start
Interested students
Digital Economics
Digital Economics
Overview
Bachelor structure
Master structure
Business mathematics
Start
Interested students
Business mathematics
Business mathematics
Overview
Hector School
Worth knowing
Start
Interested students
Worth knowing
Worth knowing
Start of studies
Information events
Application for higher semesters
Recognition of previous achievements
For the Master's degree at the KIT
Teaching on the topic of sustainability
Founding at the Wiwi Faculty
Top-class sport & studies
Students
Start
Students
Students
Service and advice
Start
Students
Service and advice
Service and advice
Notices and announcements about studies and examinations
Notes A-Z
Documents for download
Start of studies
Examination secretariat
Faculty Library
Start
Students
Service and advice
Faculty Library
Faculty Library
Opening times
New acquisitions
Wiwi-IT
Start
Students
Service and advice
Wiwi-IT
Wiwi-IT
Wiwi-Pool
Wiwi-Portal
Wiwi Laptops
Wiwi Tablets
IT in seminar rooms
IT services for institutes
Study planning
Start
Students
Study planning
Study planning
Eucor
Epicur
Module handbooks
Start
Students
Module handbooks
Module handbooks
MHB WiIng B.Sc.
MHB WiIng M.Sc.
MHB WiInf B.Sc.
MHB WiInf M.Sc.
MHB DigiEcon B.Sc.
MHB DigiEcon M.Sc.
MHB TVWL B.Sc.
MHB TVWL M.Sc.
MHB WiMa M.Sc.
Archive
Lectures
Seminars
Examinations
Start
Students
Examinations
Examinations
Examination dates
Internship
Student life at the faculty
Final theses
Start
Students
Final theses
Final theses
Bachelor's thesis
Master's thesis
Career portal
Start
Students
Career portal
Career portal
Information for employers
International Relations
Start
International Relations
International Relations
Incoming students
Start
International Relations
Incoming students
Incoming students
Double Degree Program
Degree programs and course information
Courses taught in English
Testimonials
Meet your fellow students
Application
FAQ
Outgoing students
Start
International Relations
Outgoing students
Outgoing students
ERASMUS+
Double Degree Program
Departmental professional cooperations
Internship abroad
Epicur
Eucor
Freemover
Recognition of grades
ESN Buddy Program
Contact
Startpage
Home
Legals
Privacy Policy
Accessibility
search
search
Department of
Economics and Management
Startpage
Students
Home
About us
Research
Interested students
Students
International Relations
Students
Service and advice
Study planning
Module handbooks
Lectures
Seminars
Examinations
Internship
Student life at the faculty
Final theses
Career portal
Diese Seite auf DE
Event
Formal Systems II: Application
[SS212400093]
Type
lecture (V)
Online
Term
SS 2021
SWS
3
Language
Deutsch
Appointments
0
Links
ILIAS
Lecturers
Prof. Dr. Bernhard Beckert
Dr. rer. nat. Mattias Ulbrich
Organisation
KASTEL Beckert
Part of
Brick
Formal Systems II: Application
|
Information Systems (M.Sc.)
Brick
Formal Systems II: Application
|
Information Engineering and Management (M.Sc.)
