Sommersemester 2018

Projektgruppe "Praxis der Forschung"

Bekanntmachungen:

  • 17.04.2018: Informationsveranstaltung für interessierte Studierende im SoSe 2018, 13:15 - 13:45 Uhr in SR 236 (Geb. 50.34) sowie ab 17:15 Uhr Postersession mit allen Betreuern und ehemaligen Teilnehmern
  • Bis zum 16.03.2018 können Lehrstühle neue Projekte (inkl. Titel, halbseitige Beschreibung und Namen der Betreuer*innen) für das Sommersemester 2018 anmelden – Die Projekte müssen in der Informationsveranstaltung (s.o.) vorgestellt werden

Angebotene Themenfelder im kommenden Semester

Die Themenfelder für das Sommersemester 2018 sind:

  • Software-Architektur
  • Formale Methoden
  • Pervasives Computing
  • Weitere folgen ...
Die folgende Liste gibt einen Überblick über Themen, die im kommenden Semester ausgeschrieben werden. Bei Interesse an einem Thema oder Fragen dazu kann der/die betreffende Mitarbeiter/in angeschrieben werden. Die endgültige Liste der ausgeschriebenen Themen wird auf der Informationsveranstaltung zu Semesterbeginn (s.o.) bekannt gegeben und kann anschließend auch im Handout nachgelesen werden.

Liste der Projekte für das Sommersemester 2018

# Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter*innen
1. Inferring JML Contracts for KeY from System Dependence Graphs ITI Beckert Mihai Herda
2. Bislicing - Slicing für relationale Fragestellungen ITI Beckert Mihai Herda und Dr. Mattias Ulbrich
3. Interaktionskonzepte für benutzbare Beweissysteme ITI Beckert und
TM Beigl
Sarah Grebing, Dr. Mattias Ulbrich und Dr. Andrea Schankin
Weitere Themen folgen ...

Zu den Themen aus dem Wintersemester 2017/18.

Veranstaltungen und Termine

Die Methoden-Veranstaltungen im ersten Semester finden bis auf wenige Ausnahmen immer donnerstags, die im zweiten Semester voraussichtlich freitags statt. Die erste ist am t.b.a. t.b.a. in Raum t.b.a. (Geb. 50.34). Die Teilnahme an der ersten Veranstaltung ist unter anderem Voraussetzung zur Teilnahme an Praxis der Forschung, da alle organisatorischen Informationen hier bekannt gegeben werden. Im Folgenden ist die Planung für beide Semester aufgelistet (Änderungen vorbehalten):

1. Semester (Sommersemester 2018)
Datum Zeit Veranstaltung
Vorlesungswoche 2 1,5 Stunden KickOff & Literaturrechereche und Zitieren
Vorlesungswoche 4 6,0 Stunden Präsentation wiss. Arbeiten I - Präsentationsworkshop
Vorlesungswoche 5 7,0 Stunden Projektmanagement - Workshop
Vorlesungswoche 8 1,5 Stunden Erkenntnistheorie
Vorlesungswoche 9 1,5 Stunden Wissenschaftstheorie
Vorlesungswoche 11 1,5 Stunden Anträge Schreiben
Vorlesungswoche 12 6,0 Stunden Präsentation wiss. Arbeiten II - Projektvorstellung & erweiterte Präsentationstechniken
Vorlesungswoche 14 1,5 Stunden Experimente I - Design und Durchführung
2. Semester (Wintersemester 2018/19)
Datum Zeit Veranstaltung
Vorlesungswoche 1 1,5 Stunden KickOff & Dokumentation des wissenschaftlichen Fortschritts
Vorlesungswoche 3 2,0 Stunden Paper schreiben (Theorie)
Vorlesungswoche 4 1,5 Stunden Experimente II - Auswertung
Vorlesungswoche 10 5,0 Stunden Paper schreiben (Praxis) I - Modelle & Techniken zum wiss. Schreiben
Vorlesungswoche 12 6,0 Stunden Paper schreiben (Praxis) II - Schreiben von Abstracts & Präzisierungen
Im Rahmen von Praxis der Forschung finden zusätzlich noch Präsentationstermine (drei im ersten Semester, zwei im zweiten) statt. Zusätzlich werden die Inhalte jedes Semesters mit jeweils einer mündlichen Prüfung abgeprüft.
Weitere Termine, Details und eventuelle Änderungen sind im ILIAS zu finden. Bitte melden Sie sich hierzu an. Veranstaltungen und Termine vergangener Jahrgänge finden sich im Archiv.