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

2018W, SE, 2.0h, 3.0EC

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 Propositional Satisfiability and 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

Course-Webpage: http://www.star.dist.unige.it/~marco/SemTCS

 

 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 - 13:0004.10.2018Seminarraum FAV EG B (Seminarraum von Neumann) Kick-Off
Tue10:00 - 13:0009.10.2018 Meeting Room Menger, 3rd Floor, Favoritenstrasse 9-11class
Thu10:00 - 13:0011.10.2018 Meeting Room Menger, 3rd Floor, Favoritenstrasse 9-11class
Tue10:00 - 13:0016.10.2018 Meeting Room Hahn, 3rd Floor, Favoritenstrasse 9-11class
Thu10:00 - 13:0018.10.2018 Meeting Room Menger, 3rd Floor, Favoritenstrasse 9-11class
Tue10:00 - 13:0023.10.2018 Meeting Room Hahn, 3rd Floor, Favoritenstrasse 9-11class
Thu10:00 - 13:0025.10.2018 Meeting Room Menger, 3rd Floor, Favoritenstrasse 9-11class

Examination modalities

 

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Logic and Computation Mandatory elective
066 936 Medical Informatics Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective

Literature

No lecture notes are available.

Language

English