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.

2017W, 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)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:0005.10.2017Seminarraum FAV EG B (Seminarraum von Neumann) first class
Mon10:00 - 12:0009.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Wed10:00 - 13:0011.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Mon10:00 - 12:0016.10.2017Seminarraum FAV EG B (Seminarraum von Neumann) Lecture
Wed10:00 - 13:0018.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Mon10:00 - 12:0023.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Wed10:00 - 12:0025.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockLecture
Mon10:00 - 12:0030.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockPresentations
Tue10:00 - 13:0031.10.2017 Besprechungsraum Menger, Favoritenstr.9-11, 3. StockPresentations
Course is held blocked

Examination modalities

Work on selected research articles or book chapters

Course registration

Begin End Deregistration end
04.09.2017 00:00 10.10.2017 23:59 11.10.2017 23:59

Registration modalities

Registration in TISS

Curricula

Literature

No lecture notes are available.

Miscellaneous

Language

English