
Courses
Institute Overview
The Institute for Software Engineering and Programming Languages (ISP) is part of the University of Lübeck. We focus on research and teaching in software engineering, programming languages, and related fields.
Professors
No professors found.
Contact Details
Phone
+49 451 3101-6501Address
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck
Feel free to contact us for any inquiries about our research, teaching, or collaboration opportunities.
The ISP offers courses, seminars and projects on various topics. For issues and questions regarding mode and subjects of certain exams or courses, feel free to contact the corresponding lecturer.
Note, that the number of participants in seminar courses is generally limited, however, everyone is welcome to follow the presentations. Feel free to suggest topics and courses you are interested in at any time. Also, we are always thankful for constructive comments and feed back to our courses.
Winter Term
In winterterm, typically the following courses are given
Model Checking (ModelCha14)
CS4138 T / CS4507-KP12
Summer Term
In summerterm, typically the following courses are given:
Summer and Winter
The following courses are given unregularly both in winterterm and summerterm
