Logo Universität Erlangen-Nürnberg
Universität Erlangen-Nürnberg
Logo TU München
Technische Universität München
Logo Universität Stuttgart
Universität Stuttgart
Ferien-Akademie

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

Professoren / Professors

Betreuer / Assistant:

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

TBA

Rolf Wanka, 5 May 2011. - Impressum