UnivIS
Informationssystem der Universität Kiel © Config eG 
Semester: SS 2024 

Exercise: Automata and Logics (080020)

Dozent/in
Prof. Dr. Thomas Wilke

Angaben
Übung, 2 SWS
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Do 14:30 - 16:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024)
vom 14.4.2024 bis zum 14.7.2024
Bemerkung zu Zeit und Ort: Please note: The exercise will take place on 23.05.24 in LS1-R. 21.

Voraussetzungen / Organisatorisches
Please find all the necessary information at Moodle .

Please register as usual via StudiDB .

Contact person for organisational or technical questions regarding this module is the first person named in the exercises.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 40

Zugeordnet zu: infAutLog-01a: Automata and Logics (080038)


Exercise: Quantum Computing (080021)

Dozent/in
Prof. Dr. Thomas Wilke

Angaben
Übung, 2 SWS
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Mi 12:45 - 13:45, LMS11a - R.EG.003 (40) (außer Mi 17.4.2024); Einzeltermin am 17.4.2024 12:45 - 13:45, CAP2 - Hörsaal D
vom 14.4.2024 bis zum 14.7.2024

Voraussetzungen / Organisatorisches
Please find all the necessary information at Moodle .

Please register as usual via StudiDB .

Exact dates of lectures and tutorials are to be found in the moodle calendar.

Contact person for organisational or technical questions regarding this module is the first person named in the exercises.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 40

Zugeordnet zu: infQComp-01a: Quantum Computing (080022)


infAutLog-01a: Automata and Logics (infAutLog-01a) (080038)

Dozent/in
Prof. Dr. Thomas Wilke

Angaben
Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Di 8:15 - 9:45, LMS8 - R.EG.017 (40) (außer Di 23.4.2024, Di 14.5.2024); Do 12:15 - 14:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024)
vom 14.4.2024 bis zum 14.7.2024
Mündliche Prüfung: 17.7.2024, 8:00 - 18:00 Uhr, Raum CAP4 - R.1011; 15.10.2024, 8:00 - 18:00 Uhr, Raum CAP4 - R.1011
Bemerkung zu Zeit und Ort: Please note: The lecture will take place on 23.05.24 in LS1-R. 21.

Voraussetzungen / Organisatorisches
Please find all the necessary information at Moodle .

Please register as usual via StudiDB .

Contact person for organisational or technical questions regarding this module is the first person named in the exercises.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 40

Zugeordnete Lehrveranstaltungen
UE: Exercise: Automata and Logics (080020)
Dozent/in: Prof. Dr. Thomas Wilke
Zeit und Ort: Do 14:30 - 16:00, LMS8 - R.EG.017 (40) (außer Do 23.5.2024); Bemerkung zu Zeit und Ort: Please note: The exercise will take place on 23.05.24 in LS1-R. 21.


infEthik-01a: Ethik in der Informatik (infEthik-01a) (080069)

Dozentinnen/Dozenten
Prof. Dr. Thomas Wilke, Dr. Gregor Große-Bölting

Angaben
Vorlesung, 1 SWS, ECTS-Studium, ECTS-Credits: 2
Praesenzveranstaltung
Zeit und Ort: n.V.
vom 14.4.2024 bis zum 14.7.2024
1. Prüfungstermin (Klausur am Ende der Vorlesungszeit eines Semesters): 22.7.2024, 8:00 - 10:00 Uhr, Raum CAP2 - Frederik-Paulsen-Hörsaal

Voraussetzungen / Organisatorisches
Die Vorlesung wird in Form von Videos über das Moodle zur Verfügung gestellt. Die Übung findet in Präsenz statt, die Termine können Sie dem entsprechenden Eintrag im UnivIS entnehmen.

Melden Sie sich bitte - wie üblich - in der StudiDB für dieses Modul an.

Kontaktperson für organisatorische oder technische Fragen zu dieser Veranstaltung ist die bei den Übungen zuerst genannte Person.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 90

Zugeordnete Lehrveranstaltungen
UE: Betreutes Arbeiten der Pflichtveranstaltungen im Bachelor Informatik und Wirtschaftsinformatik (080291)
Dozentinnen/Dozenten: Dr. Pamela Fleischmann, Dr.-Ing. Claudius Zelenka, David Fischer, Annika Huch, Dr. Gregor Große-Bölting, N.N.
Zeit und Ort: Fr 14:00 - 17:00, LMS8 - R.EG.016 (40) (außer Fr 19.4.2024, Fr 28.6.2024); Fr 14:00 - 17:00, LMS8 - R.EG.017 (40) (außer Fr 19.4.2024); Fr 14:00 - 17:00, LMS8 - R.EG.009 (24), LMS8 - R.EG.010 (26); Fr 14:00 - 17:00, LMS8 - R.EG.015 (40) (außer Fr 28.6.2024); Fr 15:00 - 17:00, LMS8 - R.01.010 (24); Fr 14:00 - 17:00, LMS8 - R.01.019 (40); Einzeltermine am 19.4.2024, 28.6.2024 14:00 - 17:00, Raum n.V.
UE: Übung zu: Ethik in der Informatik (080068)
Dozent/in: Dr. Gregor Große-Bölting
Zeit und Ort: Mo, Mi 8:45 - 9:45, LMS8 - R.EG.010 (26); Di 12:15 - 13:15, LMS8 - R.EG.010 (26); Di 12:15 - 13:45, LMS8 - R.EG.009 (24); Do 10:15 - 11:15, LMS8 - R.EG.009 (24)


infMSemCAL-01a: Master Seminar - Cryptography, Automata Theory, Logic (infMSemCAL-01a) (080041)

Dozent/in
Prof. Dr. Thomas Wilke

Angaben
Seminar, 2 SWS, ECTS-Studium, ECTS-Credits: 5
Unterrichtssprache Englisch
Zeit und Ort: n.V.
vom 14.4.2024 bis zum 14.7.2024

Voraussetzungen / Organisatorisches
An advanced course (8 LP) on automata theory, logic in computer science, or cryptography.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 5


Informationsveranstaltung Abschlussarbeit: Informatik, Wirtschaftsinformatik, Informatik 2F (info-bscthesis)

Dozentinnen/Dozenten
Dr. Pamela Fleischmann, Dr. Mitja Kulczynski, Prof. Dr.-Ing. Sven Tomforde, Prof. Dr. Thomas Wilke

Angaben
Vorlesung
Zeit und Ort: Einzeltermin am 26.7.2024 13:00 - 14:00, CAP3 - Hörsaal 1

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 50


infQComp-01a: Quantum Computing (infQComp-01a) (080022)

Dozent/in
Prof. Dr. Thomas Wilke

Angaben
Vorlesung, 2 SWS, ECTS-Studium, ECTS-Credits: 6
Praesenzveranstaltung, Unterrichtssprache Englisch
Zeit und Ort: Mi 10:00 - 12:00, LMS11a - R.EG.003 (40) (außer Mi 17.4.2024); Einzeltermin am 17.4.2024 10:00 - 12:00, CAP2 - Hörsaal C
vom 14.4.2024 bis zum 14.7.2024
1. Prüfungstermin (Klausur am Ende der Vorlesungszeit eines Semesters): 16.7.2024, 12:00 - 15:00 Uhr, Raum CAP2 - Hörsaal D; 16.7.2024, 12:00 - 15:00 Uhr, Raum CAP2 - Hörsaal K
2. Prüfungstermin (Klausur zu Beginn der Vorlesungszeit des Folgesemesters): 16.10.2024

Voraussetzungen / Organisatorisches
Please find all the necessary information at Moodle .

Please register as usual via StudiDB .

Exact dates of lectures and tutorials are to be found in the moodle calendar.

Contact person for organisational or technical questions regarding this module is the first person named in the exercises.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 40

Zugeordnete Lehrveranstaltungen
UE: Exercise: Quantum Computing (080021)
Dozent/in: Prof. Dr. Thomas Wilke
Zeit und Ort: Mi 12:45 - 13:45, LMS11a - R.EG.003 (40) (außer Mi 17.4.2024); Einzeltermin am 17.4.2024 12:45 - 13:45, CAP2 - Hörsaal D

UnivIS ist ein Produkt der Config eG, Röttenbach