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.

2017S, 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: http://www.tuwien.ac.at/fileadmin/t/ukanzlei/t-ukanzlei-english/Plagiarism.pdf
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

Institute

Course dates

DayTimeDateLocationDescription
Tue15:45 - 17:3014.03.2017 - 27.06.2017Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Research Seminar LogiCS - Single appointments
DayDateTimeLocationDescription
Tue14.03.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue21.03.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue28.03.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue04.04.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue25.04.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue02.05.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue09.05.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue16.05.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue23.05.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue30.05.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue13.06.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue20.06.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS
Tue27.06.201715:45 - 17:30Seminarraum FAV EG C (Seminarraum Gödel) Research Seminar LogiCS

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

English