181.185 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.

2016W, 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 aim of the course is to analyze and present scientific work in the area of theoretical computer science. In particular, we will study advanced algorithms with focus on Answer Set Programming.

Subject of course

The subject of the course is abstract solvers, i.e. a formal way for describing solving algorithms.

Additional information

ECTS Breakdown

 54 h Preparation: Reading selected research articles or book chapters
 21 h Discussion of the research articles or book chapters (14 classes)
 
--------------------------------------------------------------------------------
 75 h = 3 Ects
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

  • Maratea, Marco

Institute

Course dates

DayTimeDateLocationDescription
Thu10:00 - 12:0006.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) first class
Tue10:00 - 13:0011.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Wed10:00 - 12:0012.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Tue14:00 - 16:0018.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Wed10:00 - 13:0019.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Tue14:00 - 17:0025.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Seminar
Thu10:00 - 13:0027.10.2016 Meeting room Menger, Favoritenstr. 9, Stiege 3, 3rd floorStudents presenations
Thu16:00 - 19:0027.10.2016Seminarraum FAV EG B (Seminarraum von Neumann) Students presenations
Fri10:00 - 13:0028.10.2016 Meeting room Menger, Favoritenstr. 9, Stiege 3, 3rd floorStudents presenations
Course is held blocked

Examination modalities

Work on selected research articles or book chapters

Course registration

Begin End Deregistration end
05.09.2016 00:00 11.10.2016 23:59 12.10.2016 23:59

Registration modalities

Registration in TISS

Curricula

Literature

No lecture notes are available.

Miscellaneous

Language

English