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

5 Vorträge

Bartmann :
08.07.99 ``Stastistische Ansätze für die Identifikation eines Tastaturbenutzers durch Analyse des Tippverhaltens'', Oberseminar KI/Kognition, TU München
Brauer :
18.01.99 ``Informatik - Die neue Wirklichkeit? Zum Verhältnis von Informatik und Realität.'', Vortragsreihe Technik und Ethik, TU München.
14.06.99 ``Informatik und Realität'', Vortrag im Oberseminar am Institut für medizinische Psychologie, LMU München.
12.07.99 ``Betrachtungen der Informatik'', Kolloquiumsreihe Angewandte Informatik, Katholische Universität Eichstätt.
27.10.99 ``Drei Gesichter der Informatik'', Lübecker Informatik-Kolloquium.
06.11.99 ``Mathematik und Informatik'', Herbsttagung der Mathematischen Gesellschaft in Hamburg.
Deco :
Eingeladene Vorträge:
Sept. 99 ``A Neurodynamical Model for Selective Visual Attention'', University of Birmingham, Dept. of Psychology, Birmingham, Grossbritanien.
Dez. 99 ``Neurodynamische Modellierung der selektiven visuellen Aufmerksamkeits'', Ludwig-Maximiliam-Universität, Institut für Medizinische Psychologie, München, Deutschland.

Esparza :

Eingeladene Vorträge in Tagungen, Schulen und Workshops:
März 99 ``Grammars as Processes.'', Foundations of Software Science and Computation Structures, FOSSACS '99 (Teil von ETAPS '99), Amsterdam.
Aug. 99 ``Verification with Unfoldings.'', 9th International Conference on Concurrency Theory, CONCUR '99, Eindhoven.
Sept. 99 ``Broadcast Protocols: A Case Study in Verification of Infinite-state Systems.'', Annual Conference of the European Association for Computer Science Logic, CSL '99.
Okt. 99 ``Verification with Unfoldings.'', Workshop on Temporal Logics for Distributed Systems - Paradigms and Algorithms, Schloß Dagstuhl.
Okt. 99 ``An Automata Theoretic Approach to Dataflow Analysis.'', Workshop on Finite Model Theory, Databases, and Computer-Aided Verification, Schloß Dagstuhl.
Juli 99 ``On the Verification of Broadcast Protocols.'', Logic in Computer Science, LICS 99, Trento.
In Oberseminaren:
Feb. 99 ``Broadcast Protocols.'', Max Plack Institut für Informatik, Saarbrücken.
Feb. 99 ``Verification with Unfoldings.'', Max Plack Institut für Informatik, Saarbrücken.
Feb. 99 ``Automatische Verifikation von Systemen mit unendlichen Zustandsräumen: Ein automatentheoretischer Ansatz.'', Max Plack Institut für Informatik, Saarbrücken.
Mai 99 ``Grammars as Processes.'', Graduiertenkolleg Logik in der Informatik, Ludwig-Maximilian Universität München.
Mai 99 ``Grammars as Processes.'', Obserseminar Theoretische Informatik, TU-Muenchen.
Gilsdorf :
26.05.99 ``Optimizing Routing Algorithms in Telecommunication Networks with Neural Network and Fuzzy Logic'', Vortrag auf den 6th Fuzzy Days, Dortmund.
24.11.99 ``Einsatz von Fuzzy Logik und Neuronalen Netzen in der Telekommunikation'', Friday Forum von Siemens Business Services (SBS MP 5), München.
Hochreiter :
31.05.99 ``Nonlinear ICA'', Vortrag in der ``Special Session 12'' (Einfuehrung in ICA), IEEE International Symposium on Circuits and Systems (ISCAS'99).
27.10.99 ``ICA with kernel density estimators'', Vortrag an der University of Colorado in Boulder.
Hofmann :
24.5.99 ``Eine Analyse von Posterior-Wahrscheinlichkeiten beim Strukturlernen von Bayes Netzen'', Vortrag im Oberseminar KI/Kognition, TU München.
Kiehn :
23.4.99 Halbordnungssemantiken reaktiver Systeme'', Kolloquiumsvortrag Universitaet Luebeck
13.6.99 ``Halbordnungssemantiken reaktiver Systeme'', Kolloquiumsvortrag Universitaet Bremen
13.6.99 ``Zeitautomaten'', Kolloquiumsvortrag Universitaet Bremen
Kirchmaier :
15.07.99 ``Identifikation von Hystereseffekten'', Vortrag im Oberseminar KI/Kognition.
König :
27.08.99 ``Generating Type Systems for Process Graphs'', CONCUR '99 (Concurrency Theory).
24.11.99 ``Beschreibung und Analyse reaktiver Systeme durch Hypergraph-Ersetzung'', Vortrag im Oberseminar (Universität Stuttgart, Abteilung Theoret. Informatik).
Musto :
23.04.99 ``On Spatial Reference Frames in Qualitative Motion Representation'', Vortrag im Themenkolloquium ``Systems of Reference for Spatial Knowledge''des DFG-Schwerpunkts ``Raumkognition'', Hamburg.
10.6.99 ``Räumliche Referenzrahmen in der qualitativen Bewegungsrepräsentation'', Vortrag im Oberseminar KI/Kognition, TU München.
29.07.99 ``Qualitative and Quantitative Representations of Locomotion and their Application in Robot Navigation'', Vortrag im Oberseminar KI/Kognition, TU München.
06.08.99 ``Qualitative and Quantitative Representations of Locomotion and their Application in Robot Navigation'', Vortrag auf der 16. International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Schweden.
Nickles :
25.11.99 ``Aspekte der Verarbeitung und Darstellung indefiniter Daten'', Vortrag im Oberseminar KI/Kognition, TU München.
Pompl :
4.3.99 ``Charakterisierung der Farbeigenschaften melanozytärer Hautveränderungen zur Unterstützung der Früherkennung des malignen Melanoms'', Workshop ``Bildverarbeitung für die Medizin 1999'', Heidelberg.
5.7.99 ``Computer Vision of Melanocytic Lesions using MELDOQ'', 6th Congress of the International Society for Skin Imaging, London.
Röckl :
26.03.99 ``A $\pi$ -calculus Process Semantics of Concurrent Idealised ALGOL'', FOSSACS'99.
12.05.99 ``Mechanisierung von Bisimulationsbeweisen für Kommunikationsprotokolle'', Oberseminar Theoretische Informatik.
18.06.99 ``First-Order Proofs for Higher-Order Languages'', FBT'99.
25.08.99 ``Proof-Checking Protocols Using Bisimulations'', CONCUR'99.
Rossmanith :
6.3.1999 ``Upper Bounds for Vertex Cover - Further Improved'', STACS'99.
6.12.1999 ``Learning from Random Text'', ALT'99.
Runkler :
14.9.99 ``Neuro-Fuzzy in der Altpapieraufbereitung'', 17. Sitzung VDI/VDE-GMA Fachausschuss 5.21 Neuronale Netze und Evolutionäre Algorithmen.
Steck :
04.06.99 ``Structural Learning of Bayesian Belief Networks from Limited Data'', Vortrag an der Universität Aalborg, Denmark.
08.12.99 ``Lernen in Bayes'schen Netzen'', Vortrag.
Stein :
13.02.1999 Qualitative abstraction in user interaction Vortrag auf dem Themenkolloquium Räumliche Inferenz des DFG-Schwerpunkts Raumkognition in Freiburg.
29.08.1999 Qualitative motion representation in egocentric and allocentric frames of reference Vortrag auf der Conference on Spatial Information Theory (COSIT'99) in Stade bei Hamburg.
09.12.1999 Bewegungsverarbeitung und Routenplanung Vortrag im Oberseminar KI/Kognition, TU München.
13.12.1999 Bewegungsverarbeitung und Routenplanung Öffentliches Berichtskolloquium des Graduiertenkollegs Kooperation und Ressourcenmanagement in verteilten Systemen an der TU München.
Schwoon :
19.03.1999 ``Integration von Model-Checking-Tools'', Workshop A3/A6.
13.12.1999 ``Verifikation mit endlichen und unendlichen Zustandsräumen'', GK-Kolloquium.
15.12.1999 ``Effiziente Algorithmen fuer das Model-Checking von Pushdown-Systemen'', Oberseminar Theoretische Informatik.
Taubner :
31.05.99 ``Menschen machen Projekte - Professionelle Software-Entwicklung im idustriellen Massstab'', Kolloquium KU Eichstätt.
07.12.99 ``Menschen machen Projekte - Professionelle Software-Entwicklung im idustriellen Massstab'', Kolloquium LMU.
Umkehrer :
6.12.99 ``Formalisierung von unsicherem Wissen'', Oberseminar Medizinische Psychologie.
Ungerer :
11.02.99 ``Identifying Time-Delays in Nonlinear Control Systems'', Oberseminar KI/Kognition.
18.02.99 ``Identifying Time-Delays in Nonlinear Control Systems: An Application of the Adaptive Time-Delay Neural Network'', Konferenz-Vortrag CIMCA'99, Wien.
20.05.99 ``Supporting Traditional Controllers of Combustion Engines by means of Neural Networks'', Oberseminar KI/Kognition.
25.05.99 ``Supporting Traditional Controllers of Combustion Engines by means of Neural Networks'', Konferenz-Vortrag FuzzyDays, Dortmund.
03.08.99 ``Neural Modelling in Adaptive Control'', Vortrag an der Technischen Universität Prag.
Wallner :
13.10.99 ``Model Checking LTL using Net Unfoldings'', Dagstuhl-Workshop ``Temporal Logics for Distributed Processes''.
Weiß :
Okt. 99 ``Multiagentensysteme aus Anwendersicht'', Einführungskurs, Siemens AG, München.


next up previous contents
Next: 6 Vorlesungen und Seminare Up: Tätigkeitsbericht 1999 Previous: 4 Veröffentlichungen
Felix Brandt, Montag, 9. Oktober 2000, 11:26:28 Uhr MET DST