Modeling Project Theoretical Computer Science The lecture website is available at https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23234641921.