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

5 Vorträge

Bartmann :
02.04.98 ``PSYLOCK - Identifikation eines Tastaturbenutzers durch Analyse des Tippverhaltens'', Vortrag auf dem 7. Deutschen EDV-Gerichtstag in Saarbrücken.
Brauer :
09.01.98 ``Neuronale Netze'', Arbeitstreffen mit den Fakultäten für Brauwesen sowie für Landwirtschaft an der TU-München.
28.01.98 ``Modellierung hybrider Systeme - Computational Intelligence oder formale Methoden?'', Informatik-Kolloquium, Technischen Univiversität Berlin.
11.03.98 ``Der Computer: Rechner, Denker, ... Medium?'', Vortrag auf dem Festkolloquium zur Ehrenpromotion von Prof. Dr. J. Weizenbaum (MIT), Universität Bremen.
31.03.98 ``Informatik-Ausbildung warum?'', Workshop-Einführung, Leitung einer Arbeitsgemeinschaft. GI-Tagung ``Informatik und Ausbildung'', Stuttgart.
01.04.98 ``Informatik = Kommunikation mit Computern?'', Workshop ``Informatische Bildung als Medienerziehung'', GI-Tagung ``Informatik und Ausbildung'', Stuttgart.
06.05.98 ``Neuronale Netze für die Regelungstechnik'', Informatik-Kolloquium, Universität Ulm.
11.09.98 ``Künstliche Neuronale Netze'', Festvortrag Humboldt-Kolloquium, Belgrad.
20.09.98 ``Raumkognition'', Kolloquium des Graduiertenkollegs ``Sensorische Interaktion in biologischen und technischen Systemen'', Klinikum Großhadern der Ludwig-Maximilians-Universität München.
16.10.98 ``Informatik - Intelligenz, Formalisierung, Technik'', Festkolloquium 20 Jahre Informatik an der Universität Bremen.
13.11.98 ``Hybride Intelligenz'', Festkolloquium zur 25-Jahr-Feier der Informatik an der Fachhochschule Hamburg.
27.11.98 ``Betrachtungen der Informatik'', Kolloquium zur Eröffnung des Instituts für Interdisziplinäre Informatik, Univ. Augsburg.
03.12.98 Laudatio zur Verleihung der Ehrendoktorwürde der TU-München an Prof. Dr. H. Langmaack, Kiel.
Esparza :
Eingeladene Vorträge in Tagungen, Schulen und Workshops:
März 98 ``Verification Using Unfoldings'', International Conference on Application of Concurrency to System Design, Aizu (Japan).
Aug. 98 ``Verification with Partial Orders'', MFCS '98 Workshop on Concurrency, Brno.
Sept. 98 ``Process Rewrite Systems'', 8. Theorietag der GI-Fachgruppe ``Automatentheorie und Formale Sprachen'', Trier.
In Oberseminaren:
Feb. 98 ``Model-Checking für Kellerautomaten'', Max-Planck-Institut für Informatik.
April 98 ``École Normal Supérieur de Cachan'' (Paris).
Okt. 98 ``Verification with Unfoldings'', Universität Paris XII.
Dez. 98 ``Automatische Verifikation von Systemen mit unendlichen Zustands-
räumen: Ein automatentheoretischer Ansatz'', Christian-Albrecht Universität zu Kiel.
Hochreiter :
12.02.98 ``LOCOCODE'', Vortrag im ``Workshop on Computational Neuroscience and Generative Models'', Universität Toronto, Gruppe um Geoff Hinton.
19.11.98 ``LOCOCODE versus PCA and ICA'', Vortrag im Oberseminar KI/Kognition, TU München.
Kirchmaier :
27.04.98 ``Neuronale Netze mit neuroninterner Dynamik'', Vortrag im Rahmen der Projektbegutachtung ACON.
18.06.98 Hysterese als Speicherkonzept - das Preisach Modell'', Vortrag im Oberseminar KI/Kognition, TU München.
Mayr :
09.02.98 ``Process Rewrite Systems'', LORIA, Nancy, France.
11.02.98 ``Process Rewrite Systems'', ENS de Cachan, Paris, France.
26.03.98 ``Decidability and Complexity of Model Checking Problems for Infinite-State Systems'', Aarhus, Denmark.
27.03.98 ``Decidability and Complexity of Model Checking Problems for Infinite-State Systems'', Aalborg, Denmark.
April 98 ``Process Rewrite Systems'', Universität Dortmund, Germany.
13.05.98 ``Deciding Weak Bisimilarity of Infinite-State Systems and Finite-State Systems by Model Checking'', Oberseminar Theoretische Informatik, TU München.
18.07.98 ``Reachability is decidable for ground AC rewrite systems'', INFINITY'98, Aalborg, Denmark.
27.08.98 ``Strict Lower Bounds for Model Checking BPA'', Workshop on Concurrency, MFCS'98, Brno, Czech Republic.
11.11.98 ``Lossy Counter Machines'', Oberseminar Theoretische Informatik, TU München.
16.12.98 ``Lossy Counter Machines'', Journees Modelisation et Verification, Marseille, France.
Musto :
Aug. 98 ``Generalization, Segmentation, and Classification of Qualitative Motion Data'', Vortrag auf der 13th European Conference on Artificial Intelligence (ECAI-98) in Brighton.
Pompl :
16.09.98 ``Charakterisierung der Berandungseigenschaften melanozytärer Hautveränderungen zur Unterstützung der Früherkennung des malignen Melanoms'', Vortrag auf der 43. Jahrestagung der gmds, Bremen.
Prensa Nieto :
06.10.98 ``The Owicki/Gries Method in Isabelle/HOL'', Vortrag auf dem Deduktionstreffen der GI.
13.11.98 ``The Owicki/Gries Method in Isabelle/HOL'', Vortrag zum Kolloquium des Graduiertenkollegs ``Logik in der Informatik''.
Römer :
10.03.98 ``Effiziente Implementierung Petrinetz-basierter Verfahren am Beispiel des McMillan-Algorithmus'', Vortrag an der Universität Dortmund.
Rossmanith :
31.03.98 ``How fast can we learn?'', Vortrag am Center for Discrete Mathematics, Theoretical Computer Science and Applications (DIMATIA), Charles University Prague.
11.12.98 ``A faster algorithm for Vertex Cover'', Vortrag am Wilhelm-Schickard-Institut für Informatik, Universität Tübingen.
Scherf :
29.01.98 ``EUBAFES - ein Ansarz zur distanzbasierten Merkmalsselektion'', Oberseminar KI/Kognition.
28.06.98 ``EUBAFES - ein Ansatz zur distanzbasierten Merkmalsselektion mit Anwendungsbeispielen aus der medizinischen Diagnostik'', Seminar medizinische Statistik, GSF.
29.10.98 ``Distanzbasierte Merkmalsbewertung'', Promotionsvortrag TU München.
Schlieder :
27.01.98 ``Räumlich-relationale Inferenz aus algorithmischer und kognitiver Sicht'', Vortrag am Institut für semantische Informationsverarbeitung der Universität Osnabrück
05.02.98 ``Räumliches Denken'', Oberseminar KI/Kognition, TU München
30.04.98 ``Räumliches Denken aus kognitionswissenschaftlicher Perspektive'', Kolloquium des Graduiertenkollegs Kognitionswissenschaft der Universität Hamburg
07.07.98 ``Formale und mentale Diagramme'', Forschungskolloquium KI der TU Berlin
16.12.98 ``Diagrammatische Repräsentation'', Habilitationskolloquium am FB Informatik der Universität Hamburg
Sturm :
25.06.98 ``Lokale Modellauswahl anhand von Regelbasen'', Oberseminar KI/Kognition, TU München.
Stutz :
02.07.98 ``Fuzzy-Clustering für die Funktionsapproximation'', Oberseminar KI/Kognition, TU München.
Ungerer :
26.02.98 ``Neuronale Modellierung von Totzeiten in nichtlinearen dynamischen Systemen'', Oberseminar KI/Kognition, TU München.
Wallner :
27.05.98 ``Model Checking of Logics for Communicating Sequential Agents'', Oberseminar Theoretische Informatik, TU München.
30.06.98 ``Model Checking LTL using Net Unfoldings'', Vortrag auf der 10th Intern. Conf. on Computer-Aided Verification (CAV'98):
Weiß :
Okt. 98 ``Anwendungen von Mehragentenlernen'', Siemens AG, München.
Nov. 98 ``Agenten und Anwendungen'', Siemens AG, München.
Mai 98 Konferenzvortrag: Agents'98.
Juli 98 Konferenzvortrag: ICMAS'98.


next up previous contents
Next: 6 Vorlesungen und Seminare Up: Tätigkeitsbericht 1998 Previous: 4 Veröffentlichungen
Alexandra Musto, Tue Jul 13 15:19:24 MET DST 1999