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.

2018W, 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:45 - 17:0027.11.2018 - 26.02.2019Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Research Seminar LogiCS - Single appointments
DayDateTimeLocationDescription
Tue27.11.201815:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue04.12.201815:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue11.12.201815:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue18.12.201815:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue25.12.201815:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue01.01.201915:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue08.01.201915:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue15.01.201915:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue29.01.201915:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue05.02.201915:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue12.02.201915:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue19.02.201915:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS
Tue26.02.201915:45 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Research Seminar LogiCS

Examination modalities


Course registration

Begin End Deregistration end
04.10.2018 01:00 01.11.2018 20:00 02.11.2018 15:00

Curricula

Literature

No lecture notes are available.

Previous knowledge


Language

English