Informatik-Kolloquium

Im Informatik-Kolloquium tragen Referenten internationaler Forschungseinrichtungen über ihre aktuelle Forschung vor. Dazu laden wir nicht nur die Mitarbeiter des Instituts, sondern insbesondere alle Studierenden der TU Clausthal herzlich ein. Neben interessanten Vorträgen bietet sich im Rahmen des Kolloquiums die Gelegenheit sich über die jeweiligen Forschungsgebiete zu informieren und Kontakte zu Wissenschaftlern und Institutionen zu knüpfen.

Vorschläge und Anmeldungen für weitere Vorträge bitte per E-Mail an Stefanie Kehl oder Alexandra Stein

Sommersemester 2024

Promotion

  • Mittwoch, 03.04.2024, 09:00 Uhr, Institut für Informatik (Gebäude D5), Multimedia Hörsaal, Albrecht-von-Grodeck-Str. 7, Cl-Z
    Tobias Ahlbrecht: Goal-based debugging for belief-desire-inention agents
    Gutachter: Prof. Dr. Jürgen Dix und Prof. Dr. Michael Winikoff (Victoria University of Wellington)

 

Wintersemester 2023/2024

Doktorprüfung:

  • Freitag, 16.02.2024, 10:00 Uhr, Institut für Software and Systems Engineering (Gebäude C10), Semianrraum 124, Arnold-Sommerfeld-Str. 1, Cl-Z
    Basel Alhaji: Trust-Based Human-Robot Industrial Collaboration
    Gutachter: Prof. Dr. Michael Prilla (Uni Duisburg-Essen) und Prof. Dr. Andreas Rausch (ISSE)
     

Research Track:

  • Mittwoch, 27.03.2024, 09:30 Uhr, per BBB: https://webconf.tu-clausthal.de/rooms/g6h-1xi-7nw-ru4/join
    Seyed Behzad Arjmand Boroujeni - Evaluating the Effectiveness of Human-Robot Interaction in Healthcare Facilities: A Multi-Center Study on the Assessment of Physical and Cognitive Interventions for the Elderly through Objective Testing and Qualitative Analysis
    Gutachter: Dr. David Unbehaun und Prof. Dr. Jörg P. Müller

Sommersemester 2023

Forschungsprojekte:

  • Donnerstag, 14. September 2023, 10:00 Uhr
    per BBB: https://webconf.tu-clausthal.de/rooms/0hg-14b-b7m-xrm/join
    Adnan Alayoubi - Generating large scale Datasets and Comparing Different Splitting Strategies for the Cooperative Vehicle Platooning Problem with Multiple Companies

  • Mittwoch, 26. Juli 2023, 11:00 Uhr
    Besprechungsraum 1.06, Julius-Albert-Str. 4 in Clausthal-Zellerfeld
    Julian Haase: Data Coverage for Testing
    Betreuer: Prof. Dr. Christian Siemers (IEI) und Prof. Dr. Sven Hartmann

Gastvorträge

Wintersemester 2022/2023

Kolloquium: 

  • Freitag, den 13.01.2023, 10:00 Uhr, Institut für Informatik (D3), Julius-Albert-Str. 4, PC Pool 302 und https://webconf.tu-clausthal.de/b/umu-2ey-ekt
    Hakan Aydemir, System Test and Simulation Manager Turkish Aerospace
    Digital Engineering in Aviation: The Activities of the AIAA Digital Engineering Technical Committee
    Organisator: Prof. Dr. Umut Durak

  • Freitag, den 04.11.2022, 13:00 Uhr, Institut für Informatik (D8), Am Regenbogen 15, Seminarraum 210
    Prof. Dr. Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
    How to Save Democracy (or Towards Model Checking of E-Voting Protocols in Alternating-time Temporal Logic)
    Organisator: Prof. Dr. Jürgen Dix

Forschungsprojekte:

Sommersemester 2022

Forschungsprojekte:

 

Vorträge im Wintersemester 2021/2022

Forschungsprojekte

Vorträge im Sommersemester 2021

Kolloqium

  • 23. Juli 2018, 09:00 Uhr, per BBB per https://webconf.tu-clausthal.de/b/apl-ikv-vxs-1az
    Dr. Oliver Ohneiser, Deutsches Zentrum für Luft und Raumfahrt:
    Modern Assistance Systems in Air Traffic Control (im Rahmen der Vorlesung "Aeronautical Informatics")
    Organisator: Prof. Dr. Sven Hartmann und PD Dr. Umut Durak

Forschungsvortrag

Wintersemester 2020/2021

Forschungsprojekt

Vorträge im Sommersemester 2020

Kolloquium

Forschungsprojekt

Vorträge im Wintersemester 2019/2020

Forschungsprojekt

Vorträge im Sommersemester 2019

Forschungsprojekte

Vorträge im Wintersemester 2018/19

Im Wintersemester hörten wir folgende Vorträge:

Forschungsprojekt:

Vorträge im Sommersemester 2018

Im Sommersemester 2018 haben wir folgende Vorträge gehört:

Vorträge im Sommersemester 2017

  • 28.08.2017 - Peer Denecke - Forschungsprojekt: Generation of Requirements-based Test Cases for an Adaptive Cruise Control System
  • 24.08.2017 - Sören Schleibaum - Automatisierte Klassifizierung von Produktdaten mithilfe neuronaler Netze (1. Vortrag Forschungsprojekt)
  • 26.07.2017 - Prof. Dr. Fritz Mayer-Lindenberg - Ein Ansatz zur Kommunikation und Arbeitsteilung in FPGA- und SoC-basierten Parallelrechnern
  • 17.07.2017 - PD Dr. Michael Felderer - Risk-Based Software Testing: Increasing Effectiveness and Efficiency in Testing
  • 12.06.2017 - Dr. Stephan Krusche - Continuous Delivery
  • 30.05.2017 - Dr. Christoph Knieke - Managed Evolution of Automotive Software Product Line Architectures
  • 04.05.2017 - Karl-Falco Storm - Forschungsprojekt: Entwicklung eines Algorithmus zur Fahrprofilprädiktion unter Berücksichtigung des aktuellen Fahrerzustandes

Vorträge im Wintersemester 2016/2017

  • 14.03.2017 - Rabie Almsber - Forschungsprojekt: Extending AIM to handle Vehicles and Pedestrian
  • 01.03.2017 - Yong Wang - Automatische Anpassung der Programmschnittstellen für modellgetriebene Softwareentwicklung
  • 27.02.2017 - Khaled Osmani - Smart Data in der Automobilproduktion
  • 25.01.2017 - Carsten Hesselmann - Forschungsprojekt: Dezentrale Konfliktbehandlung bei Änderungsoperationen in der kollaborativen Produktentwicklung
  • 24.01.2017 - Yong Wang - Semantische Variation basiertes Datenmapping für die automatische Anpassung der Programmschnittstellen
  • 11.01.2017 - Dr. Dirk Werth - Digitalisierung von wissensintensiven Dienstleistungen am Beispiel der digitalen Beratung - Veränderte Geschäftsmodelle und Prozesse für Wissensarbeiter -
  • 10.01.2017 - Peer Denecke - Forschungsprojekt: Metriken für anforderungsbasierte Tests: Auswertung hinsichtlich der Fehlerfindung am Beispiel eines Kontrollsystems im Fahrzeug
  • 16.12.2016 - Nils Böcher - Anforderung an zukünftige SW Architekturen für automotive Hardware Plattformen (E/E Architektur 2025) mit Schwerpunkt auf: - Update Fähigkeit von Applikationen und hardwarebezogene Softwaremodule im Fahrzeug und von Lagerware - der Nutzung von Feldausfällen für die Ersatzteilversorgung durch Remanufacturing
  • 12.12.2016 - Prof. Dr. Hans-Jürgen Scheruhn - Nutzung von ARIS-Modellen in SAP ERP
  • 08.11.2016 - Mohamad Ibrahim - Forschungsprojekt: Conception of Publish-Subscribe Mechanism for the DAiSI and prototypical Implementation on EXLAP
  • 20.10.2016 - Rabie Almsber - Forschungsprojekt: Towards Extening Autonomous Intersection Management by Vehicle-Pedestrian Interaction

Vorträge im Sommersemester 2016

  • 07.07.2016 - Dr. Wojtek Jamroga - Agent Logic, Strategic Ability, and Multi-Valued Verification
  • 23.06.2016 - Zheng Liu - Set-Based Design
  • 20.06.2016 - Mohamad Ibrahim - Forschungsprojekt: Conception of Publish-Subscribe Mechanism for the DAiSI and prototypical Implementation on EXLAP
  • 20.06.2016 - Dirk Scharff - Intelligente Werkzeuge zur Modellierung und Simulation thermischer Systeme mit FMUs
  • 27.05.2016 - Thorben Knust - Forschungsprojekt: Concept of a modular Toolchain for runtime analysis of Embedded Realtime-Systems
  • 25.05.2016 - Dr. Umut Durak - Model Based Testing Approach for Objective Fidelity Evaluation
  • 18.05.2016 - Niklas Fiekas - Forschungsprojekt: AgentSpeak in MapReduce
  • 10.05.2016 - Carsten Hesselmann - Forschungsprojekt: Dezentrale Konfliktbehandlung bei Änderungsoperationen in der kollaborativen Produktentwicklung
  • 09.05.2016 - Daniel Arnsberger - Forschungsprojekt: Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
  • 03.05.2016 - Nils Böcher - Remanufactoring 4.0 for automotive software integration for protected off board diagnosis with future security concepts as a key for advanced circular economy

Vorträge im Wintersemester 2015/2016

  • 23.02.2016 - Simon Linowski - Fortgeschrittenenprojekt: Webbasiertes Tool für eine Testfallsteuerung/Konfiguration eines Bahnüberganges
  • 01.12.2015 - Dennis Klar - Modellbasierte Diagnose von industriellen Steuerungs- und Automatisierungssystemen mittels kausaler Symptom-Analyse
  • 12.11.2015 - Marcel Spitzer - Forschungsprojekt: Inkonsistenzmaße für Multiagentensysteme
  • 02.10.2015 - Daniel Arnsberger - Forschungsprojekt: Sicherstellung der Funktionalität eines Serviceroboters am Beispiel eines iserveU Szenarios
  • 02.10.2015 - Henning Lübbecke - (Miss-)Erfolge bei der Einführung von Unternehmenssoftware

Vorträge im Sommersemester 2015

  • 14.07.2015 - Sascha Lützel - Functional Safety im Automotive Umfeld - Welchen Einfluss hat die Norm ISO 26262 auf Entwicklungsprojekte in Automobilkonzernen?
  • 30.06.2015 - Janek Bender, B.Sc. - Forschungsprojekt: A Comparison of Agent-Based Coordination Architecture Variants for Automotive Product Change Management
  • 23.06.2015 - Dr. Patrick Stiefel - Einführung in das Product Lifecycle Management (PLM) mit Praxisbeispielen aus dem Volkswagen-Konzern
  • 21.05.2015 - apl. Prof. Dr. Christof Lutteroth - GUIs, Gaze and Exergames - An Overview of my Research at the University of Auckland
  • 19.05.2015 - Prof. Ana Bazzan - Beyond reinforcement learning in multiagent systems
  • 12.05.2015 - Prof. Michael Winikoff - Talk 1: Early detection of design faults relative to requirement specifications in agent-based models and Talk 2: On the testability of BDI Agent Systems
  • 04.05.2015 - Karina Rehfeldt, B.Sc. - Forschungsprojekt Mobile4e

Vorträge im Wintersemester 2014/2015

  • 10.02.2015 - Dr. Holger Klus - Softwareentwicklung bei ROSEN - Ein Überblick
  • 05.02.2015 - Dr. Umut Durak - Simulation Modernization
  • 09.12.2014 - Karina Rehfeldt - Forschungsprojekt Mobile4e

Vorträge im Sommersemester 2014

  • 24.06.2014 - Dr. Patrick Stiefel - Einführung in das Produktdatenmanagement (PDM) mit Praxisbeispielen aus dem Volkswagen-Konzern (Enrichment Lecture)
  • 23.06.2014 - Prof. Julian Rohrhuber - Medialität algorithmischer Experimentalsysteme. Aktuelle Tendenzen bei domänspezifischen Computersprachen am Übergang zwischen Kunst und Wissenschaft
  • 20.06.2014 - Prof. Dr. Gunnar Stevens - Living Labs als Forschungsmethodik zur nachhaltigen Innovationsentwicklung
  • 20.06.2014 - Dr. Andreas Harrer - Unterstützung und Analyse von kollaborativem Planen, Lernen und Wissens-Ko-Konstruktion
  • 19.06.2014 - Prof. Dr. Ansgar Scherp - Automatic image region labeling using gaze information obtained from image search
  • 19.06.2014 - Dr. Michael Prilla - Kollaborative Reflexion am Arbeitsplatz
  • 19.06.2014 - Prof. Dr. Jasminko Novak - The Value of the Human Touch: Human-Computer Interaction for Value Co-Creation in Business and Computational Systems
  • 19.06.2014 - Prof. Dr. Johannes Schöning - Paddle: Ein neuartiger Prototyp eines verformbaren mobilen Gerätes
  • 13.05.2014 - Dr. Claus-Peter Wirth und Prof. Dr. Frieder Stolzenburg - David Poole's Specificity Revised

Vorträge im Wintersemester 2013/2014

  • 14.02.2014 - Dr. Stefanie Wuhrer - Analyse verformbarer geometrischer Flächen
  • 14.02.2014 - Prof. Dr. Jan Bender - Interaktive Physikalisch-Basierte Simulation
  • 14.02.2014 - Dr. Martin Eisemann - Simulating the real world
  • 13.02.2014 - Prof. Dr. Michael Guthe - Wahrnehmung in der Echtzeitgraphik
  • 13.02.2014 - Jun.-Prof. Dr. Mario Hlawitschka - Visuelle Datenanalyse in Neurowissenschaften, Bio-Engineering und Ingenieurwissenschaften
  • 13.02.2014 - Jun.-Prof. Dr. Thorsten Grosch - Globale Beleuchtung für virtuelle und erweiterte Realität
  • 13.02.2014 - Dr. Stefan Guthe - Visualization of Astronomical Nebulae via Distributed Multi-GPU Compressed Sensing Tomography
  • 05.02.2014 - Dr. Dirk Werth - Intelligente Unternehmenssoftware - Neue Ansätze zum Einsatz von Assistenz- und Empfehlungssystemen im betrieblichen Umfeld -
  • 06.12.2013 - Prof. Dr. Dirk Linowski - Industrienahe Forschung an tunesischen Universitäten? Beobachtungen als EU Experte vor Ort
  • 21.10.2013 - Dr. Gerald Weber - Document Orientation: A semantically rich way to describe user interfaces

Vorträge im Sommersemester 2013

  • 04.07.2013 - Dr. Lena Wiese - Methods for logical database security
  • 12.06.2013 - Prof. Jørgen Villadsen - On Programming Multi-Agent Systems
  • 28.05.2013 - Dr. Qing Wang - Capturing Knowledge Patterns in Entity Resolution

Vorträge im Wintersemester 2012/2013

  • 12.02.2013 - Dr. Matei Popovici - A logical method for temporal knowledge representation and reasoning
  • 31.01.2013 - Prof. Dr. Urs Andelfinger - Die wirksame Nutzung von CMMI & Co. in der industriellen Praxis; Von Sackgassen und Erfolgsfaktoren
  • 16.01.2013 - Dr. Dirk Werth - Software as a Service (Enrichment Lecture)
  • 06.12.2013 - Prof. Dr. H. Dieter Rombach - Improving Patient Safety and Risk Management through Software Engineering & Ambient Technology
  • 30.11.2012 - Prof. Dr.-Ing. Peter Liggesmeyer - Von der Sicherheitsanalyse zum Safety Engineering: Multi-Core und Co.

Vorträge im Sommersemester 2012

  • 16.07.2012 - Prof. Dr. Franziska Klügl - Multiagentensimulation - Methodik und Anwendung
  • 07.07.2012 - Prof. Dr. Jacek Blazewicz - From scheduling to DNA sequencing and backward
  • 06.07.2012 - Prof. Dr. Erik Jansen - 30 years computer graphics - towards realtime realistic rendering
  • 28.06.2012 - Claus Jungmann, Marco Grunert - Softwarearchitektur im Projekteinsatz
  • 16.04.2012 - Dr. Gerhard Pews - Ein Architekturstandard im öffentlichen Bereich: die Blaupausen der Register Factory
  • 30.05.2012 - Prof. Dr. Violeta Bozhikova - Some approaches in the field of software engineering
  • 07.05.2012 - Prof. Dr. Peter Dürr - Einsatz von Softwaretools für den politischen Meinungsbildungsprozess
  • 24.04.2012 - Prof. Dr. Kevin D. Ashley - Toward Teaching Writing and Argumentation with AI-Supported Peer Review

Vorträge im Wintersemester 2011/2012

  • 14.03.2012 - Dr.-Ing. Dipl. Inf. Christian Allmann - Forschungsprojekt e-performance
  • 06.03.2012 - Dipl.-Ing. Nils Cordes - E-Business Systeme auf der Basis offener Standards und freier Software
  • 06.03.2012 - Dipl.-Ing. Christian Senf - Standards für den elektronischen Datenaustausch in der öffentlichen Verwaltung
  • 14.02.2012 - Priv.-Doz. Dr. Rob van Stee - Eigennütziges Routing auf einem Ring
  • 14.02.2012 - Prof. Dr. Marc Toussaint - Probabilistic inference approaches to planning and reinforcement learning in structured domains
  • 14.02.2012 - Prof. Dr. Andreas Harrer - Software architecture and intelligent support of self-organised group learning processes in Metafora
  • 14.02.2012 - PD Dr. Sebastian Rudolph - Entscheidbarkeit der Beantwortung konjunktiver Anfragen in Beschreibungslogiken mit Nominalen, Inversen und Kardinalitätsbeschränkungen
  • 14.02.2012 - Prof. Dr. Sebastian Maneth
  • 13.02.2012 - Prof. Dr. Martin Lange - SMT-Based Analysis of Real-Time Systems
  • 13.02.2012 - Dr. Michaela Huhn - Formale Verifikation in der modellbasierten Entwicklung software-intensiver Systeme
  • 13.02.2012 - Ph.D. Achim D. Bruckner - Theorem Prover-based Testing
  • 13.02.2012 - Jun.-Prof. Dr. Erika Ábrahám - SAT-Modulo-Theories Solving for Real Algebra
  • 18.01.2012 - Dr. Dirk Werth - Enterprise Software-as-a-Service

Vorträge im Sommersemester 2011

  • 29.09.2011 - Dr. Clemens Szyperski - Composition as a Data Problem
  • 28.06.2011 - Dr. Koen V. Hindriks - Patterns in Agent Programming
  • 24.05.2011 - R.-C. Mihailescu, M.Sc. - An organizational approach to agent-based virtual power stations via coalitional games
  • 15.04.2011 - Prof. Dr. V.S. Subrahmanian - Social Network Optimization Problems
  • 06.04.2011 - Prof. Dr. Dr. h.c. Manfred Broy - Theorie des Software Engineering - Wofür denn?

Vorträge im Wintersemester 2010/2011

  • 09.02.2011 - Dr. Sujata Ghosh - Strategic reasoning in extensive form games: a logical study
  • 08.02.2011 - Prof. Dr. Joachim Biskup - Inference-proof view update transactions with forwarded refreshments (Vortrag zum Thema Datenbank-Sicherheit)
  • 01.02.2011 - Dr. Berndt Müller - Modern Applications of Agent Technology - Where Mobility and Resources Actually Matter
  • 25.01.2011 - Dr. Hui Ma - A Geometrically Enhanced Conceptual Data Model
  • 07.12.2010 - Dr. Marco Kuhrmann - Visual Process Model Design - Metamodeling, DSL's & PDE
  • 23.11.2010 - Prof. Dr. Bernhard Thalheim - Technology Solutions for the Next Generation Web

Vorträge im Sommersemester 2010

  • 01.07.2010 - Prof. Dr. Dirk Langemann - Qualitative mathematische Modelle zum menschlichen Energiemetabolismus
  • 27.05.2010 - Dr. Wojtek Jamroga - Variants of Strategic Logics
  • 14.04.2010 - M.I.S. M.E. Qing Wang - A Customised ASM Thesis for Database Transformations 

Vorträge im Wintersemester 2009/2010

  • 03.02.2010 - Dr.-Ing. Johannes Behr -  DOM - A DOM-based HTML5/ X3D Integration Model
  • 29.01.2010 - Prof. Dr. Cees Witteveen - Decomposition of constraint systems: Equivalences and computational properties
  • 15.12.2009 - M.Sc. Collin Lynch - Educational Datamining in Ill-Defined Domains: The case of argument diagrams
  • 30.10.2009 - Dr. Wojtek Jamroga - Description Logic Meets Coalition Logic - On Concepts, Agents, and Strategies

Vorträge im Sommersemester 2009

  • 28.09.2009 - Sascha Lange - Tiefes Reinforcement Lernen auf Basis visueller Wahrnehmungen
  • 18.08.2009 - Martin Tröschel - Aktive Einsatzplanung in holonischen Virtuellen Kraftwerken
  • 12.08.2009 - Jun.-Prof. Dr. Monique Janneck - What the customer really needed...
  • 12.08.2009 - Jun.-Prof. Dr. Niels Pinkwart - IT-Unterstützung bei der Ausbildung von Argumentationsfähigkeiten - Informatische Konzepte und empirische Ergebnisse
  • 11.08.2009 - Jun.-Prof. Dr. Volkmar Pipek - Benutzergetriebene Innovation in Unternehmensinfrastrukturen
  • 11.08.2009 - PD Dr. Thomas Mandl - Automatisierung und Prozessintegration bei der Evaluierung und Verbesserung der Nutzerfreundlichkeit von Anwendungssoftware
  • 11.08.2009 - Dr. Enrico Rukzio - Mobile Interaction with Pervasive User Interfaces
  • 11.08.2009 - Dr. Michael Kipp - Natürliche Interaktion mit virtuellen Menschen: Probabilistische Modellierung und Synthese individueller Verhaltensmuster
  • 09.07.2009 - Prof. Dr. Wojciech Penczek - Bounded Parametric Model Checking for Elementary Net Systems
  • 09.07.2009 - Prof. Dr. Uwe Leck - Restoration of Information in Distributed Databases
  • 08.07.2009 - Prof. Dr. Sebastian Link - Schlüssel und Funktionale Abhängigkeiten unter Multimengensemantik
  • 02.07.2009 - Prof. Dr. Michael S. Floater - Barycentric coordinates and interpolation
  • 30.06.2009 - Silke Lehmann - Business Modeling - Analyzing, Modeling and Optimizing our Clients business processes
  • 16.06.2009 - Thomas Knothe - Unternehmensmodellierung in der Praxis
  • 16.06.2009 - Associate Prof. Son Tran - Negotiation Using Logic Programming with Consistency Restoring Rules
  • 19.05.2009 - Dietlind Zühlke - Neural Computation in der industrienahen Anwendung der Life Science Informatik
  • 28.04.2009 - Prof. Dr. Wolf Zimmermann - Robuste Komponentensysteme durch Protokollprüfung
  • 20.04.2009 - Prof. Dr. Dirk Linowski - Algorithmische Ansätze zur Optimierung von Entwicklungshilfe- und Real-Estate-Portfolios
  • 31.03.2009 - Prof. Dr. Arndt Poetzsch-Heffter - Modeling and Verification of Open Distributed Component Systems - Are we ready for IT Ecosystems? -

Vorträge im Wintersemester 2008/2009

  • 02.03.2009 - Prof. Dr. Marc Stamminger - Parallele globale Lichtsimulation
  • 12.02.2009 - Prof. Dr. Heribert Vollmer - The Complexity of Reasoning for Fragments of Default Logic
  • 06.02.2009 - Prof. Dr. Mario Botsch - Polyhedral Finite Elements
  • 04.02.2009 - Dr. Luis Antunes - E*ploring design landscapes for social simulation
  • 16.12.2008 - Dr. Dirk Labudde - SMFS Hochdurchsatz-Messungen und die daraus folgenden Anforderungen an die BioInformatik - SMFS High-Throughput Experiments and subsequent Challenges in BioInformatics -
  • 09.12.2008 - Dr. Berndt Farwer -Petri Nets and Logics for Mobile Agent Systems
  • 08.12.2008 - Prof. Dr. H. Ulrich Hoppe - Wissensmanagement und Electronic Communities

Vorträge im Sommersemester 2008

  • 19.08.2008 - Dipl.-Inf. Petra Schneider - Relevance Matrices in LVQ
  • 15.07.2008 - Prof. Marc Alexa - The mission video out - intuitive creation and modification of shapes
  • 14.07.2008 - Dr. Marco Tarini - Scientific Visualization of Molecular Structures
  • 09.07.2008 - Prof. Dr. Heribert Vollmer - The Tractability of Model-Checking for LTL: The Good, the Bad and the Ugly Fragments
  • 01.07.2008 - Andreas Hess - Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten
  • 24.06.2008 - Prof. Dr. Wolfgang Straßer - Physikalische interaktive Formänderung von Körpern
  • 19.06.2008 - Dr. Dirk Werth - Betriebliche Informationssysteme - Spagat zwischen Zentralität und Dezentralität
  • 10.06.2008 - Dipl.-Ing. Thomas Knothe - Unternehmensmodellierung in der Praxis
  • 03.06.2008 - Dr. Wolf Ketter - Flexible Decision Support in a Dynamic Business Network
  • 03.06.2008 - Prof. Dr. Holger Theisel - Shape Deformations by Constructing and Integrating Vector Fields

Vorträge im Wintersemester 2007/2008

  • 04.02.2008 - Prof. Koen Hindriks - Action Selection Mechanisms for Agent Programming
  • 25.01.2008 - Prof. Guillermo R. Simari - On the Interplay of Defeasible Reasoning and Partial Order Planning
  • 16.01.2008 - Prof. Dr. Stefan Müller - Das RBG-Wunder
  • 18.12.2007 - Harald Klein - Collaboration Processes of Enterprises - Modeling and Formalization
  • 27.11.2007 - Dr. Frank-Michael Schleiff und PD Thomas Villmann - Fuzzy Classification and Visualization of Proteomic Spectra
  • 12.11.2007 - Dr. Elmar Dorner - Insights in SAP Research and a Glimpse on the "Semantic" Research Work
  • 09.11.2007 - Banchar Arnonkijpanich - Adaptive Second Order Self-Organzing Mapping for pattern representation und SOM based Local Inverse Mapping for parameter estimation

Vorträge im Sommersemester 2007

  • 07.08.2007 - Dr. Gerald Weber - Integrierte Zustandsmodellierung und Datenmodellierung
  • 10.07.2007 - Dipl.-Inf. Thomas Knothe - Unternehmensmodellierung in der Praxis
  • 13.06.2007 - Prof. Dr. Konrad Polthier - Global Parameterization of Surface Meshes using Branched Coverings
  • 14.05.2007 - Dr. Dirk Draheim - Dialogue Specification in a Service-Oriented Architecture
  • 25.04.2007 - Dr. Yingqian Zhang - Cooperative and selfish task allocation in agent social networks

Vorträge im Wintersemester 2006/2007

  • 13.03.2007 - Thomas Barth - Verteilte, service-orientierte Unterstützung wissensintensiver Prozesse auf Basis von PDM/PLM
  • 30.01.2007 - Jacek Malec - Active Logics - an Overview
  • 29.01.2007 - Prof. Dr. Georg Umlauf - Image and video-stream encoding using near-optimal triangulations
  • 15.01.2007 - Dr. Marina De Vos - TOAST: Applying Answer Set Programming to Superoptimisation
  • 12.12.2006 - Sebastian Bader - Logische Programme und Neuronale Netze: "The Core Method"
  • 13.11.2006 - Dr. Benjamin Hirsch - Agents and Service Oriented Architectures
  • 19.09.2006 - Prof. Alexander Smirnov - Context-Driven Driven Methodology for Operational Decision Making in Network-Centric environment
  • 14.09.2006 - Prof. Guillermo Simari - Fundamentals of Defeasible Reasoning and Argumentation

Vorträge im Sommersemester 2006

  • 18.07.2006 - Dr. Martin Lauer - Weltmeister werden! Wie Roboter Fußball spielen lernen
  • 11.07.2006 - Dipl. Ing. Thomas Knothe - Geschäftsprozessmodelle für das Unternehmensmanagement in der Anwendung
  • 04.07.2006 - Prof. Ilkka Niemelae - Bounded Model Checking using Answer Set
  • 26.06.2006 - Prof. Dr. Andreas Kolb - Einsatzpotentiale der PMD Technologie für Computer-Graphik und Computer-Vision
  • 22.06.2006 - Dr. Sebastian Sardina - Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
  • 12.06.2006 - Prof. Dr. Ulrich Reif - Analyse des Vierpunkt-Schemas
  • 12.06.2006 - Priv.-Doz.Dr.Thomas Villmann - Information optimum vector quantization
  • 15.06.2006 - Johannes Maria Zaha - Let's Dance: Eine Sprache zur Modellierung von Interaktionen in Serviceba-sierten Umgebungen
  • 19.05.2006 - Dr. Roland Müller - Integration und Konsistenzprüfung von verteilten, unscharften Daten - ein Fuzzy Logik basierter Ansatz
  • 19.05.2006 -  Dr. Andreas Wombacher - Ein Interoperabilitätskriterium für Zustandsbehafteten Dienste
  • 19.05.2006 -  Dr. Niels Pinkwart - Graphbasierte Modelle als Kooperationswerkzeuge
  • 27.04.2006 - Dr. Martin Gaedke - Föderation - Kommunikation mit dem Unbekannten
  • 27.04.2006 - Dr. Peter Langendörfer - Privatsphäre im mobilen Internet: Von Versprechungen zum Schutz
  • 27.04.2006 - Dr. Franziska Klügl-Frohnmeyer - Agentenbasierte Simulation komplexer verteilter Systeme
  • 27.04.2006 - PD Dr. Pedro José Marrón - Adaptation and Cross-Layer support for Self-Configuring Sensor Networks
  • 28.04.2006 - Dr. Ramin Yahyopour - Effizientes Ressourcen-Management in Grid Systemen
  • 28.04.2006 - Dr. Gero Mühl - Eine Selbstorganisierende Infrastruktur für Publish/Subscribe-Systeme
  • 28.04.2006 - Dr. Gerhard Weiß - Kommunikationssemantik für Agentensysteme

Vorträge im Wintersemester 2005/06

Für das laufende Semester konnten wir bislang folgende Vortragenden gewinnen:

  • 08.02.2006 - Prof. Dr. Wolfgang May -  Aktive Regeln zur Spezifikation von Verhalten im Semantic Web
  • 08.02.2006 - Dr. Ralph Schenkel -  Effizientes und effektives Information Retrieval auf heterogenen XML-Daten
  • 06.02.2006 - Dr. Thomas Agotnes -  The Logic of Coalitional Games
  • 04.02.2006 - Dr. Gabriele Taentzer -  Von Modellgetriebene Softwareentwicklung auf der Basis von Graphtransformationskonzepten und der Eclipse-Technologie
  • 04.02.2006 - Dr. Klaus Schmid -  Von Produktlinien zu adaptiven Software-Infrastrukturen
  • 04.02.2006 - Dr. Andreas Rausch -  (Thema wird kurzfristig bekannt geben)
  • 03.02.2006 - Dr. Claus Pahl -  Grundzüge und Bausteine einer Web Software Engineering Disziplin
  • 03.02.2006 - Dr. Frank Padberg -  Wie viele Fehler sind in meiner Software enthalten
  • 03.02.2006 - Dr. Alexander Knapp -  Validierung von UML-Softwareentwurfsmodellen
  • 03.02.2006 - Dr. Michaela Huhn -  Formale Analysetechniken bei der modellbasierten Entwicklung software-intensiver, eingebetteter Systeme
  • 25.01.2006 - Prof. Dr. Gerd Stumme -  Folksonomies und Soziale Netze
  • 09.01.2005 -Dr. Marc Strickert - Unveiling Data Secrets with Multidimensional Scaling Methods
  • 12.12.2005 -Frank Michael Schleif -  Fishing for bio-marker candidates in ms-data by use of Learning Vector Quantization
  • 09.12.2005 -Prof. Dr. Günther Greiner -  Computergraphische Methoden in der Medizin
  • 02.12.2005 -Prof. Dr. Gabriele Kern-Isberner - A Basic Belief Change Operation for Revision, Update, and Default Inference
  • 30.11.2005 - Prof. Dr. Karl Schlechta - Darstellungs-Sätze und Abschluss-Eigenschaften
  • 15.11.2005 - Prof. Diego Borro - Collision Detection and Haptic Devices in Virtual Reality Environments

Vorträge im Sommersemester 2005

  • 30.09.2005 - Prof. Dr. Carlos Iván Chesñevar - Argument-based Critics and Recommenders: a qualitative perspective on user support systems
  • 13.07.2005 - Prof. Dr. Pablo Fillottrani - The SEWASIE system: A multi-agent system for querying heterogenous data sources with ontologies
  • 06.07.2005 - Dr. Thomas Villmann - Prototype Based Learning Vector Quantization for Pattern Classification in Data Analysis
  • 20.06.2005 - Dr. Marcus Magnor -  Video-basierte Renderingverfahren
  • 08.06.2005 - Dr. Michael Biehl - Die Dynamik der Lernenden Vektorquantisierung
  • 27.05.2005 - Prof. Dr. Ján Šefránek - Logic program updates from the viewpoint of dependencies
  • 25.05.2005 - Prof. Dr. Theo Ungerer - CAR-SoC – Techniken für Connective Autonomic Real-time SoCs
  • 09.05.2005 - Dr. Rolf Wuertz - Organic Computing for Face and Object Recognition
  • 09.05.2005 - Prof. Dr. Marek Bednarczyk - Modeling and reasoning about mobile systems with Petri Hypernets
  • 15.04.2005 - Jonathan Ben-Naim - Preferential and Preferential-Discriminative Consequence Relations

Vorträge im Wintersemester 2004/05

  • 09.02.2005 - Prof. Dr. Christian Müller-Schloer - Von Balinesischen Wassertempeln, Ameisen und selbstmodifizierendem Code
  • 14.01.2005 - Prof. Dr. Karl Schlechta - Distanz-Semantik fuer Theorie-Revision
  • 15.12.2005 - Prof. Dr. Arndt Bode - Informationsinfrastrukturen für Hochschulen: Das Projekt IntegraTUM
  • 08.12.2004 - Dr. Elisabeth Malsch - Modeling infinite domains with finite elements
  • 19.11.2004 - Dipl.-Inf. Oliver Obst - RoboCup: Fussballroboter und Agenten