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 Andrea Behfeld.

• 12.06.2013 - Prof. Jørgen Villadsen - On Programming Multi-Agent Systems
• 28.05.2013 - Dr. Qing Wang - Capturing Knowledge Patterns in Entity Resolution

• 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.

• 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

• 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

• 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?

• 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

• 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

• 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

• 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? -

• 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

• 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

• 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
  

• 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

• 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

• 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
  
  

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

• 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

• 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