• Skip to main navigation
  • Skip to content
  • Skip to footer
  • Skip to search
Institute of Theoretical Computer Science
Ulm University logo
Menu
  • Institute of Theoretical Computer Science
  • Teaching
    • Teaching
    • Veranstaltungen im WS 2022/2023
      • Veranstaltungen im WS 2022/2023
      • Grundlagen der Theoretischen Informatik
      • Algorithmen und Datenstrukturen
      • Einführung in die Bioinformatik
      • Formale Grundlagen der Informatik
      • SAT Solving
      • Zufallsmethoden in der Informatik
    • Veranstaltungen im SS 2022
      • Veranstaltungen im SS 2022
      • Projekt: Algorithm Engineering
      • Seminar Algorithmik: Algorithmen in der Aussagenlogik
      • Seminar Einführung in die Algorithmik: Algorithmen in der Aussagenlogik
      • Algorithmen zur Sequenzanalyse
      • Kryptologie
      • Berechenbarkeit und Komplexität
      • Algorithmische Spieltheorie
    • Veranstaltungen im WS 2021/2022
      • Veranstaltungen im WS 2021/2022
      • Algorithmen für schwierige Probleme
      • Formale Grundlagen der Informatik
      • Einführung in die Bioinformatik
      • Algorithmen und Datenstrukturen
    • Veranstaltungen im SS 2021
      • Veranstaltungen im SS 2021
      • Algorithmische Spieltheorie
      • Berechenbarkeit und Komplexität
      • Datenkompression
      • Kryptologie: Algorithmen und Methoden
      • Logik
      • Proseminar Algorithmen
      • Zufallsmethoden in der Informatik
    • Abschlussarbeiten
    • Absolventenseminar
    • Archiv
      • Archive
      • Vorlesungsskripte zum Download
      • WS 2020/2021
        • WS 2020/2021
        • Formale Grundlagen der Informatik
        • Projekt Algorithm Engineering
        • Algorithmen und Datenstrukturen
        • SAT Solving
        • Algorithmen zur Sequenzanalyse
        • Einführung in die Bioinformatik
        • Quantum Computing
        • Seminar Algorithmik: (Computational) Group Theory
        • Proseminar Algorithmen: (Computational) Number Theory
      • WS 2020/2021
        • WS 2020/2021
        • Formale Grundlagen der Informatik
        • Quantum Computing
        • Einführung in die Bioinformatik
        • Algorithmen zur Sequenzanalyse
        • SAT Solving
        • Algorithmen und Datenstrukturen
      • SS 2020
        • SS 2020
        • Algorithmische Spieltheorie
        • Berechenbarkeit und Komplexität
        • Datenkompression
        • Komplexitätstheorie
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • Projekt Algorithm Engineering
        • Seminar Algorithmik: Computational (Algebraic) Topology
      • WS 2019/2020
        • WS 2019/2020
        • Algorithmen und Datenstrukturen
        • Algorithmen für schwierige Probleme
        • Algorithmen zur Sequenzanalyse
        • Einführung in die Bioinformatik
        • Seminar Einführung in die Algorithmik: Themenkomplex Algorithmische Zahlentheorie
        • Seminar Algorithmik: Themenkomplex Algorithmische Zahlentheorie
        • Proseminar Algorithmen
        • Formale Grundlagen
        • Zufallsmethoden in der Informatik
      • SS 2019
        • SS 2019
        • Datenkompression
        • SAT Solving
        • Seminar Algorithmische Geometrie
        • Projekt Algorithm Engineering
        • Algorithmische Spieltheorie
        • Berechenbarkeit und Komplexität
        • Logik
        • Proseminar Algorithmen
        • Kryptologie: Algorithmen und Methoden
        • Seminar Algorithmik: Themenkomplex Kryptologie
        • Seminar Einführung in die Algorithmik: Themenkomplex Kryptologie
      • WS 2018/2019
        • WS 2018/2019
        • Quantum Computing
        • Einführung in die Bioinformatik
        • Algorithmen und Datenstrukturen
        • Algorithmen zur Sequenzanalyse
        • Formale Grundlagen der Informatik
        • Seminar (Einführung in die Algorithmik) & Seminar (Algorithmik): Themenkomplex Kryptologie
        • Proseminar (Algorithmen): Themenkomplex SAT-Solving
        • Highlights der Theoretischen Informatik
      • SS 2018
        • SS 2018
        • Algorithmen der Bioinformatik
        • Algorithmische Spieltheorie
        • Berechenbarkeit und Komplexität
        • Logik
        • Datenkompression
        • Kryptologie: Algorithmen und Methoden
        • Kryptologie: Mathematische Grundlagen
        • Scheduling
        • Projekt Algorithm Engineering
      • WS 2017/2018
        • WS 2017/2018
        • Einführung in die Bioinformatik
        • Algorithmen für schwierige Probleme
        • Algorithmen und Datenstrukturen
        • Algorithmen zur Sequenzanalyse
        • Formale Grundlagen der Informatik
        • Zufallsmethoden in der Informatik
        • Projekt Algorithmen Engineering
        • Seminar Algorithmik
        • Seminar Fun with Reductions
        • Proseminar Algorithmen
      • SS 2017
        • SS 2017
        • Algorithmische Spieltheorie
        • Berechenbarkeit und Komplexität
        • Komplexitätstheorie
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • Scheduling
        • Proseminar Algorithmen
        • Seminar Algorithmik
        • Projekt Algorithm Engineering
      • WS 2016/2017
        • WS 2016/2017
        • Algorithmen für schwierige Probleme
        • Einführung in die Bioinformatik
        • Einführung in die Informatik
        • Formale Grundlagen der Informatik
        • Highlights der Theoretischen Informatik
        • Proseminar Algorithmen
        • Seminar Algorithmik
      • SS 2016
        • SS 2016
        • Algorithmen der Bioinformatik
        • Algorithmische Spieltheorie
        • Berechenbarkeit und Komplexität
        • Datenkompression
        • Formal Foundtions of Computer Science
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • Proseminar Klassiker der Informatik
        • Proseminar Algorithmen
        • Projekt Sequenzanalyse
      • WS 2015/2016
        • WS 2015/2016
        • Algorithmen und Datenstrukturen
        • Algorithmen zur Sequenzanalyse
        • Formale Grundlagen der Informatik
        • Einführung in die Bioinformatik
        • Quantum Computing
        • SAT Solving
        • Proseminar Parametrisierte Algorithmen
        • Proseminar Algorithmen
        • Seminar Modern C++ Style
        • Implementierung von Kompressionsverfahren
      • SS 2015
        • SS 2015
        • Berechenbarkeit und Komplexität
        • Datenkompression
        • Einführung in die Informatik
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • Proseminar Algorithmen
      • WS 2014/2015
        • WS 2014/2015
        • Algorithmen für schwierige Probleme
        • Algorithmen und Datenstrukturen
        • Algorithmen zur Sequenzanalyse
        • Einführung in die Bioinformatik
        • Formale Grundlagen der Informatik
        • Highlights der Theoretischen Informatik
        • Modern C++ Style
        • Algorithmische Geometrie
        • Proseminar Algorithmen
        • Algorithmen der Logik
      • SS 2014
        • SS 2014
        • Algorithmen der Bioinformatik
        • Algorithmische Spieltheorie
        • Berechenbarkeit und Komplexität
        • Datenkompression
        • Komplexitätstheorie
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • Parametrisierte Algorithmen
        • Algorithmen der Logik
        • Algorithmen für Optimierungsprobleme
        • Implementierung von Bioinformatik-Algorithmen
      • WS 2013/2014
        • WS 2013/2014
        • Algorithmen für schwierige Probleme
        • Algorithmen und Datenstrukturen
        • Algorithmen zur Sequenzanalyse
        • Einführung in die Bioinformatik
        • Formale Grundlagen der Informatik
        • SAT Solving
        • Proseminar Algorithmen
        • Algorithmische Geometrie
        • Natur-inspirierte Algorithmen
        • Neue Programmierkonzepte in C++11
        • Algorithmen der Logik
      • SS 2013
        • SS 2013
        • Datenkompression
        • Einführung in die Informatik
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • Quantum Computing
        • Klassiker der Informatik
        • Algorithmen der Logik
      • WS 2012/2013
        • WS 2012/2013
        • Algorithmen für schwierige Probleme
        • Algorithmen und Datenstrukturen
        • Boolesche Funktionen und Schaltkreise
        • Formale Grundlagen der Informatik
        • Proseminar Algorithmen
        • Algorithmen der Logik
      • SS 2012
        • SS 2012
        • Algorithmen zur Sequenzanalyse
        • Berechenbarkeit und Komplexität
        • Komplexitätstheorie
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • Praktische Informatik
        • SAT Solving
        • Proseminar Informationsübertragung
        • Seminar Datenkompression
        • Unkonventionelle Algorithmen
        • Algorithmen der Logik
      • WS 2011/2012
        • WS 2011/2012
        • Algorithmen der Bioinformatik
        • Algorithmen für schwierige Probleme
        • Algorithmen und Datenstrukturen
        • Einführung in die Bioinformatik
        • Formale Grundlagen der Informatik
        • Highlights der Theoretischen Informatik
        • Proseminar Algorithmen
        • Seminar Algorithmische Geometrie
        • Projekt Bioinformatik
        • Implementierung von web-Suchmaschinen
      • SS 2011
        • SS 2011
        • Algorithmen der Bioinformatik
        • Berechenbarkeit und Komplexität
        • Datenkompression
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • SAT Solving
        • Proseminar Algorithmen
        • Proseminar Informationsübertragung
        • Seminar Algorithmen in der Graphentheorie
        • Indexing and Compressing the Textual Web
        • Projekt SAT-Solving
      • WS 2010/2011
        • WS 2010/2011
        • Algorithmen und Datenstrukturen
        • Algorithmen zur Sequenzanalyse
        • Einführung in die Bioinformatik
        • Formale Grundlagen der Informatik
        • Höhere Algorithmik
        • Quantum Computing
        • Proseminar Algorithmen
        • Seminar: Advanced Data Structures
        • Seminar: Probleme in NP
      • SoSe 2010
        • SoSe 2010
        • Berechenbarkeit und Komplexität
        • Datenkompression
        • Komplexitätstheorie
        • Kryptologie: Algorithmen und Methoden
        • Logik
        • Praktische Informatik
        • Proseminar Algorithmen
        • Seminar Algorithmen in der Graphentheorie
        • Seminar Bioinformatik
        • Seminar Search Engines
        • Projekt SAT-Solving
        • Projekt Sequenzanalyse
      • WS 2009/2010
        • WS 2009/2010
        • Algorithmen und Datenstrukturen
        • Algorithmen zur Sequenzanalyse
        • Einführung in die Bioinformatik
        • Formale Grundlagen der Informatik
        • Highlights der Theoretischen Informatik
        • Höhere Algorithmik
        • Seminar Algorithmische Geometrie
        • Praktikum: Datenkompression
        • SAT-Solving
        • Kryptographie Projekt / Praktikum SS09
      • SoSe 2009
        • SoSe 2009
        • Algorithmen der Bioinformatik
        • Berechenbarkeit und Komplexität
        • Datenkompression
        • Kombinatorische Methoden der Informatik
        • Kryptologie
        • Logik
        • SAT Solving
        • Proseminar Ideen der Informatik
        • Seminar Sequenzanalyse
        • Kryptographie Projekt / Praktikum SS09
        • Praktikum: Datenkompression
        • SAT-Solving + CSP
      • WS 2008/2009
        • WS 2008/2009
        • Algorithmen und Datenstrukturen
        • Algorithmen zur Sequenzanalyse
        • Einfuehrung in die Bioinformatik
        • Formale Grundlagen der Informatik
        • Höhere Algorithmik
        • Quantenrechner
        • Meilensteine der Informatik
        • Funktionale Programmierung in Haskell
        • Hauptseminar Datenkompression
        • SAT-Solving + CSP (Projektarbeit)
      • SoSe 2008
        • SoSe 2008
        • Algorithmen I
        • Highlights der Theoretischen Informatik
        • Kolmogorov-Komplexität
        • Komplexitätstheorie
        • Kryptographie
        • Theoretische Informatik II
        • Proseminar Informationsübertragung
        • Hauptseminar Bioinformatik
        • Succinct Data Structures and Compressed Suffix Arrays
      • WS 2007/2008
        • WS 2007/2008
        • Algorithmen II
        • Algorithmen der Bioinformatik
        • Einfuehrung in die Bioinformatik
        • Formale Grundlagen der Informatik
        • Formale Methoden der Informatik (WiWi)
        • Kryptographie Praktikum WS07/08
        • Quantum Computing
        • Theoretische Informatik I
        • Proseminar Graphalgorithmen
  • Members
    • Members
    • Prof. Dr. Jacobo Torán
      • Prof. Dr. Jacobo Torán
      • List of books
      • List of on-line available publications
    • Prof. Dr. Enno Ohlebusch
    • Prof. Dr. Uwe Schöning
      • Prof. Dr. Uwe Schöning
      • Buchveröffentlichungen
    • Christiane Halder-Schnell
    • M. Sc. Thomas Büchler
    • M.Sc. Lisa-Marie Jaser
    • M.Sc. Jannik Olbrich
    • M.Sc. Florian Wörz
    • Ehemalige Mitarbeiter / Doktoranden
      • Ehemalige Mitarbeiter / Doktoranden
      • M.Sc. Julian Nickerl
      • M.Sc. Jan-Hendrik Lorenz
      • M.Sc. Bogdan Adrian Dina
      • M.Sc. Uwe Baier
      • Dr. Gunnar Völkel
      • Dipl.-Inf. Helmut Sedding
      • Dipl.-Phys. Stefan Arnold
      • Dr. Martin Bader
      • Dipl. Inf. Adrian Balint
      • Dipl.-Inf. Timo Beller
      • Dipl.-Inf. Marcus Bombe
      • Dipl.-Inf. Sebastian Doern
        • Dipl.-Inf. Sebastian Doern
        • Interests
        • Publications
        • Teaching
        • Talks
        • CV
      • Dr. Tobias Eibach
      • Dr. Oliver Gableske
      • Dr. Simon Gog
      • Dr. Thanh Minh Hoang
      • Dr. Dominikus Krüger
      • Dipl.-Inf. Adrian Kügel
      • Dr. Markus Maucher
      • Dr. Thomas Schnattinger
      • Dr. Simon Straub
      • Dr. Fabian Wagner
      • Dr. Henning Wunderlich
      • Dr. Patrick Scharpfenecker
      • Waltraud Fromm
  • Research
    • Research
    • EDACC
    • Sequence Analysis
    • SAT Solving
    • Dichte Packung von Garnrollen auf Paletten
  • Other
    • Other
    • Front page
    • Lectures
    • Address
    • Imprint
    • Poster
    • 75. Theorietag
      • 75. Theorietag
      • Allgemeines
      • Programm
You are here:
  • Institute of Theoretical Computer Science
  • Teaching
  • Archiv
  • WS 2020/2021
    • FB
    • T
    • @
  • DE
  • Print
  • Top

Veranstaltungen im WS 2020/2021

  • Algorithmen und Datenstrukturen
  • SAT Solving
  • Algorithmen zur Sequenzanalyse
  • Einführung in die Bioinformatik
  • Quantum Computing
  • Formale Grundlagen in der Informatik
  • Ulm University

    • A–Z
    • Campus maps
    • Press
    • Job opportunities
    • Events calendar
    • Phone Directory
  • Legal information

    • About this Website
    • Privacy Policy
    • Website accessibility statement (German only)
    • Gebärdensprache
    • Leichte Sprache
  • Responsible for the content of this page:
    https://www.uni-ulm.de/index.php?id=116112
    Bogdan Adrian Dina
    Last modified:
    26. January 2022
    FB T YT I linkedin xing
Logo: Certificate since 2008 - audit family-friendly university
Logo: Universities for openness, tolerance and against xenophobia
© 2023 Universität Ulm | Ulm University