Herzlich Willkommen > Forschung > Informatik-Kolloquium
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 Andrea Behfeld.
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
© TU Clausthal 2010 · Impressum