Lehrveranstaltungen

Informationssystem der Universität zu Lübeck

© Config eG

Sammlung/Stundenplan

Home | Kontakt | Hilfe

Suche:

Semester:

Lehr-
veranstaltungen

Personen/
Einrichtungen

Telefon &
E-Mail



	Darstellung
		kurz ausführlich Druckansicht


		Stundenplan



	Extras
		alle markieren alle Markierungen löschen Ausgabe als XML



	Außerdem im UnivIS
		Vorlesungsverzeichnis


		Veranstaltungskalender

Einrichtungen >> Sektion Informatik / Technik >>

Institut für Softwaretechnik und Programmiersprachen (ISP)

		- Klausur 1. Termin Spezifikation und Modellierung CS4020-KP06 (nur am 22.7.2025) PF; Einzeltermin am 22.7.2025, 12:00 - 14:00, V 1				Stümpel, A.
		- Klausur 2. Termin Spezifikation und Modellierung CS4020S-KP06 (nur am 25.9.2025) PF; Einzeltermin am 25.9.2025, 12:00 - 14:00, T 1; Die Prüfung findet mündlich statt. Die Terminvergabe lief per Email.				Stümpel, A.
		Aktuelle Themen der Softwaretechnik / Oberseminar OS; 2 SWS; kein Leistungsnachweis; Di, 14:00 - 15:00, Raum n.V.				Leucker, M. Mitarbeiterinnen und Mitarbeiter
		Einführung in Web und Data Science / CS1800-V - als Teil von CS4337-KP12 / V VORL; 2 SWS; virtuelle Vorlesung				Schwalbe, G.
		Fallstudie zur professionellen Produktentwicklung / CS4520-KP12 PRO; Beginn WS 23/24 (Teil 1) bis SoSe24 (Teil 2); n.V.				Leucker, M.
		Klausur Logikprogrammierung / CS3055 - 1. Termin (nur am 23.7.2025) PF; Einzeltermin am 23.7.2025, 12:00 - 14:00, V 1				Wolter, D.
		Klausur Logikprogrammierung / CS3055 - 2. Termin (nur am 26.9.2025 ) PF; Einzeltermin am 26.9.2025, 12:00 - 14:00, C4-S04 - 058.400				Wolter, D.
		Knowledge Representation and Common Sense Reasoning / CS4522-KP12 / V+Ü V/UE; 4 SWS; Diese Veranstaltung ist der erste Teil des Vertiefungsmodul CS4522-KP12.; Di, 12:00 - 14:00, C4-S03 - 058.400; Mi, 14:00 - 16:00, Seminarraum Mathematik 1 ( Hilbert ); Mo, 16:00 - 18:00, C3-S01 - 058.300				Wolter, D.
		Logikprogrammierung / CS3055-KP04 / Übung (Gruppe 1) UE; 1 SWS; ben. Schein; ECTS: 1; Do, 8:00 - 9:00, IFIS 2035				Wolter, D.
		Logikprogrammierung / CS3055-KP04 / Übung (Gruppe 2) UE; 1 SWS; ben. Schein; ECTS: 1; Do, 9:00 - 10:00, IFIS 2035				Wolter, D.
		Logikprogrammierung / CS3055-KP04 / Vorlesung V/UE; 2 SWS; ben. Schein; ECTS: 3; Die ECTS-Punkte (insgesamt 4) gibt es nur im Zusammenhang mit der Übung und der bestandenen Klausur.; Di, 10:00 - 12:00, IFIS 2035				Wolter, D.
		Praktikum Software Engineering / CS2301-KP06 / Praktikum PR; 4 SWS; ben. Schein; ECTS: 6; Mi, 12:00 - 18:00, PC Pool 1&2, PC Pool 3, PC Pool 4; Einzeltermin am 16.4.2025, 14:00 - 17:00, AM 1				Leucker, M. und Mitarbeiterinnen und Mitarbeiter
		Runtime Verification und Testen / CS4136 / CS4137 / CS4139 / CS4139 T / Übung UE; 1 SWS; ben. Schein; Mo, 12:00 - 14:00, ITCS 2021				Leucker, M. Mitarbeiterinnen und Mitarbeiter
		Runtime Verification und Testen / CS4136 / CS4137 / CS4139 / CS4139 T / Vorlesung V/UE; 3 SWS; ben. Schein; Mi, 10:00 - 12:00, Seminarraum Informatik 5 ( Von Neumann ); Do, 14:00 - 16:00, MFC9 S01				Leucker, M.
		Seminar "Hybrid AI" / CS5840, CS3702, CS3703, CS3290 / Seminar SEM; 2 SWS; n.V.				Wolter, D.
		Spezifikation und Modellierung / CS4020-KP06 / Übung (Di-Gruppe) UE; 2 SWS; ben. Schein; Credits: Vorlesung mit UE; Di, 14:00 - 16:00, Seminarraum Informatik 4 ( Minsky ), (außer Di 15.4.2025); Beginn: 14:00 Uhr				Stümpel, A.
		Spezifikation und Modellierung / CS4020-KP06 / Übung (Mo-Gruppe) UE; 2 SWS; ben. Schein; Credits: Vorlesung mit UE; Mo, 14:00 - 16:00, AM S 2; Beginn: 14:15 Uhr				Stümpel, A.
		Spezifikation und Modellierung / CS4020-KP06 / Vorlesung V/UE; 2 SWS; ben. Schein; ECTS: 6; 6 Credits für Vorlesung+UE; Di, 10:00 - 12:00, Seminarraum Informatik 2/3 (Cook/Karp); Beginn: 10:15 Uhr				Stümpel, A.



	UnivIS ist ein Produkt der Config eG, Buckenhof