next up previous contents
Next: 6 Vorlesungen und Seminare Up: Tätigkeitsbericht 1996 Previous: 4 Veröffentlichungen

5 Vorträge

Bartmann:
Juli 96 Oberseminar KI/Kognition: Psychometrisches Merkmal zur dynamischen Signatur und zur Benutzeridentifizierung
7.11.96 Oberseminar KI/Kognition: Demo: Identifikationssystem für Tastaturbenutzer
15.11.96 Tag der Informatik: Teilnahme mit aktuellem Poster
Brauer:
15.3.96 Grußwort des Vizepräsidenten der International Federation for Information Processing (IFIP), Festkolloquium anläßlich des 75. Geburtstags von Prof. em. habil. Dr.h.c Nikolaus Joachim Lehmann, TU Dresden
18.4.96 Präsentation der Teilprojekte der TUM im Rahmen des Verbundprojekts NERES, BMBF-Statusseminar Neuroinformatik/Künstliche Intelligenz, 17.-19.4.1996, München
19.4.96 Teilnahme am Podiumsgespräch über künftige Forschungsschwerpunkte bei dem BMBF-Statusseminars Neuroinformatik/Künstliche Intelligenz, 17.4. 96 - 19.4.96, Europäisches Patentamt München
23.4.96 ``Adaptive Modellbildung mit neuronalen Netzen und KI-Methoden''
Forumsprogramm des Gemeinschaftsstands Neurovisionen, Hannovermesse 1996
13.5.96 ``Informatik - Intelligenz, Formalisierung, Technik''
Festvortrag bei dem Eröffnungskolloquium der DFG-Forschergruppe Petrinetz-Technologie, Humbolt-Universität, Berlin
25.8.96 ``Wege ins Hirn -- und wieder hinaus''
Arbeitstagung ``Wege ins Hirn - Bündelung der Forschungskräfte'', 24.31.8.1996, Kloster Seeon (Bayern)
29.11.96 ``Tendenzen in der Informatik''
Dankesrede für die Verleihung der Ehrendoktorwürde des Fachbereichs Informatik der Universität Hamburg
Bücherl:
20.9.96 GK-Doktoranden- und Berichtskolloquium: ``Ein logikbasierter Ansatz zur Modellierung kooperierender Agenten''
14.11.96 Oberseminar KI/Kognition: Ein logikbasierter Ansatz zur Modellierung kooperierender Agenten
Butz:
28.02.96 Lehrstuhlvortrag: Theoretische Betrachtungen zum RBF-Schwerpunktnetz
Esparza:
Vorträge in Workshops und Sommerschulen:
7.5.96 An improvement of McMillan's unfolding algorithm. Dagstuhl, Semantics of Concurrent Systems
30/31.8.96 More Infinite Results, INFINITY Workshop, Pisa
14-18.12.96 Decidability and Complexity of Petri Net Problems, Advanced Course on Petri Nets, Schloss Dagstuhl
5.12.96 Model-Checking Pushdown Automata, Colloquium on Computability, Complexity and Logic. Universität Stuttgart
Vorträge in Oberseminaren:
April 96 Model Checking Using net Unfoldings. VERIMAG, Grenoble
April 96 Decidability of Bisimulation Problems for Petri Nets. VERIMAG, Grenoble
11.6.96 Ein effektives Tableau-Verfahren für den linearen tex2html_wrap_inline2440 -Kalkül. Universität Hildesheim
12.6.96 Eine Verbesserung von McMillans Entfaltungalgorithmus. Universität Giessen
September 96 Checking Systems Properties Using Linear Programming. VERIMAG, Grenoble
Voträge in Tagungen:
März 96 An improvement of McMillan's unfolding algorithm. TACAS 96
Juli 96 An effective tableau-system for the linear time mu-calculus, ICALP 96, Paderborn
Hernández:
25.03.96 Kommentar zu Pylyshyns ``The Role of Visual Indexes in Spatial Vision and Imagery'', AAAI 1996 Spring Symposium on Cognitive and Computational Models of Spatial Representation, 25.03.-27.03.1996 Stanford, USA
11.04.96 Eingeladener Vortrag ``Qualitative Beschreibung des Freiraumes'', Workshop ``Propositionale und analoge Modelle zur Perspektive in Sprache und Raum'', Berlin
10.06.96 Projektvorstellung ``Qualitative Repräsentation von Bewegungsverläufen: Kognitive und Psychophysische Grundlagen'', 1. Kolloquium DFG SPP ``Raumkognition'', Bonn
10.07.96 Eingeladener Vortrag ``Weniger ist mehr: Qualitative Darstellung des Raumes'', Informatikkolloquium der Universität Ulm
25.07.96 ``Raumkognition: Repräsentation und Verarbeitung räumlichen Wissens'', Informatikkolloquium der Fakultät für Informatik der TU München
Hochreiter:
23.05.96 Oberseminar KI/Kognition: Bayes/Gibbs-Lernverfahren und das Bias-Varianz-Dilemma
17.07.96 Oberseminar KI/Kognition: Long Short-Term Memory
4.12.96 Spotlight Vortrag ``LSTM can Solve Hard Long Time Lag Problems'' (Advances in Neural Information Processing Systems 9)
6.12.96 ``Flat Minima'', Vortrag im Workshop über ``Model Complexity'', NIPS*96 Konferenz (Advances in Neural Information Processing Systems 9)
7.12.96 ``Long Short-Term Mermory'', Vortrag im Workshop über ``Dynamic Recurrent Nets'', NIPS*96 Konferenz (Advances in Neural Information Processing Systems 9)
6.12.96 ``Weight guessing and LSTM'', Sintra 96 Workshop (Spatiotemporal models in biological and artificial systems)
Mayr:
31.7.96 Oberseminar Theoretische Informatik: A Tableau System for Petri Nets and the Linear Time mu-Calculus
21.10.96 Berichtskolloquium des Graduiertenkollegs: Model Checking
und Bisimulation
Melzer:
18.12.96 Oberseminar Theoretische Informatik: Model Checking LTL (Teil 1)
Menden:
8.10.96 Proving Properties of PVM Applications, EuroPVM '96
Musto:
19.12.96 Oberseminar KI/Kognition: Überlegungen zur qualitativen Repräsentation von Bewegungsverläufen (Diskussionsbeitrag)
Röckl:
12.6.96 Oberseminar Theoretische Informatik: Charakterisierung von Halbordnungssemantiken durch Beweissysteme
Römer & Melzer:
4./5.10.96 Synchronisierende Automaten in PEP, 3. Workshop Algorithmen und Werkzeuge für Petrinetze; Universität Karlsruhe
Rossmanith:
8.2.96 Fast Routing and Sorting on Mesh Connected Processor Arrays with Diagonal Connections. Gemeinsames Informatik Kolloquium der Friedrich-Alexander Universität Erlangen und der TU München
22.3.96 Faster Sorting and Routing on Grids with Diagonals. Hokkaido University, Sapporo
18.4.96 Faster Sorting and Routing on Grids with Diagonals. Kyushu University, Fukuoka
24.7.96 Oberseminar Theoretische Informatik: Schnelles Lernen von One-Pattern Sprachen
16.10.96 Efficient Computation of Descriptive One-Varible Patterns. Informatik Kolloquium der Ungarischen Akademie der Wissenschaften und der Joszef Attila Universität, Szeged
Ruge:
SS 96 Oberseminar KI/Kognition: Linguistik als Naturwissenschaft
Scheler:
Juni 96 Neuronale Semantik: Prinzipien und Resultate, Oberseminar KI/Kognition
Juni 96 Konnektionistische Semantik: Interpretation und Generierung semantischer Funktionen, CIS, München
August 96 Sprachverarbeitung und Hirntheorie, Workshop Kloster Seeon
Sturm:
Juni 96 Self-organizing Process State Detection for On-line Adaptation Tasks, Tagung Engineering Applications of Neural Networks (EANN'96), London, vom 17. bis 19. Juni 1996
Weiß:
8.2. 96 Learning in multiagent systems - A DAI perspective. Vortrag. Meeting ,,Collaborative Learning`` im Rahmen des Programms ,,Learning in Humans and Machines`` der European Science Foundation (Samoens, Frankreich, 7.2.-11.2.1996).
26.6.96 Lernen in Mehragentensystemen. Vortrag. Graduiertenkolleg ,,Kooperation und Ressourcenmanagement in verteilten Systemen`` der TUM
16.12.96 Multiagent learning. Vortrag. Department of Information Science, Kyoto University
12./13.3.96 Lernen in Mehragentensystemen. Kurs. Frühjahresschule Künstliche Intelligenz (KIFS) (Mönne am Günnesee, 9.3.-13.3.1996).


next up previous contents
Next: 6 Vorlesungen und Seminare Up: Tätigkeitsbericht 1996 Previous: 4 Veröffentlichungen

Gerhard Müller, Alexandra Musto, Mon Jul 21 21:46:51 MET DST 1997