wuv.md

layout: course

title: Seminar Wissensrepräsentation und -verarbeitung
instructors:
    - mkohlhase

semesters:
    - SS17
    -  WS17/18
    - SS18
    - WS18/19
    - SS19

Dieses Seminar behandelt ausgewählte Themen aus dem Gebiet der Wissensrepräsentation und -Verarbeitung, mit einem Fokus auf mathematisches Wissen.

Die Vortragsthemen sind sehr unterschiedlich im Schwierigkeitsgrad, sie reichen von Einführungsthemen für ambitionierte Bachelor-Studenten bis zur Forschungsfront für Doktoranden. Sie spiegeln recht gut die Forschungsinteressen der KWARC Gruppe wieder. Daher ist dieses Seminar sehr gut geeignet um in die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).

Datum	Thema	Sprecher
25. 10. 2017	Michael Kohlhase	How to read scientific articles
1. 11. 2017	Allerheiligen	------
-----	-------	-----

Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das WS 17/18:

Thema	Literatur	Schwierigkeitsgrad	vergeben?	Termin
OpenMath & SCSCP	1(http://openmath.github.io/standard)	recht einfach
LF-Einführung		relativ einfach, aber Logik-lastig
MitM Foundation		Formalisierung
Theory Graphs and Viewer		einfach	Marcel Rupprecht
Weak Type Theory	1(http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)	relativ einfach, aber Logik-lastig
MathLang	Kamareddine
Formula Parsing	Ginev M.Sc.	relativ einfach
Math Parsing in Concise	Pichler M.Sc.	relativ einfach
Virtual Theories			Tom Wiesing
MitM-based integration of CAS			Tom Wiesing
Isabelle Type Classes and Locales		logik-lastig
LF + Interection Types		fortgeschritten
Model Knowledge Representation for HPC			Theresa Pollinger
McAllister-Foundation		mit Voldemort's Theorem (schwer)

Diskussionen und finden auf dem FSI Forum WuV statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum abonnieren!