KBS Seminare
Allgemeine Vorbesprechung (General Preliminary Discussion of Lectures)
Dienstag, 7.10.2008, 17:30h, Zemanek Hörsaal
Themenausgabe (Topic Assignment)
Dienstag, 21.10.2008, 17:00h,
Seminarraum 184/3, Raum HE0340
Vortragstermine (Presentation Dates)
Werden nach Vereinbarung bekanntgegeben. (Will be announced after assignment.)
Organisation (Organization)
-
Unsere allgemeinen Seminare finden als Blockveranstaltung statt, die Termine werden bei der Themenausgabe festgelegt.
Our seminars will be held en bloc; corresponding dates will be fixed upon topic assignment (see date above).
- Eine Anmeldung in TUWIS++ zu einer Gruppe der entsprechenden LVA ist erforderlich. (Achtung: Bevor dies möglich ist, muss die entsprechende LVA in TUWIS++ erst abonniert werden!)
Registration in TUWIS++ for a group of the corresponding lecture is required. (Attention: course subscription in TUWIS++ is a prerequisite.)
-
Eine Liste der Seminarthemen des aktuellen Semesters finden Sie weiter unten.
A list of topics for the current term can be found below.
-
Im Rahmen der Seminare ist nach Vorgabe der Seminarleiter ein wissenschaftlicher Vortrag zu Ihrem Thema zu halten. Die Termine dafür erfahren Sie bei der Themenausgabe.
Within the scope of our seminars, students will have to give a presentation of a scientific topic according to the lecturers requirements. Corresponding dates are appointed upon topic assignment (see date above).
-
Folgende Seminare werden angeboten (The following seminars are offered):
Es ist auch möglich, ein
Seminar mit Bakkalaureatsarbeit zu absolvieren.
In diesem Fall ist das Verfassen einer schriftlichen Arbeit verpflichtend.
Bachelor students can do a
Bachelor's Seminar. In this case also a bachelor thesis has to be written.
Themen für Seminare aus den
Magisterstudien (Topics for
master seminars):
Achtung: vorläufige Liste! (Attention: preliminary list!)
-
Von Aristoteles zu Gödel: Ein Streifzug durch die Geschichte der Logik
(From Aristotle to Gödel: A Tour of the History of Logic)
Auskunft bei Michael Fink, Hans Tompits
-
Methoden der Wissensverarbeitung im Next-Generation Web
(Methods for Knowledge Processing in the Next-Generation Web)
Auskunft bei Thomas Eiter, Michael Fink, Hans Tompits
-
Aktuelle Trends der Answer-Set Programmierung
(Current Trends in Answer-Set Programming)
Auskunft bei Thomas Eiter, Michael Fink, Hans Tompits
-
Evaluierung von CrypTool
(Evaluating CrypTool)
Auskunft bei Uwe Egly
-
Methoden zum parallelen Programmieren (MPI, OpenMP, etc.)
(Parallel Programming MethodsMPI, OpenMP, etc.)
Auskunft bei Uwe Egly
-
Satifiabilityprobleme: Methoden und Phänomene
(Satisfiability Problems: Methods and Phenomena)
Auskunft bei Uwe Egly
-
Pfadplanung für mobile Roboter
(Path Planning for Mobile Robots)
Auskunft bei Uwe Egly
Für das
Seminar mit Bakkalaureatsarbeit sind Themen aus folgenden Bereichen möglich:
For the Bachelor's Seminar topics from the following areas are possible:
- Wissensbasierte Systeme (Knowledge-Based Systems)
- Logisches Programmieren (Logic Programming)
- Intelligente Softwareagenten (Intelligent Software-Agents)
- Kryptographie (Cryptography)
- Deduktionssysteme (Deduction Systems)
Eigene Themenvorschläge sind willkommen und können bis 31.10.2008 den
Seminarleitern vorgeschlagen werden.
Proposals for a topic are welcome and can be suggested to the lecturers until 2008/10/31.