Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
  • Zielgruppen
  • Suche
 

Zusammenfassung

In dieser Veranstaltung sollen Studierende und Doktoranden ein Diskussionsforum für ihre Forschung sowie fertiggestellte Studien-, Diplom-, Bachelor- und Master-Arbeiten finden.

Darüber hinaus werden wir aktuelle Forschungsergebnisse erarbeiten.

Zeit und Ort

Die Zeit variiert. Bitte entnehmen Sie sie der Tabelle. Ort: Appelstr. 4, Raum 224

Möchten Sie regelmäßig über geplante Oberseminarveranstaltungen informiert werden, so empfehlen wir Ihnen, die Mailingliste oberseminar zu abonnieren.

Zukünftige Termine sind auch auf cal.thi.uni-hannover.de zu finden (hier Kalender oberseminar betrachten).

Informationen über die einzelnen Vorträge

Datum und Zeit des Vortrags Thema Vortragende(r)
22.02.2017, 13:00Automatisches Fahren - eine spieltheoretische SichtweiseJulian-Steffen Müller
14.02.2017, 11:30Über zk-SNARKsElmar Böhler
15.12.2016, 13:45Obfuskation in der KryptographieMaria Buling
08.12.2016, 13:45Answer Set Solving using Tree Decompositions and Dynamic Programming - The DynASP2 System and CountingDr. Johannes Fichte
14.11.2016, 14:00Spieltheoretische Semantik für ATLChristiane Owsiany
14.11.2016, 13:30Group IsomorphismDaniel Wiebking
27.10.2016, 14:00Implementierungen von parallelen Algorithmen auf GPGPUsStefan Dulle
27.10.2016, 13:30Ein Programm zur Enumeration in der ModallogikMarius Hilbich
05.10.2016, 13:30Cryptographic Hash FunctionsMatt Angland
05.09.2016, 14:00Tiling-Spiele in der KomplexitätstheorieChristian Nowitkzi
05.09.2016, 13:15Ein Programm für affine modallogische FormelnTimon Barlag
08.08.2016, 14:30Axiomatizations for Propositional and Modal Team LogicMartin Lück
08.08.2016, 14:00A Model-Theoretic Characterization of Constant-Depth Arithmetic CircuitsAnselm Haak
08.08.2016, 13:30On the Implicit Graph ConjectureMaurice Chandoo
22.06.16, 11:30Visualisierungen vom Ford-Fulkerson-Algorithmus Popeye Satjadiguna
20.06.16, 09:00 Ein Polizisten-und-Räuber-Spiel auf Graphen Tina Müller
17.06.16, 10:00 Connectivity of Boolean Satisfiability Konrad W. Schwerdtfeger
26.05.16, 10:15 Assumptions in Cryptography Prof. Dr. Christina Brzuska
14.04.16, 13:30 Elliptische Kurven in der Kryptographie Jan Eberhardt
17.03.16, 14:00 The Complexity of Counting Problems for Linear Temporal Logic Fabian Müller
21.01.16, 14:00 Die Axiome der Team-Logik Martin Lück
10.12.15, 13:30 Backdoors into Heterogeneous Classes of SAT and CSP Dr. Sebastian Ordyniak
08.12.15, 15:15 Parameterized Algorithms for Parity Games Dr. Sebastian Ordyniak
19.11.15, 11:00 Backdoors to Tractability of Disjunctive Answer Set Programming Dr. Johannes Fichte
Do, 05.11.15, 09:30 Ein Visualisierungstool für Baumzerlegung Jan Matschke
Do, 22.10.15, 13:00 Komplexität von CTL Martin Lück
Mi, 14.10.15, 14:30 Untersuchung des Implikationsbegriffs in verschiedenen LogiksystemenMarkus Ahlers
Mo, 21.09.15, 13:00 Ein Tool für Enumerationsalgorithmen Rebecca Cramer
Di, 15.09.15, 15:00 Kryptologische Methoden und AlternativenPhillip Luttmann
Di, 01.09.15, 16:00 Entwurf einer sicheren Client-Server-Architektur für ein NotenverwaltungssystemAlexander Röttcher
Di, 01.09.15, 15:00 Komplexität von "Common Approximate Substring" Luisa Simmet
Do, 23.07.15, 14:30 Sorting Networks Christian Brosy
Do, 18.06.15, 13:30 Logic and Games Marina Reich
Mi, 17.06.15, 15:00 Team-based Logics on Kripke Structures Prof. Vollmer
Mi, 17.06.15, 12:00 Kryptographische Methoden zur Authentifizerung für eingebettete Systeme Prof. Steffen Reith
Do, 04.06.15, 13:30 Methods for logical database security Dr. Lena Wiese
Mi, 13.05.2015, 11:30 Parameterized Complexity of Temporal Logics Martin Lück
Mo, 27.04.15, 14:00 Answer Set Programming Hui Song
Mi, 22.04.15, 15:00 Ein Tool für TSP-Algorithmen Albert Akselrod
Mi, 15.04.15, 16:00 Isomorphism for CA Graphs Maurice Chandoo
Do, 09.04.15, 14:30 A tool for nonmonotonic logics Nicola Gruhl
Do, 26.03.15, 14:00h Lightweight Description Logics & Branching Time: A Troublesome Marriage Dr. Thomas Schneider
Mi, 18.03.15, 10:45h Knotentheorie Nasim Heidari
Mi, 18.03.15, 13:30h Graph Modification Problems Daniel Wiebking
Do, 29.01.15, 13:15h Visibly Counter Languages and Constant Depth Circuits Andreas Krebs
Di, 07.10.14, 11:00h Defendable Security in Interaction Protocols Wojtek Jamroga
Do, 04.09.14, 11:00h Zweidimensionale Sprachen Ximena Velasquez Zambrana
Do, 31.07.14, 11:00h QBF-Solver Christian Henning
Do, 24.07.14, 13:30h Die Komplexität vom Spiel Set Wadim Friedrich
Do, 17.07.14, 14:00h Disputationsvortrag: Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller
Do, 05.06.14, 13:30h Modale Resolution für die Rahmenklasse K Sergey Kartamyshev
Di, 20.05.14, 13:00h The security of public-key-cryptosystems and the complexity of promise problems Lennart Suhr
Mi, 02.05.14, 13:30h (Raum 3703-027) Disputationsvortrag: Complexity and Expressivity of Dependence Logic Extensions Johannes Ebbing
Di, 29.04.14, 13:30h Schwierige NEA-Probleme Meharad Emami
Di, 11.03.14, 13:30h Entscheidbarkeit der Pressburger Arithmetik Paul Krüger
Do, 19.12.13, 13:00h Dynamic Semantics and Modal Dependence Logic Pietro Galliani
Do, 14.11.13, 13:00h Temporal Dependence Logic Julian Müller
Do, 31.10.13, 13:00h A finite axiomatization of conditional independence and inclusion dependencies Juha Kontinen
Do, 05.09.13, 10:00h Connectivity Problems for Boolean CSPs Konrad Schwerdtfeger
Do, 15.08.13, 14:00h Model Checking for Modal Dependence Logic: An Approach Through Post’s Lattice Julian-Steffen Müller
Do, 27.06.13, 12:30h Logikprogrammierung mit Abhängigkeit Martin Lück
Mo, 27.05.13, 16:30h Parameterized enumeration Julian-Steffen Müller
Mo, 27.05.13, 16:00h On the speed of constraint propagation and the time complexity of arc consistency testing Oleg Verbitsky
Mo, 27.05.13, 14:30h Space complexity of bipartite matching and reachability Samir Datta
Mo, 27.05.13, 12:30h Natural complete problems for parametrized space classes Till Tantau
Mo, 27.05.13, 12:00h A comparison of CTL operators Martin Mundhenk
Do, 15.05.13, 13:00h Contraflow Approach for Evacuation Planning Network Optimization Algorithms Tanka Nath Dhamala
Di, 30.04.13, 15:00h Darstellungssätze für Sprachen Jingwen Xue
Di, 30.04.13, 14:30h Komplexität von Minesweeper Stephan Richter
Do, 31.01.13, 11:00h Erfüllberkeit in modaler Team Logik Julian-Steffen Müller
Do, 31.01.13, 10:00h Boolean Dependence Logic and Partially ordered Connectives Johannes Ebbing
Mo, 28.01.13, 15:00h Improving Energy Efficiency by Model-Driven Software Reengineering Andreas Winter
Do, 17.01.13, 11:00h Dependence QBF Uwe Bubeck
Mi, 09.01.13, 14:00 Komplexität der Division Armin Djafari-Naini
Mi, 09.01.13, 13:30h Äquivalenz und Isomorphie quantifizierter Formeln Philipp König
Do, 29.11.12, 10:00h Die Komplexität der Formelauswertung in intuitionistischen Logiken Felix Weiß
Do, 15.11.12, 14:00h Constraints & Post's Lattice Heribert Vollmer
Mo, 29.10.12, 11:30h Varianten des Post'schen Korrespodenzproblems Daniel Busse
Mo, 08.10.12, 15:30h Funktionale Programmierung und Berechenbarkeit Eugen Kiss
Mo, 01.10.12, 15:00h Fully Homomorphic Encryption Irena Schindler
Mo, 01.10.12, 14:30h Tools für modale Logiken Sergey Kartamyschev
Mo, 01.10.12, 14:00h Tiefe Färbung Jan-Frederik Kassel
Mo, 09.07.12, 14:00h Die 13/9-Approximation für graphisches TSP Ximena Velasquez Zambrana
Mi, 30.05.12, 10:00h An efficient algorithm for mixed-model just-in-time production with a genreralized perspective. Tanka Nath Dhamala
Do, 26.05.12, 14:30h SAT-Algorithmen und Resolution (Studienarbeit) Sascha Kretschmann
Do, 19.04.12, 14:00h Nichtkanonische Erweiterungen von Bottom-Up-Parsing-Techniken (Diplomarbeit) Mykyta Korol
Do, 19.04.12, 13:30h Das Euklidische TSP (Bachelorarbeit) Eike Clas Schulze
Do, 27.02.12, 11:00h Ein kombinatorischer Beweis für ein altes Resultat von Trakhtenbrot Ulrich Hertrampf
Do, 21.02.12, 11:00h The Partner Units Problem Conrad Drescher
Do, 16.02.12, 11:00h Non-definability of languages by generalized first-order formulas over (N,+) Andreas Krebs
Do, 26.01.12, 14:00h Implizite Algorithmen für Matchingprobleme Beate Bollig
Di, 24.01.12, 13:30h The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers Thomas Schneider
Do, 15.12.11, 14:00h Non-Uniform Data Complexity in Ontology-Based Data Access with Description Logics. Carsten Lutz
Do, 21.11.11, 14:00h Die Komplexität des Wortproblems für Visibly Pushdown Sprachen (Studienarbeit) Lukas Aguirre
Do, 03.11.11, 14:30h Schema Mapping and Data Exchange Johannes Ebbing
Mi, 06.07.11, 14:00h,
Raum 335 On Cooperating Distributed Systems of Stateless Deterministic Restarting Automata with Window Size One Friedrich Otto
Di, 28.06.11, 16:30h,
Raum 023 Kryptographie und Quantencomputing - Chancen, Bedrohungen, Auswege Olaf Beyersdorff
Mi, 01.06.11, 11:00h Effizientes Model-Checking für LTL (Diplomarbeit) Marina Koffler
Di, 31.05.11, 09:15h Complexity of Auditing Boolean Attributes (Diplomarbeit) Marc-Alexander Röhrig
Mi, 18.05.11, 13:30h Randomisation and Derandomisation in Descriptive Complexity Theory Kord Eickmeyer
Mo, 16.05.11, 13:30h Komplexität von Dependence Logik (Diplomarbeit) Jing Liu
Do, 05.05.11, 14:00h Über die Schaltkreiskomplexität parametrisierter Probleme Christoph Berkholz
Mi, 13.04.11, 11:00h Model Checking Tools (Diplomarbeit) Frederic Brzoska
Di, 12.04.11, 15:45h Anwendungen monadischer Logik zweiter Stufe und beschränkter Baumweite auf Platzkomplexität Christoph Stockhusen
Di, 12.04.11, 14:45h Complexity of Model Checking for Modal Dependence Logic Johannes Ebbing
Di, 12.04.11, 14:00h Über die Kanonisierung von Circular-Arc-(Hyper-)Graphen Sebastian Kuhnert
Di, 12.04.11, 12:00h Über den Äquivalenztest monotoner Formeln in Normalform Robert Zeranski
Di, 15.03.11, 14:00h Counting Paths in VPAs is complete for #NC1 Meena Mahajan
Mi, 23.02.11, 14:00h Model Checking für Intuitionistische Logik (Diplomarbeit) Anna Schubach
Di, 02.11.10, 14:00h Der Arora-Algorithmus für euklidisches TSP (Studienarbeit) S. Gröger
Do, 28.10.10, 11:00h Komplexitätsresultate zu hybrider Logik (Diplomarbeit) Alexander Stamm
Mo, 30.08.10, 14:00h Komplexitätsresultate von Description Logics (Diplomarbeit) Kaweh Djafari Naini
Mo, 30.08.10, 13:30h Lindenmayer-Systeme (Diplomarbeit) Özlem Yüksel
Mo, 30.08.10, 11:00h Complexity in Dependence Logic (Diplomarbeit) Johannes Ebbing
Mi, 23.06.10, 14:30h Partially ordered connectives and MMSNP Lauri Hella
Mi, 02.06.10, 14:00h Formalsprachliche Aspekte von XML, Teil II: Parsing (Studienarbeit) Oxana Barska
Mi, 02.06.10, 13:30h Formalsprachliche Aspekte von XML, Teil I: Klassifikation, Abschlusseigenschaften, Entscheidbarkeit (Studienarbeit) Tetiana Dyrenko
Mi, 02.06.10, 13:00h Algorithmen für Hornlogik (Studienarbeit) Jing Liu
Do, 20.05.10, 15:00h Complexity classifications for Propositional Abduction in Post’s framework Johannes Schmidt
Do, 20.05.10, 14:15h Two-Variable Logic with Two Order Relations Thomas Zeume
Mo, 26.04.10, 14:15h (Raum 3703-027) Algorithmische Analyse diskreter Netzwerkdynamiken Sven Kosub
Mi, 14.04.10, 14:00h A Tool for Post's Lattice (Bachelorarbeit) Marco Köhnen
Di, 25.03.10, 15:00h Modularity of Ontologies Thomas Schneider
Mi, 10.03.10, 13:30h Entscheidbarkeit logischer Theorien (Diplomarbeit) Johannes Wolpers
Di, 16.02.10, 10:30h Small space analogues of Valiant's classes Raghavendra Rao B. V.
Mi, 27.01.10, 10:00h The Complexity of Reasoning for Fragments of Autoepistemic Logic Michael Thomas
Mi, 13.01.10, 11:00h Poor Man's Dependence Logic Peter Lohmann
Mi, 13.01.10, 10:00h Post's Lattice and Description Logics Arne Meier
Di, 01.12.09, 13:30h Einfache Theorie der deterministischen Sprachen (Studienarbeit) Özlem Yüksel
Di, 24.11.09, 14:45h Hybride Logiken (Studienarbeit) Frederik Büchler
Di, 24.11.09, 14:00h Effizientes Model-Checking für CTL (Diplomarbeit) Julia Gerock
Do, 19.11.09, 14:00h Entscheidbarkeit von Interval Temporal Logics (Studienarbeit) Andre Knopp
Mi, 11.11.09, 11:00h Cryptographic Applications of Algorithmic Number Theory (Diplomarbeit) Jan Krensing
Mi, 30.09.09, 11:00h Effiziente Parsing-Algorithmen für kontextfreie Sprachen (Diplomarbeit) Lara Toma
Di, 15.09.09, 14:00h Nichtdeterministische Funktionen, disjunkte Paare und optimale Beweissysteme Jochen Messner
Do, 10.09.09, 10:00h Ein nachweislich schweres Problem (Studienarbeit) Dianjun Liu
Mi, 02.09.09, 14:45h Vollständigkeit in modalen Logiken (Bachelorarbeit) Julian-Steffen Müller
Mi, 02.09.09, 14:00h Edges as Nodes - a New Approach to Timetable Information (Diplomarbeit) Yevgen Nebesov
Mo, 29.06.09, 14:00h Die schwierigste kontextfreie Sprache (Studienarbeit) Anna Schubach
Di, 16.06.09, 11:00h Minimierung von nichtdeterministischen endlichen Automaten (Studienarbeit) Michael Becker
Mo, 15.06.09, 16:15h Constraint-basierte Refaktorisierung am Beispiel der Änderung von SichtbarkeitenFriedrich Steimann
Mo, 15.06.09, 14:30h Complexity of Enumeration (Diplomarbeit) Johannes Schmidt
Mo, 15.06.09, 14:00h Bounds for One-dimensional Cellular Automata(Diplomarbeit) Thomas Zeume
Mi, 29.04.09, 13:00h Entscheidbarkeit und Komplexität logischen Folgerns in autoepistemischen Logiken (Studienarbeit)Marc-Alexander Röhrig
Mo, 20.04.09, 13:15h Easy Yet Hard. Model Checking Strategies of AgentsWojtek Jamroga
Do, 09.04.09, 9:15h Effizientes Model-Checking für CTL* (Diplomarbeit) Maria Soldatova
Mo, 06.04.09, 14:00h Model Checking for Default Logic (Studienarbeit) Johannes Wolpers
Mo, 23.03.09, 10:00h The Complexity of Inference in Propositional Circumscription Michael Thomas
Mo, 23.03.09, 11:00h Model Checking Fragments of ATL and the Simple Reactive Modules Language Peter Lohmann
Mi, 18.03.09, 13:30h Lambda-Kalkül (Studienarbeit) Paul Krüger
Do, 12.03.09, 11:00h Parametrisierte Komplexität und das Erfüllbarkeitsproblem der Aussagenlogik (Diplomarbeit) Jurij Schachmanow
Di, 10.03.09, 16:00h Dependence logic Juha Kontinen
Di, 10.02.09, 10:30h Die symmetrische Polynomialzeit-Hierarchie (Diplomarbeit) Mirjan Hoffmann
Do, 29.01.09, 13:30h Heterogeneously Structured Ontologies Oliver Kutz
Mi, 17.12.08, 11:00h Selbstorganisierende Systeme und Mechanismus-Design Bernhard Jungk
Mi, 17.12.08, 10:00h Alternating-Time Temporal Logic Peter Lohmann
Do, 16.10.08, 14:00h Fragments of Temporal Logic and Formal Languages (Diplomarbeit) Peter Lohmann
Do, 16.10.08, 15:00h Über Aspekte des Designs symmetrischer Verschlüsselungsverfahren mit einer Anwendung auf ein neues Kryptosystem (Diplomarbeit) Martin Schmidt
Mo, 29.09.08, 11:00h Branching-Time Logics Repeatedly Referring to States Volker Weber
Mo, 07.07.08, 14:00h Hilbert's Tenth Problem (Masterarbeit) Xubin Chen
Mo, 16.06.08, 11:00h Frozen Development in Graph Coloring (Masterarbeit) Sarah Tauscher
Mo, 09.06.08, 14:00h Blattsprachen (Diplomarbeit) Patrick Njofang
Di, 03.06.08, 10:30h Entscheidungsprobleme in der Default Logik (Studienarbeit) Alexander Stamm
Di, 03.06.08, 10:00h Entscheidungsprobleme in der autoepistemischen Logik (Studienarbeit) Kaweh Djafari Naini
Fr, 11.04.08, 13:00h Effizienzanalyse von Public-Key-Verfahren (Diplomarbeit) Viktor Turov
Mo, 10.10.08, 12:30h Generating Multicollisions for MD4 and MD5 (Studienarbeit) Christian Knopf
Di, 04.03.08, 11:30h CTL*-SAT is 2EXPTIME-hard for ≤log-Reductions (Studienarbeit) Fatima Yassaad
Di, 29.01.08, 15:00h Klimas Tunneltechnik - MD5-Kollision innerhalb einer Minute (Studienarbeit) Jurij Schachmanov
Mi, 23.01.08, 11:00h A Logic for for Reasoning about Rational AgentsWojtek Jamroga
Di, 22.01.08, 14:00h Complexity of CTL-SAT Michael Thomas und Arne Meier
Di, 27.11.07, 14:00h Cryptographic Hash Functions (Diplomarbeit) Christian Knopf
Di, 27.11.07, 15:00h Complexity of Temporal Logics Arne Meier
Mi, 21.11.07, 15:00h The Weak Base Method for Constraint Satisfaction Ilka Schnoor
Mi, 26.09.07, 13:00h Traveling Salesman Problem - Vergleich von Heuristiken zur Lösung des Problems des Handlungsreisenden (Bachelorarbeit) Florian Nöhring
Mi, 26.09.07, 14:00h Kollisionen bei kryptographischen Hashfunktionen Ronny Peine
Mi, 26.09.07, 15:00h Laufzeitanalyse des SAT-Algorithmus von Schuler und dessen Derandomisierung von Dantsin und Wolpert (Studienarbeit) Mirjan Hoffmann
Mi, 12.09.07, 13:30h Public-Key-Kryptographie und Halbgruppen Steffen Reith
Mi, 01.08.07, 14:30h Ein Überblick zum Einsatz von ECC über endliche Körper vom Grad 2n und pn (Studienarbeit) Mahin Olaie
Di, 05.06.07, 16:15h The complexity of Solitaire Pierre McKenzie
Mi, 23.05.07, 16:15h Bisimulation, Games and Modal LogicsMartin Otto
Mo, 07.05.07, 13:00h Algorithmen zu Exact Cover Problemen (Studienarbeit) Johannes Schmidt
Mi, 25.04.07, 12:30h PSPACE-completeness of LTL/CTL* model checking (Studienarbeit) Peter Lohmann
Mi, 25.04.07, 12:00h Algebraic and logical characterization of star-free languages (Studienarbeit) Thomas Zeume
Di, 24.04.07, 16:15h Majority in logic and computationJuha Kontinen
Mi, 04.04.07, 13:00h Visibly-Pushdown-Sprachen Bahitje Brahimi
Mi, 28.03.07, 13:00h Logik der Beweisbarkeit Jürgen Gerland
Do, 08.03.07, 14:00h Modale Logik Frederic Brzoska
Do, 08.03.07, 13:30h Cryptographic Hash Functions Christian Knopf
Do, 08.03.07, 13:00h Public-Key Verschlüsselung Viktor Turov
Mo, 05.03.07, 14:30h Algebraic Techniques for Satisfiability Problems Henning Schnoor
Mo, 29.01.07, 12:30h Complexity Results for Boolean Constraint Satisfaction Problems Michael Bauland
Di, 21.11.06, 14:30h Algebraische Turing-Maschinen Henning Schnoor
Do, 16.11.06, 15:00h Incremental branching programsPierre McKenzie
Di, 24.10.06, 14:00h Membership problems for Boolean clones Sebastian Böcker
Do, 12.10.06 Berlin-Hannover-Jena Seminar -
Di, 19.09.06, 13.30h Autoreducibility and Friends Joachim Selke
Di, 19.09.06, 11.00h Inductive Counting Patrick Njofang
Di, 19.09.06, 10.15h Ein Entscheidungsalgorithmus für die Logik S1S Marc Schultze
Fr, 08.09.06, 11.00h Erfüllbarkeit für quantifizierte Hornformeln Irina Privalova
Mo, 28.08.06, 13.00h New Algebraic Methods for Constraint Satisfaction Problems Ilka und Henning Schnoor
Mi, 16.08.06, 13.30h Blattsprachen und Blattfunktionen Matthias Galota
Do, 20.07.06, 9.30h Logics for context-free languages Michael Thomas
Mo, 10.07.06, 16.00h Raum 027 Erkennung genomischer Inseln mit Hidden-Markow-ModellenStephan Waack
Mo, 24.04.06, 10.15 h Kompressionsalgorithmen Boris Tripolskij
Mo, 24.04.06, 11.00h Expressive Power and Closure Properties of Constraints Volker Stamm
Mo, 24.04.06, 16.00h Raum 135 Räuber, Gendarmen und die Struktur effizient lösbarer Constraint-Satisfaction-ProblemeMartin Grohe
Mi, 19.04.06, 13.00h Äquivalenztest für deterministische Kellerautomaten Alexander Zlenko
Fr, 07.04.06, 13.00h Redundanz in NP-vollständigen MengenChristian Glaßer
Fr, 07.04.06, 14.30h Eine abstrakte Beschreibung ressourcenbeschränkter ReduzierbarkeitenWolfgang Merkle
Mo, 20.02.06, 10:00h Generalized Modal Satisfiability Ilka Schnoor
Fr, 13.01.06, 10:30h New Results on Enumeration Algorithms for Constraint Satisfaction Problems Henning Schnoor
Fr, 02.12.05, 11:00h Algebraic Closures in Complexity Theory Elmar Böhler
Di, 22.11.05, 10:30h Neue Komplexitätsresultate für hybride Logiken über transitiven RahmenThomas Schneider
Di, 15.11.05, 14:00h Die neue deutsche Rechtschreibung Michael Bauland
Fr, 21.10.05, 14:00h Optimierte ECU-Konfiguration im Autosar-Umfeld Maja Ostrowski
Fr, 12.10.05 Berlin-Hannover-Jena Seminar -
Mo, 19.09.05, 14:45h SAT-Algorithmen Arne Meier
Mo, 19.09.05, 14:00h Verallgemeinerte Pumping-Lemmata Yuqing Gong
Di, 02.08.05, 11:00h Blattsprachen und TOL-System Jens Georg
Mi, 27.07.05, 10:30h Isomorphic implication Michael Bauland
Mi, 27.07.05, 10:00h The complexity of satisfiability problems: refining Schaefer's theorem Henning Schnoor
Fr, 08.07.05, 10:30h Partitionsbedingungen für Steiner-Bäume Matthias Kriesell
Fr, 24.06.05, 10:00h Visualisierung von Konzepten der Theoretischen Informatik Nico Amtsberg, Tim Lorenz
Fr, 10.06.05, 10:00h The complexity of propositional linear temporal logics, A. P. Sistla and E. M. Clarke Ilka Johannsen
Fr, 13.05.05, 10:00h Relation - ein Werkzeug zur Untersuchung endlicher Relationen Marc Schultze
Di, 10.05.05, 13:00h Normalformen für spezielle modale Formeln Henning Schnoor
Di, 26.04.05, 13:30h Die Komplexität hybrider Logiken über transitiven RahmenThomas Schneider
Fr, 22.04.05, 14:30h Enumeration Algorithms for Constraint Satisfaction Problems Ilka Johannsen
Di, 12.04.05, 11:00h Über den Verband der Clones unter FPElmar Böhler
Fr, 08.04.05, 10:00h Exbor - ein Werkzeug zur Untersuchung Boolescher Funktionen Volker Stamm
Mo, 21.02.05, 10:00h Das Formula Value Problem Henning Schnoor
Mi, 09.02.05, 10:00h Isomorphic Implication Michael Bauland
Fr, 04.02.05, 10:00h Der AKS-Primzahltest Witali Janzen
Fr, 28.01.05, 10:00h Die Komplexität der aussagenlogischen Circumscription Heribert Vollmer
Fr, 17.12.04, 10:00h Tractable Decision for a Constraint Language Implies Tractable Search, D. A. Cohen Michael Bauland
Fr, 10.12.04, 10:00h Counting Probleme für Constraint Satisfaction Probleme im nicht-Boolschen Fall Henning Schnoor
Fr, 03.12.04 Berlin-Berlin-Hannover-Jena Seminar -
Do, 25.11.04, 10:00h Komplexitätsübersicht nicht monotoner Logiken Birgit Schelm
Mi, 10.11.04, 11:00h Ein mathematisches Modell zur Darstellung der Transportbeziehungen zwischen LSPs in MPLS-Netzwerken Joachim Selke
Do, 21.10.04, 10:00h Average case Komplexität Birgit Schelm
Di, 12.10.04, 14:30h Quantified constraints over maximal constraint languages Henning Schnoor
Mi, 07.07.04, 14:15h Quantifizierte Boolesche Formeln Michael Bauland
Mi, 16.06.04, 14:15h Die Komplexität der Postschen Klassen Henning Schnoor
Mi, 09.06.04, 14:15h Der Postsche Verband Henning Schnoor
Mi, 19.05.04, 14:15h Blattsprachen und T0L-Systeme Rainer Parchmann
Mi, 12.05.04, 14:15h Kuchenschneide-AlgorithmenUlrich Hertrampf
Mi, 05.05.04, 14:30h Die Berechnungsstärke von endlichen Blattautomaten Christian Becker
Fr, 13.02.04, 13:30h Äquivalenz von UML-Diagrammen Sven Baselau
Fr, 30.01.04, 13:30h UML-Diagramme und ihre Übersetzung in die Modell-Objekt-Sprache MOL Patrick Hagemann
Fr, 16.01.04, 13:30h Die Komplexität modaler LogikenThomas Schneider
Fr, 19.12.03, 13:30h Verbindbarkeit und Trennbarkeit in allgemeinen GraphenMatthias Kriesell
Fr, 12.12.03, 13:30h Berlin-Berlin-Hannover-Seminar -
Fr, 28.11.03, 13:30h Das NTRU-Kryptosytem Michael Bauland
Fr, 21.11.03, 13:30h 49. Theorietag, Heinrich-Heine-Universität Düsseldorf-
Fr, 14.11.03, 13:30h Implementierung von Algorithmen zur Positionierung von Basisstationen in Mobilfunknetzen Thomas Flohr
Fr, 07.11.03, 13:30h EXBOR - Ein Werkzeug zur Untersuchung von Abschlusseigenschaften Boolescher Funktionen Ilka Johannsen
Fr, 31.10.03, 13:30h Das Hutproblem und zufällige BinärfolgenWolfgang Merkle