Seminars
Page tree

Versions Compared

Old Version 3

changes.mady.by.user Alexander Schulz-Rosengarten

Saved on

compared with

New Version 4

changes.mady.by.user Alexander Schulz-Rosengarten

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Expand

You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.   

The papers are assigned via first-come-first-serve. Already taken papers are marked. Please send an email to Niklas (nre@informatik.uni-kiel.de) in order to reserve a paper.

Many of the links do only work in the university network. Through the usage of a VPN or a remote session to the terminal server, those are also accessible from home. If any problems occur feel free to contact us.

Bachelor Recommendations

Master Recommendations

Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "Standardisation considerations for autonomous train control." Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.

Basile, D., ter Beek, M.H., Legay, A. (2020). Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. In: Gotsman, A., Sokolova, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science(), vol 12136. Springer, Cham. https://doi.org/10.1007/978-3-030-50086-3_1

Schedule

Expand

Note: The dates are not final yet, to be discussed during the kickoff meeting.

DateMilestone
TBAFirst Meeting/Kick-Off with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
TBA 23:59Deadline for topic selection (via email to Niklas)
TBA 23:59Deadline of the first draft in EasyChair. This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work. 

In the week after above (TBA), individual dates

Individual feedback dates.
TBA 23:59Deadline of the first full version (submission update in EasyChair)

In the week after above (TBA), individual dates

Individual feedback dates.
TBA 23:59Deadline of the review version (submission update in EasyChair) and admission to program committee (invitation via email)
subsequentlyReview assignment (via email)
TBA 23:59Deadline reviews (in EasyChair)

subsequently (TBA)

Individual feedback dates on presentation slides.

The slides need to be available online or sent to the advisor beforehand (as PDF).

TBA 23:59Deadline final version (submission update in EasyChair)
TBA, all dayFinal presentations

The Final Presentations

The presentation of the prepared topic is held during a block seminar at TBA. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.

...