Due to scheduled database maintenance, TISS will likely be unavailable on Tuesday, September 3rd, 2024, between 7:00 AM and 9:00 AM. We apologize for any inconvenience and appreciate your understanding.

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.

2024W, 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

Oral

Additional information

Talks are announced via the seminar's mailing list. For subscribing to the mailing list see https://list.tuwien.ac.at/sympa/info/clsem.

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 - 12:0009.10.2024 - 29.01.2025Sem.R. DC rot 07 Seminar
AKLOG Research seminar - Single appointments
DayDateTimeLocationDescription
Wed09.10.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed16.10.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed23.10.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed30.10.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed06.11.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed13.11.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed20.11.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed27.11.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed04.12.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed11.12.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed18.12.202410:00 - 12:00Sem.R. DC rot 07 Seminar
Wed08.01.202510:00 - 12:00Sem.R. DC rot 07 Seminar
Wed15.01.202510:00 - 12:00Sem.R. DC rot 07 Seminar
Wed22.01.202510:00 - 12:00Sem.R. DC rot 07 Seminar
Wed29.01.202510:00 - 12:00Sem.R. DC rot 07 Seminar

Examination modalities

Presentation

Course registration

Not necessary

Curricula

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

Literature

No lecture notes are available.

Language

English