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

5 Vorträge

Bartmann:
25.09.97 ``PSYLOCK - Identifikation eines Tastaturbenutzers durch Analyse des Tippverhaltens'', Vortrag auf der 27. Jahrestagung der Gesellschaft für Informatik in Aachen.
06.11.97 ``Mustererkennung - statistische und neuronale Ansätze'', Oberseminar KI/Kognition.
Brauer:
27.01.97 ``Wie real kann Informatik sein?'', Vortragsreihe ``Perspektiven der Informatik'', IFP Sozialgeschichte der Informatik, Technische Universität Berlin.
15.04.97 ``Computational Intelligence'', Vortrag auf der Hannovermesse '97.
24.05.97 Opening and Welcome Address der ``6th International IFIP Conference on Women, Work and Computerization'', Bonn.
23.06.97 ``Computational Intelligence and Formal Reasoning'', Vortrag auf dem Symposium on Spatial Cognition and Soft Computing, Universität Hamburg.
07.07.97 Opening Address auf der ICALP'98, 24th Conference of EATCS and Silver Jubilee of EATCS, Universität Bologna.
07.08.97 ``Computational Intelligence and Formal Reasoning'', Marktoberdorf Summer School on Computational Logic.
28./29.8.97 4 Vorträge über Compuational Intelligence, Universidad Federal de Rio Grande do Sul, Porto Alegre, Brasilien.
23.10.97 ``Betrachtungen der Informatik'', Vortrag im Kolloquium des Leipziger Informatik-Verbundes, Universität Leipzig.
03.11.97 ``Hybride Intelligenz'', Vortrag auf dem Festkolloquium zu Ehren von Prof. Dr. Dr. h. c. W. Brauer anläßlich seines 60. Geburtstags, Universität Hamburg.
Esparza:
Eingeladene Vorträge in Tagungen, Schulen und Workshops:
23.03.97 ``Decidability and Complexity of Model-Checking Problems for Infinite-State Systems'', European School of Computer Science Methods and Tools for the Verification of Infinite-State Systems, Grenoble.
26.03.97 ``Model-Checking Pushdown Automata'', 13th British Colloquium on theoretical Computer Science, Sheffield.
25.06.97 ``Verification with 1-safe Petri nets'', 18th International Conference on Applications and Theory of Petri nets, Toulouse.
1997 ``Model-Checking Pushdown Automata'', IFIP Working Group 2.2 Annual Meeting, Graz, 1997.
In Oberseminaren:
10.01.97 ``Model-Checking für Kellerautomaten'', Technische Hochschule Aachen.
11.03.97 ``Decidability and Complexity of Petri Net Problems'', University of Aizu (Japan).
04.12.97 ``Eine Verbesserung von McMillans Entfaltungalgorithmus'', Universität Augsburg.
19.12.97 ``Verification with 1-safe Petri nets'', Universität Magdeburg.
Hernández:
24.07.1997 ``A refined model of qualitative distance'', Oberseminar KI/Kognition.
28.11.1997 ``Where does QSR fit in real GIS?''. Spacenet Meeting, Dagstuhl.
Hochreiter:
03.07.97 ``Lococode'', Oberseminar KI/Kognition.
05.12.97 ``Low-complexity coding and decoding'', Vortrag im Workshop über ``autoassociators/autoencoders'' auf der NIPS*97 Konferenz (Advances in Neural Information Processing Systems 10).
Kirchmaier:
29.01.97 ``Einführung neuronale Netze'', ACON NeuroWorkshop.
29.01.97 ``Funktionsapproximation mit Multilayer Perceptrons und RBF-Netzen'', ACON NeuroWorkshop.
Mader:
22.01.97 ``Model Checking im modalen mu-Kalkül und Boolesche Gleichungssysteme'', Vortrag im Oberseminar Theoretische Informatik.
Mayr:
29.01.97 ``Model Checking PA-Processes'', Vortrag im Oberseminar Theoretische Informatik.
25.04.97 ``Polynomial Approximation Schemes for Euclidean TSP and Related Problems'', GI-Forschungsseminar Beweisverifikation und Approximationsalgorithmen, Dagstuhl.
Melzer:
29.10.97 ``Verification of Parallel Systems Using Constraint Programming'', Vortrag auf Principles and Practice of Constraint Programming (CP'97)
Menden:
25.06.97 ,,Vorschlag einer Erweiterung der Kripke Struktur für 1st-order Temporal Logic``, Oberseminar Theoretische Informatik.
Musto:
26.02.97 ``Qualitative Repräsentation von Bewegungsverläufen -- kognitive und psychophysische Grundlagen'', 2. Kolloquium des DFG-Schwerpunkts ``Raumkognition'' in Bonn.
22.05.97 ``Einführung in die Typtheorie'', Oberseminar KI/Kognition.
27.06.97 ``Qualitative Repräsentation von Bewegungsverläufen'', Themenkolloquium ``Qualitative und metrische Verfahren zur räumlichen Inferenz und Bewegungsanalyse'' an der TU Berlin.
1.10.97 ``Qualitative Representation of the Course of Motion: Cognitive and Psychophysical Foundations'', 3. Kolloquium des DFG-Schwerpunktes Raumkognition an der Universität Trier.
Ormoneit:
April 1997 ``Modeling Conditional Skewness, Kurtosis and Recurrent Dynamics of Financial Time Series'', Workshop ``Machines that Learn'' in Snowbird/Utah.
Römer:
19.02.97 ``Synchronisierende Automaten in PEP'', Vortrag im Oberseminar Theoretische Informatik.
Rossmanith:
1.10.97 ``A New Analysis of Lange and Wiehagen's Algorithm'', Kyushu University, Fukuoka, Japan.
7.10.97 ``Learning one-variable pattern languages very efficiently on average, in parallel, and by asking queries'', ALT'97, Sendai, Japan.
Ruge:
Juli 1997 Tutorial ``Information Retrieval from a Linguist's Perspective'' auf der ACL Jahrestagung im Juli 1997 in Madrid.
16.06.97 ``Künstliche semantische Merkmale'', Institut fuer Psychologie der Uni Paderborn.
Scheler:
12.06.97 ``Feature-based Perception of Semantic Concepts'', ICSI, Berkeley.
10.08.97 ``The many functions of discourse particles: A computational model'', Cognitive Science Society Meeting, Stanford.
4.10.97 ``Constructing semantic representations using the MDL principle'', HELNET, Montreux, Schweiz.
Scherf:
März 1997 ``A New Approach to Feature Selection'', Kurzvortrag und Posterpräsentation auf der AIME'97 (Artificial Intelligence in Medicine) in Grenoble.
Sept. 1997 ``Classification of Perimetry Data using RBF Networks'', Vortrag auf der CIS'97 (Computer Integrated Surgery) in Linz.
Sept. 1997 ``Improving RBF Networks by Feature Selection'', Vortrag bei der Siemens AG München.
Okt. 1997 ``Improving RBF Networks by the Feature Selection Approach EUBAFES'', Vortrag auf der ICANN'97 (International Conference of Artificial Neural Networks) in Lausanne.
Schlieder:
08.11.97 ``Diagrammatic transformation processes on relational maps'', Vortrag auf dem AAAI Fall Symposium on Reasoning with Diagrammatic Representations, MIT, Cambridge, MA.
04.12.97 ``Räumliche Constraints'' Vortrag im Oberseminar KI/Kognition, TU München.
Sturm:
29.01.97 ``Neuronale Netze: Verhalten an Unstetigkeitsstellen und Lernen dynamischer Nichtlinearitäten'', ACON NeuroWorkshop.
19.06.97 ``The ACON Model Classes'', Oberseminar KI/Kognition.
Stubert:
07.11.97 ``Grundlegende Algorithmen des CTL-Model-Checking'', Vortrag im Graduiertenkolleg ``Logik in der Informatik'' der LMU und TUM.
21.11.97 ``Charakterisierung allgemeinster Gewinnstrategien von deterministischen Büchi-Spielen durch Strong-Fairness-Bedingungen'', Vortrag im Graduiertenkolleg ``Logik in der Informatik'' der LMU und TUM.
28.11.97 `` Charakterisierung allgemeinster Gewinnstrategien von deterministischen Büchi-Spielen durch Strong-Fairness-Bedingungen'', Vortrag an der Universität Erlangen, Lehrstühle für Theoretische Informatik und Künstliche Intelligenz.
Sunesen:
12.02.97 ``Behavioural Equivalences for Infinite Systems - Partially Decidable!'', Vortrag im Oberseminar Theoretische Informatik.
Wallner:
08.01.97 ``Model Checking LTL'', Oberseminar Theoretische Informatik.
24.06.97 ``Deadlock Checking Using Net Unfoldings'', CAV '97, Haifa
01.07.97 ``Model Checking LTL using Net Unfoldings'', Vortrag am IBM Research Department, Haifa.
Weiß:
Jan. 1997 ``Agents that learn from interaction'', Department of Computer Science, University of Stockholm.
Juli 1997 ``Future research on multiagent learning'', 14th National Conference on Artificial Intelligence (AAAI-97).


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

Alexandra Musto, Fri Jun 26 15:46:55 MET DST 1998