Seminar in Theoretical Computer Science

011 DDP Computational Logic (Erasmus-Mundus)
931 Logic and Computation
933 Information & Knowledge Management
936 Medical Informatics
937 Software Engineering & Internet Computing
860 GW Optional Courses - Technical Mathematics

Institute of Logic and Computation, TU Wien


Lecturer: Marco Maratea

News (up to 25-10-2018)

Slides and research papers

Content of the course

Exam: Oral presentation

Date and information about lectures and exam

How to contact the lecturer

For further information please contact me by e-mail.