Oberseminar: Softwareentwicklung und Verifikation

Veranstaltung im Sommersemester 2018 an der Westfälischen Wilhelms-Universität Münster

Veranstalter: Prof. Dr. Markus Müller-Olm

Eintrag für das Oberseminar im HIS/LSF


Ort und Zeit

Einzeltermine, in der Regel dienstags, 16:15 Uhr im SRZ 115.


Inhalt

Im Oberseminar "Softwareentwicklung und Verifikation" tragen Studierende und Doktoranden über aktuelle Themen aus dem Umfeld Ihrer Abschlussarbeiten bzw. Dissertationen vor. Gelegentlich finden auch Vortäge auswärtiger Gäste statt. Die Vortragstermine werden auf dieser Seite bekannt gegeben. Gäste sind bei allen Vorträgen herzlich willkommen.


Termine

  • 8. Mai: Jens Gutsfeld: BranchCaRet* Model Checking
  • 15. Mai: NN: Domain-basiertes Vorfiltern von Protein-Sequenzen für Orthologiebestimmung mit Hilfe eines abgewandelten K-Means-Algorithmus
  • 29. Mai: David Pracht
  • 5. Juni: Allan Grunert & André Machete
  • 12. Juni: Eric Wiltfang
  • 19. Juni: Paul Kröpke & Leon Bröckers
  • 26. Juni: Benedikt Nordhoff
  • 3. Juli: Christoph Ohrem
  • 10. Juli: Sebastian Kenter