104.570 AKLOG Research seminar
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023S, SE, 2.0h, 3.0EC

Properties

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

Learning outcomes

After successful completion of the course, students are able to...

The purpose of this seminar is the presentation and discussion of recent scientific results in the research group "Computational Logic".

Subject of course

Scientific presentations in the research areas of the group "Computational Logic" by members of this group and by guests.

Teaching methods

If appropriate, joint preparation of the presentation with one of the lecturers

Mode of examination

Written and oral

Additional information

Talk announcements are sent to this mailing list.

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
Wed10:00 - 11:3008.03.2023 - 28.06.2023 Dissertantenraum, Freihaus, 8th floor, green areaseminar
AKLOG Research seminar - Single appointments
DayDateTimeLocationDescription
Wed08.03.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed15.03.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed22.03.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed29.03.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed19.04.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed26.04.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed03.05.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed10.05.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed17.05.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed24.05.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed31.05.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed07.06.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed14.06.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed21.06.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar
Wed28.06.202310:00 - 11:30 Dissertantenraum, Freihaus, 8th floor, green areaseminar

Examination modalities

Presentation and possibly a seminar paper

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Not specified

Literature

No lecture notes are available.

Miscellaneous

Language

English