GEOMAR  Career & Campus  Campus  Studying  MSc: Biological Oceanography  Summer semester 2024 - Examination schedule / Course List / Time tables

Summer semester 2024

General remarks

General lecture period summer semester 2024: 15.04.2024 to 12.07.2024 (with winter semester 2023/2024, 2nd exam period: 02.04. - 13.04.2024 (link CAU) - In accordance with the CAU's examination procedure regulations, there are no courses in bachelor's and master's degree programs during the examination periods (few exceptions for first semester students)).

More information at M. Sc. Biological Oceanography - information for students on OLAT.

Exam dates summer semester 2024: here (OLAT)

There is no general registration for courses - only for the exams at the end of the semester during registration phases (s.b.).

Notes on how to use the online tool can be found here:

If you have questions about the examination administration procedures in general (registration periods, examination periods, etc.) you may find answers in the Examination procedures section. If you are still unclear about anything you can contact the relevant Examination Office at any time.

Complete examination schedule SS 2024 (link to CAU).

Examinations:

Typical examination procedure:     

  1. Examination registration: You register for the examinations that you would like to take in the next examination period or that are assigned to the next examination period (s.b. Examination Organisation Online (CAU)). In case of registration problems contact the Examination Office Biology.

    During the registration period for the 1st examination period please register for all the written or oral examinations you would like to take in the 1st examination period (or around and assigned to the 1st examination period), but also for the examinations that you have already taken or started (e.g. seminar papers) during the lecture period (including before the registration period), as well as for examinations (e.g. assignments) that are to be taken during the lecture-free period.

    Note: For examinations taken before the registration period, examination attendance is considered as binding registration. You must also register for these examinations during the registration period, however, so that your academic achievements can be recorded in the system at a later stage.

  2. Checking admission: Two days before the start of the examination period, you check whether you have been granted admission to the examinations you have registered for.
  3. Examination attendance: You take the examinations during the examination period.
  4. Checking results: You check the results entered by the examiners.

Examination Organisation Online (CAU)

Access to the online tool in the CAU-Portal: http://www.uni-kiel.de/hisinone

The online tool has the following functions:

  • Registering for examinations / Cancelling registrations
  • Information on registered examinations (checking admissions. Information on examination dates, times and rooms)
  • Information on examination results
     

Notes on how to use the online tool can be found here:

You need your stu-ID to use the Studierenden-Online-Funktion online tool. Detailed information on the stu-ID and stu-e-mail address can be found at the Computing Centre StudiNet.

If you have questions about the examination administration procedures in general (registration periods, examination periods, etc.) you may find answers in the Examination procedures section. If you are still unclear about anything you can contact the Examination Office Biology at any time.

Registration period first exam phase summer semester: 03.06.2024 - 30.06.2024

First exam period summer semester: 15.07.2024 - 27.07.2024

Registration period second exam period summer semester: 26.08.2024 - 22.09.2024

Second exam period winter semester: 07.10.2024 - 19.10.2024 

Complete schedule see CAU website and here (link to CAU).

Keep in mind - it's your responsibility not to miss any fixed dates and/or deadlines.

Practical courses, practical exercises and some seminars have compulsory attendance (FPO).

Make sure that you sign the attendance list every course day!

Framework of courses:

  1. All of the five first semester modules are compulsory.
  2. Passed core modules of the first semester (MNF-bioc-101 and MNF-bioc-102) are important for the understanding for the advanced modules of the second semester in summer (e.g. MNF-bioc-201 and MNF-bioc-202).
  3. Passed exams of ALL compulsory modules of first and second semester are the  indispensable prerequisite for the exam of the core module of third semester in winter (MNF-bioc-301).
  4. A short presentation of your planned master's thesis ("proposal day") and a passed exam at the end of MNF-bioc-301 is the prerequisite to register your thesis (MNF-bioc-401) at the examination office.

For details concerning exams, prerequisites etc. look at the exam regulations in Biological Oceanography (p. 10-13).

Forms concerning exam withdrawal for good cause, medical certificate etc. (forms).

General regulations concerning examinations can be found here.

Considerations concerning using first or second exam phase (CAU).

Exams are generally scheduled only for the semester where the modules are taught.

  • There are no exams for winter semester modules MNF-bioc-1xx and MNF-bioc-3xx in summer semester.
  • There are no exams for summer semester modules MNF-bioc-2xx in winter semester.

Examination Schedule (lecturers and students tasks (link to CAU)

 

Timetables and course lists

General: Courses (lectures, seminars, practicals etc.) summer semester 2024

MSc. Biological Oceanography - second semester - lecture plan summer semester 2024 (click on "Stundenplan" for a complete time table).  All seven different possible practical parts in three blocks of MNF-bioc-202 are shown which looks heavily loaded - but you have to choose only two resp. three non overlapping parts.

Details: More detailed information concerning single courses and modules can be found on OLAT in general, resp. M. Sc. Biological Oceanography - information for students or via our module list, with links to the resp. module information on OLAT.

As you can take many optional modules outside of our curriculum (CAU-wide choices) these are not included in the example lists and timetables.

Block courses in summer 2024: 

  • MNF-bioc-264 (S. Garthe, Büsum): September/October 2024
  • MNF-bioc-271 (B. Schneider, Kiel): 21.05.2024 - 24.05.2024
  • MNF-bioc-280 (K. Heubel, FTZ): 26.08.2024 - 06.09.2024 at FTZ Büsum.
  • MNF-bioc-301 (F. Mittermayer, ALKOR cruise MNF-bioc-301): 18.08.2024 - 30.08.2024
  • MNF-bioc-368 (F. Weinberger, Aaland-Island (Finland) - Marine station Husö): 07.09.2024 - 22.09.2024

  • For optional modules within Biological Oceanography look at the module list.
  • Generally: for imported courses (e.g. Introduction to Physical Oceanography) and and courses outside of M. Sc. Biological Oceanography please always contact the person in charge of the module you are attending and the corresponding exam office.
  • For a selection of courses outside of our curriculum look here (optional courses outside of Biological Oceanography).

Summer semester 2024

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

Exercise: Introduction to Formal Software Analysis (Ü Inf-GSoZu) (080045)

Dozent/in
Prof. Dr. Dirk Nowotka

Angaben
Übung, 2 SWS
Unterrichtssprache Englisch
Zeit und Ort: Di 8:30 - 10:00, CAP4 - R.13.1304 a
vom 23.4.2024 bis zum 14.7.2024

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 25

Zugeordnet zu: Inf-GSoZu: Introduction to Formal Software Analysis (080040)


Forschungsprojekt - Zuverlässige Systeme (080008)

Dozentinnen/Dozenten
Prof. Dr. Dirk Nowotka, Lukas Haschke, M.Sc., M.Sc. Marek Hummel

Angaben
Studienprojekt, benoteter Schein, ECTS-Studium, ECTS-Credits: 10
Praesenzveranstaltung
Zeit und Ort: n.V.
Bemerkung zu Zeit und Ort: n. V.

Voraussetzungen / Organisatorisches
Zusammenfassung
Im Rahmen dieses Forschungsprojektes bieten wir Studierenden die Gelegenheit, aktiv an dem CAPTN FördeAreal (https://captn.sh/foerde-areal/) Projekt teilzunehmen. FördeAreal ist generell eine Unternehmung mit mehreren Akteuren und Partnern, neben der CAU auch die FH Kiel und weiteren wirtschaftlichen Unternehmen. Die Studierenden sollen unserem Team bei den Aufgaben der CAU für den Versuchsträger WaveLab unterstützen. Konkret geht es dabei um die Entwicklung von Software und KI-Systemen, welche die Daten der Sensoren der WaveLab auswerten, verarbeiten, vereinigen und weiterleiten. Fokuspunkte sind hierbei die Stabilität und Zuverlässigkeit der Systeme, der Grad der Zuversicht der eingehenden und ausgehenden Sensordaten und Prognosen.

Inhalt
Lernziele: Ein Forschungsprojekt dient dazu, den Studierenden einen wirklichen Einblick in wissenschaftliche Arbeit und dessen Alltag zu bieten. Während unweigerlich das Wissen in verschiedene Aspekte vertieft wird, lernen die Studierenden durch dieses praxisnahe Projekt die Organisation und Arbeitsweisen einer Arbeitsgruppe kennen, die Vielfalt an Forschungsfragen, die sich ergeben, und die direkte Anwendbarkeit von den Ergebnissen an dem Versuchsträger. Es wird gelernt, wie wissenschaftliche Fragestellungen entstehen und entwickelt werden, wie diese dann geprüft und umgesetzt und dann schließlich evaluiert werden. Darüberhinaus werden jegliche Ergebnisse auch schriftlich und mündlich präsentiert.
Insbesondere sind folgende Ziele zu erreichen:
  • Spezifikation der Forschungsfrage und der Ziele im Rahmen des Forschungsprojektes in Form eines Research Proposals.
  • Arbeit in einem Team inklusive Selbst- und Gruppenorganisation, Prozessmanagement, Terminplanung und Aufgabenverteilung.
  • Entwicklung von Komponenten zur Datenverarbeitung auf dem Forschungsschiff, und deren Integration in bestehende verteilte Systeme.

Fokus des Projektes soll sein, dass die ausgehenden fusionierten Daten in dem passenden Format und Umfang für weiterführende Systeme sind (Input für RL Training) und auch so zur Verfügung gestellt werden, dass diese gut angebunden werden können. Potenzielle Forschungsfragen in diesem Vorhaben können sein:
  • Bestimmung der Positionen anderer Schiffe mittels optischer Sensorik: Wie können aus Bounding Boxes erkannter Schiffe, deren Position und Bewegung relativ zum Forschungsschiff bestimmt werden?
  • Tracking der anderen Schiffe und Prediction von Bewegungsverhalten anderer Akteure.
  • Verifikation der entwickelten Algorithmen. Z.B. durch Petri-Netze oder Timed Automata sollen die Komponenten und deren dynamisches Verhalten modelliert und formal verifiziert werden.
  • Visualisierung von Seekarten und dynamische Darstellung von erkannten Objekten auf der Kieler Förde. Wie kann ein zuverlässiger Webservice entwickelt werden, um in Echtzeit die Wahrnehmung des Schiffes darzustellen.

*Weitere Voraussetzungen:* Keine zwingenden Voraussetzungen. Grundlegende Kenntnisse in Programmierung, System Architecture, Software Engineering und Reinforcement Learning sind allerdings hilfreich, welche im Idealfall in den entsprechenden Modulen gelehrt werden. Darüberhinaus werden Tools wie Git, Docker, ssh etc. genutzt und hauptsächlich Python, mit den entsprechenden Data-Science und ML Modulen.
*Prüfungsleistungen:* Präsentationen, Bericht und wissenschaftliche Arbeit.
*Teilnahme:* Bitte senden Sie eine Mail an Marek Hummel (mhu@informatik.uni-kiel.de), um teilzunehmen oder weitere Informationen zu erhalten.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 6


Inf-GSoZu: Introduction to Formal Software Analysis (Inf-GSoZu) (080040)

Dozent/in
Prof. Dr. Dirk Nowotka

Angaben
Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
Unterrichtssprache Englisch
Zeit und Ort: Do 12:15 - 13:45, 14:15 - 15:45, CAP4 - R.13.1304 a (außer Do 23.5.2024); Einzeltermine am 23.5.2024 12:15 - 13:45, OS75/S3 - R.31; 23.5.2024 14:15 - 15:45, OS75/S2 - R.210
vom 14.4.2024 bis zum 14.7.2024

Inhalt
Kurzfassung: In this course we consider basic principles and techniques for the detection of errors and the certification of the absence of certain errors in software systems. The covered areas include testing, model-checking, and abstract interpretation.
Lernziele: A successful attendant of this course will gain an understanding in techniques and formal methods for error finding and proving of program properties. He or she will be able to evaluate different analysis methods and to employ them.
Lehrinhalte: The course breaks down into three parts.
Part one: Testing. A systematic approach to various aspects of testing is presented: code inspections and walk throughs, control-flow coverage, data-flow coverage, black-box and white-box testing, test suites, conformance testing.
Part two: Model-checking. The issue of modelling a program is considered. The temporal logic CTL is introduced as a formalism to express program properties. CTL model-checking algorithms are presented.
Part three: Abstract interpretation. The underlying theory is introduced and applications in the area of static code analysis are presented. Basic knowledge in logic and theoretical foundations of computer science
Prüfungsleistung: Oral exam over 30 minutes
Lehr- und Lernmethoden: Lecture with beamer and white-board presentation; exercises for the application of theoretical concepts and self-assessment

Empfohlene Literatur
Glenford J. Myers: Methodisches Testen von Programmen. R. Oldenbourg Verlag, 7. Auflage 2001 (Englische Originalfassung: The Art of Software Testing. John Wiley and Sons, 1979)
Gerard J. Holzmann: Design and Validation of Communication Protocols. Prentice Hall Software Series, 1991.
Edmund C. Clarke, Orna Grumberg und Doron A. Peled: Model Checking. MIT Press, 2000.
Flemming Nielson, Hanne Riis Nielson und Chris Hankin: Principles of Program Analysis. Springer Verlag, 1999.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 25

Zugeordnete Lehrveranstaltungen
UE: Exercise: Introduction to Formal Software Analysis (080045)
Dozent/in: Prof. Dr. Dirk Nowotka
Zeit und Ort: Di 8:30 - 10:00, CAP4 - R.13.1304 a


Inf-MPAlgKombSeq: Masterprojekt - Algorithmik und Kombinatorik von sequenziellen Strukturen (Inf-MPAlgKombSeq) (080009)

Dozentinnen/Dozenten
Prof. Dr. Dirk Nowotka, Dr. Pamela Fleischmann, Annika Huch

Angaben
Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 10
Praesenzveranstaltung
Zeit und Ort: n.V.
Vorbesprechung: 25.3.2024, 10:00 - 11:00 Uhr

Inhalt
Storing the 2-dimensional concept of graphs as linear words is of broad interest. One way is not to linearise the adjacency matrix but to store whether to nodes are adjacent by alternating the corresponding letters in the word. In this project, we switch the perspective, i.e. coming from words - in particular k-local words, we are interested which graphs are represented by then.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 5
UnivIS ist ein Produkt der Config eG, Röttenbach

  • PD Dr. Frank Melzner
    Curriculum Coordinator
    Hohenbergstrasse 2
    Room 13
    Phone: +49 (0)431 600-4274
    E-mail: fmelzner(at)geomar.de

    Dr. Jörg Süling
    Study Coordinator
    Hohenbergstr. 2
    Room 006
    Phone: +49 (0)431 600-4454 / -4508
    E-mail: jsueling(at)geomar.de
    Consultation Tuesday 2-3 pm and Thursday 8-9 pm - currently via zoom

    Annegret Stuhr
    Room 323
    Phone: +49 431 600-4028
    Email: astuhr(at)geomar.de

  • OLAT is the central online learning platform of CAU. On OLAT you always find recent material for lectures, seminars etc. 

  • Exam registration: If you encounter exam registration problems please contact exam office biology (Office Examination Board (web)).

    Generally: for imported courses and courses outside of M. Sc. Biological Oceanography please always contact the person in charge of the module you are attending and the corresponding exam office.

    Campusmanagementsystem

    Students service

  • Chairman of Examination Board

    Prof. Dr. Thorsten Reusch
    GEOMAR
    Helmholtz Centre for Ocean Research Kiel
    Düsternbrooker Weg 20
    24105 Kiel
    Room: A 31
    Phone: +49 431 600-4550
    E-Mail: treusch(at)geomar.de

    Office Examination Board (web)

    Marianne Lange  Tel. 0431/880-3724 (Raum E 50)
    Ines Wetzel   Tel. 0431/880-4157 (Raum E 51)

    Prüfungsamt Biologie
    Biozentrum
    Am Botanischen Garten 7
    24118 Kiel
    FAX 0431/880-5704

    pruefungsamt(at)bio.uni-kiel.de

  • Next application period: March 1 to April 15, 2025!

    More information at "how to aply"