Ferienakademie 2011, Course 1
Modern Approaches to Optimization and Verification in Computer Science

Themenliste / List of Topics

The list of topics in English can be found here

Synopis

The aim of this course is to give students a fundamental understanding of Modern Approaches to Optimization and Verification in Computer Science. The course addresses students of computer science, mathematics and similar subjects in the first or second year of their studies, and everyone who is interested in these topics.

Zusammenfassung

Ziel dieses Kurses ist es, den Studierenden ein grundsätzliches Verständnis moderner Ansätze für die Optimierung und Verfifikation zu vermitteln. Die Veranstalung richtet sich an Studierende der Informatik, der Mathematik und verwandter Studiengänge im 1. oder 2. Studienjahr und alle, die sich für diese Themen interessieren.

Distribution of topics