Program Overview

Institute for Theoretical Computer Science

The Institute for Theoretical Computer Science offers a variety of courses and research opportunities in the field of theoretical computer science.

Teaching

The institute provides teaching in the following areas:

• Algorithms and Data Structures
• Introduction to Bioinformatics
• Foundations of Theoretical Computer Science and Formal Foundations of Computer Science
• Seminar Modern C++ Style (Seminar on Modern C++ Style)

Archive

The archive contains a list of past courses and seminars, including:

• Events in the WS 2025/2026 (Events in the 2025/2026 Winter Semester)
• Events in the SS 2025 (Events in the 2025 Summer Semester)
• ...
• Events in the WS 2008/2009 (Events in the 2008/2009 Winter Semester)

Seminar Modern C++ Style

Announcement

The seminar will be held in the form of a block seminar at the end of the semester. The preliminary discussion with topic assignment will take place on Friday, October 16, 2015, at 16:15 in room O27/531.

Content

The subject of this seminar are the numerous innovations in the programming language C++ and the C++ standard library, summarized in the language standards C++11 and C++14. The focus is on how to correctly use these new means to write error-free, exception-safe, and easy-to-maintain code that is also more efficient than "conventional" C++ programs based on the language standard of 1998 or 2003.

Topic list

• Rvalue References, Move Semantics, and Perfect Forwarding
• Variadic Templates and Template Aliases
• Simplified Generic Programming
• Auto-Initialization and Unified Initialization Syntax
• Assertions and Compile-Time Calculations, Other Optimizations
• Lambda Functions and Function Templates
• Unicode Support and Custom Literals
• Concurrent programming
• Lock-free programming

Literature

• Scott Meyers: Effective Modern C++. O'Reilly Media, 2014
• Bjarne Stroustrup: The C++ Programming Language, 4th edition. Addison Wesley, 2013
• Nicolai M. Josuttis: The C++ Standard Library: A Tutorial and Reference, 2nd edition. Addison Wesley, 2012
• C++ Concurrency in Action: Practical Multithreading. Manning Publications, 2012
• Torsten T. Will: C++11 programming. Galileo Computing, 2012
• Programming languages C++. Draft International Standard ISO/IEC JTC1 SC22 WG21 N3936, 2014

Responsibility

Stefan Arnold Prof. Dr. Jacobo Toran

Dates

Preliminary meeting with topic assignment: Friday, October 16, 2015, at 4:15 p.m. in room O27/531

Research

The institute is involved in the following research areas:

• EDACC
• Sequence analysis
• SAT Solving
• Dense Packing of Yarn Rolls on Pallets

Employees

The institute has the following staff members:

• Prof. Dr. Jacobo Toran
• Prof. Dr. Enno Ohlebusch
• Prof. Dr. Uwe Schöning
• Christiane Halder-Schnell
• M.Sc. Lisa Marie Jaser
• M.Sc. Jannik Olbrich
• Former Employees / Doctoral Students