184.767 Research Seminar LogiCS
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

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar

Aim of course

Throughout the Doctoral Program Logical Methods in Computer Science studies, students participate in the research seminar to present and discuss their current work, which includes dry runs for conference presentations.

Subject of course

Presentation and discussion of work plans, theoretical frameworks, methods and results of participants' theses.

Additional information


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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue15:00 - 17:0005.03.2019 - 25.06.2019Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Research Seminar LogiCS - Single appointments
DayDateTimeLocationDescription
Tue05.03.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue12.03.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue19.03.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue26.03.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue02.04.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue09.04.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue30.04.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue07.05.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue14.05.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue21.05.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue28.05.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue04.06.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue18.06.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS
Tue25.06.201915:00 - 17:00Seminarraum FAV 01 A (Seminarraum 183/2) Research Seminar LogiCS

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

English