184.067 Seminar in Theoretical Computer Science
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2019S, SE, 2.0h, 3.0EC, to be held in blocked form

Properties

Semester hours: 2.0
Credits: 3.0
Type: SE Seminar

Aim of course

The student should gain knowledge on up-to-date research, get used to scientific papers, and acquiring techniques to present technical and scientific material.

Didactic procedure:

research of literature;
developing and presenting a talk

Subject of course

Topics in this semester.

Additional information

Attention: no seminar on June 16!

ECTS-Breakdown: 3 ECTS = 75 hours

Introduction 1h
Literature research und concept development 30h
Feedback to literature research and concept 0.5h
Development of presentation 32h
Presentations 11.50h

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

Institute

E192 Institute of Logic and Computation

Course dates

Day	Time	Date	Location	Description
Thu	15:00 - 17:00	21.03.2019	Seminarraum FAV EG C (Seminarraum Gödel)	Topic assignment
Fri	14:00 - 19:00	14.06.2019	Seminarraum FAV EG C (Seminarraum Gödel)	Presentations
Fri	10:00 - 14:00	21.06.2019	Seminarraum FAV EG B (Seminarraum von Neumann)	Presentations
Fri	10:00 - 18:00	21.06.2019	Seminarraum FAV EG B (Seminarraum von Neumann)	Presentations
Mon	09:00 - 19:00	24.06.2019	Theresianumgasse HS 2	Presentations
Tue	10:00 - 18:00	25.06.2019	EI 4 Reithoffer HS	Presentations
Thu	12:00 - 15:00	27.06.2019	Seminarraum FAV EG B (Seminarraum von Neumann)	Presentations

Course is held blocked

Examination modalities

oral Oral presentation is taken into account for the mark

Course registration

Begin	End	Deregistration end
21.02.2019 14:00	21.03.2019 23:00	22.03.2019 12:00

Registration modalities

Ort: TISS Gruppe und Themenausgabe

Group Registration

Group	Registration From	To
1 Gruppe	21.02.2019 14:00	20.03.2019 23:00
2 Gruppe	21.02.2019 14:00	20.03.2019 23:00
3 Gruppe	21.02.2019 14:00	20.03.2019 23:00

Curricula

Study Code	Obligation	Semester	Precon.	Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)"	Not specified
066 931 Logic and Computation	Mandatory elective
066 933 Information & Knowledge Management	Mandatory elective
066 936 Medical Informatics	Mandatory elective
066 937 Software Engineering & Internet Computing	Mandatory elective
860 GW Optional Courses - Technical Mathematics	Not specified
881 Computer Sciences	Mandatory elective

Literature

Different publications (will be announced during the seminar).

Go to Course Materials

Previous knowledge

Elementary knowledge in logic.

Miscellaneous

Attendance Required!
Course homepage

Language

German