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

5 Vorträge

Bartmann :
20.07.00 ``Benutzerauthentisierung durch Analyse des Tippverhaltens mit Hilfe einer Kombination aus statistischen und neuronalen Verfahren'', Oberseminar KI/Kognition, TU München
Brandt :
20.01.00 ``Joas Handlungstheorie'', Oberseminar KI/Kognition, TU München.
Brauer :
10.06.00 ``Developments, aspects and methods of informatics'', Conference on Socionics, DFG-Schwerpunktprogramm Sozionik, Kloster Seeon, Bayern.
26.06.00 Grußworte zum Festkolloquium anläßlich der Verleihung der Ehrendoktorwürde an Lotfi A. Zadeh. Hamburg.
12.07.00 ``Betrachtung der Informatik'', Kolloquiumsreihe ``Angewandte Informatik'', Katholische Universität Eichstätt.
31.03.00 ``Elektronische Helfer beim Wissenstransfer'', Ladenburger Diskurs ``Wissenstransfer und Wissensgesellschaft'', Daimler-Benz-Stiftung, Ladenburg.
13.10.00 ``Algorithmen, Funktionen, Sprachen (Laudatio für Klaus Indermark)'', Festkolloquium zum sechzigsten Geburtstag von Prof. Dr. K. Indermark, RWTH Aachen.
Esparza :
02/00 ``Grammars as Processes'', Workshop on Model Checking and Program Analysis, Schloß Ringberg.
02/00 ``Grammars as Processes'', Technische Universität Dresden.
03/00 ``Grammars as Processes'', University Paris VII.
03/00 ``LTL Model-Checking with Unfoldings'', University Paris VII.
03/00 ``Computing pre* and post* for the PA-algebra, with applications to dataflow analysis'', University Paris VII.
06/00 ``Broadcast Protocols: A Case Study in Verification of Infinte-state Systems'', Modelling and Verification of Parallel Processes, MOVEP '2k, Nantes.
07/00 ``Verification of Broadcast Protocols'', Workshop on Verification in Computational Logic, satellite Workshop of CL '00, London.
07/00 ``Broadcast Protocols'', Bell Labs, Naperville.
Gilsdorf :
10.02.00 ``Optimierung von Routing Algorithmen in Telekommunikationsnetzen mit Neuralen Netzen und Fuzzy Logic, Ergebnisse des 1. Modells'', Oberseminar KI/Kognition, TU-München.
10.04.00 ``Optimierung von Routing Algorithmen in Telekommunikationsnetzen mit Neuralen Netzen und Fuzzy Logic'', incl. kleine Einführung in die Fuzzy Logik, Deutsche Telekom, Regensburg.
23.11.00 ``Training a Fuzzy Rule Base for Route Weighting in Telecommunication Networks'', Oberseminar KI/Kognition, TU-München.
Hochreiter :
20.06.00 ``An electric field approach to independent component analysis'', Vortrag bei der ICA 2000. Helsinki, Finland
26.06.00 ``A sample-based criterion for unsupervised learning of probability distributions'', Oberseminar KI/Kognition, TU-München.
29.11.00 ``Beyond maximum likelihood and density estimation: A sample-based criterion for unsupervised learning of complex models'', Spotlight-Vortrag bei der NIPS 2000. Vancouver, Kanada.
Holzer :
02.03.00 ``On the Complexity of Multi-Linear Algebra'', Oberseminar Informatik, Universität Gesamthochschule Kassel, Fachbereich 17, Mathematik/Informatik.
06.04.00 ``An Overview on Auxiliary Pushdown and Stack Automata'', Departmental Seminar, Queen's University, Department of Computing and Information Science, Kingston, Ontario, Kanada.
17.04.00 ``An Overview on Auxiliary Pushdown and Stack Automata'', Seminaire du DIRO, Université de Montréal, Montréal, Québec, Kanada.
12.05.00 ``An Overview on Auxiliary Pushdown and Stack Automata'', Colloquium Series, Department of Computer Science, Middlesex College, The University of Western Ontario, London, Ontario, Kanada.
04.07.00 ``The Complexity of Tensor Calculus'', Conference on Computational Complexity, Florenz, Italien.
07.07.00 ``Cooperating Distributed Grammar Systems with Exhausting Resources'', Workshop on Grammar Systems, Bad Ischl, Österreich.
28.07.00 ``On the State Complexity of k-Entry Deterministic Finite Automata'', Workshop on Descriptional Complexity of Automata, Grammars and Related Structures, London, Ontario, Kanada.
29.08.00 ``Alternating and Empty Alternating Auxiliary Stack Automata'', 25th Conference on Mathematical Foundations of Computer Science, Bratislava, Slovakische Republik.
26.09.00 ``TANTRIX TM Rotation Puzzles are Intractable'', 10. Theorietag der GI-Fachgruppe ,,Automaten und formale Sprachen``, Wien, Österreich.
12.12.00 ``On Tensor Formula and Circuit Evaluation'', Kolloquium über Angewandte Mathematik, Institut für Numerische und Angewandte Mathematik, Georg-August-Universität Göttingen.
Kirchmair :
06.07.00 ``Identifying Hysteresis Using Neurons with Memory of Preisach Type'', Oberseminar KI/Kognition, TU-München.
19.07.00 ``Identifying Hysteresis Using Neurons with Memory of Preisach Type'', Konferenzvortrag EANN 2000
König :
26.03.00 ``Hypergraph Construction and its Application to the Compositional Modelling of Concurrency'', GRATRA '00 Berlin.
04.04.00 ``Generic Type Systems for Mobile Processes'', Workshop Verification of Infinite-state Systems, Dagstuhl.
11.07.00 ``Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System'', ICALP '00, Genf.
15.07.00 ``A Graph Rewriting Semantics for the Polyadic Pi-Calculus'', Workshop on Graph Transformations and Visual Modelling Techniques (GT-VMT), Genf.
30.10.00 ``Type Systems for Graph Rewriting'', Università di Pisa.
14.12.00 ``A General Framework for Types in Graph Rewriting'', FST TCS, Neu-Delhi.
Musto :
18.05.00 ``Spatiotemporale Repräsentationen: Experimente und Modellierung'', Oberseminar KI/Kognition, TU-München.
05.06.00 ``Spatiotemporale Repräsentationen: Experimente und Modellierung'', Plenarkolloquium des Schwerpunktprogramms Raumkonition, Tutzing.
16.11.00 ``Design Patterns'', Oberseminar KI/Kognition, TU-München.
30.11.00 ``Qualitative Repräsentation von Bewegungsverläufen'', Oberseminar KI/Kognition, TU-München.
18.12.00 ``Qualitative Repräsentation von Bewegungsverläufen'', Promotionsvortrag, TU-München.
Nickles :
20.01.00 ``Luhmanns Theorie autopoietischer Systeme'', Oberseminar KI/Kognition, TU München.
21.02.00 ``Informatische Aspekte des linguistischen Datenbankprojekts Allgemein-Vergleichende Grammatik (AVG) 2.0'', Vortrag im Oberseminar Computational Logic am Lehrstuhl Prof. Bry, Institut fuer Informatik, Universität München.
12.06.00 ``Agentengesellschaften ohne Agenten? Unterwegs zu einer Luhmann'schen Sozionik'', Socionics Workshop, Seeon.
29.09.00 ``Systemtheoretische Sozionik'', Projekttreffen Sozionik, Konstanz.
Röckl :
06.04.00 ``Proof-Checking Bisimulations'', Dagstuhl-Seminar Verification of Infinite-State Systems.
10.05.00 ``Über die Prozeßanalyse in Higher Order Abstract Syntax'', Oberseminar Theoretische Informatik.
24.05.00 ``Analyser la syntaxe du $\pi$ -calcul dans une formalisation d'ordre supérieure'', INRIA Sophia-Antipolis.
22.06.00 ``Proving Write-Invalidate Cache Coherence with Bisimulations in Isabelle/HOL'', FBT'00, Lübeck.
11.08.00 ``On Formal Frameworks for Languages with Binders'', BRICS, Aalborg, Dänemark.
28.08.00 ``On the Mechanized Verification of Infinite Systems'', SFB 342 Final Colloquium, TUM.
11.09.00 ``Higher-Order Formalizations of Languages with Binders'', KTH, Kista, Schweden.
03.10.00 ``Bisimulation-Based Verification of Infinite-State Systems in a General-Purpose Theorem-Prover'', EPFL, Lausanne, Schweiz.
Rovatsos :
08.06.00 ``Layered Learning in Repeated Games'', Oberseminar KI/Kognition, TUM.
29.09.00 ``Pragmatistische Sozionik'', Projekttreffen Sozionik, Konstanz.
Runkler :
13.01.00 ``Information Mining'', Informatik-Kolloquium der Technischen Universität München.
Schröter :
11.10.00 ``Reachability Analysis Using Net Unfoldings'', Workshop of Concurrency, Specification & Programming, Humboldt-Universität, Berlin.
07.11.00 ``The Model Checking Kit'', First ADVANCE meeting, University of Paris (LIAFA).
Schwoon :
05.04.00 ``Efficient Algorithms for Model-Checking Pushdown Systems'', Seminar Verification of Infinite-state Systems, Dagstuhl.
19.07.00 ``Efficient Algorithms for Model-Checking Pushdown Systems'', CAV 2000, Chicago.
31.10.00 ``Verification problems for pushdown systems'', Informatics Colloquium, Brünn.
06.11.00 ``A BDD-based model-checker for programs with recursive procedures'', 1st Advance meeting, Paris.
06.12.00 ``Ein Model-Checker für rekursive Programme'', Oberseminar, TU München.
Steck :
13.03.00 ``Structural Learning in Bayesian Networks and Model Uncertainty: A Search Strategy'', HSSS Workshop, Ludwig Maximilians University of Munich, Germany.
22.08.00 ``On a Non-Local Search Strategy for Learning in Bayesian Networks'', ECAI Workshop on Bayesian and Causal Networks, Humboldt University, Berlin, Germany.
14.12.00 ``Finite Data and the Constraint-Based Approach to Structural Learning in Bayesian Networks'', Seminar, University of Pavia, Italy.
Stein :
20.07.00 A Computational View on Frames of Reference in Motion, Oberseminar KI/Kognition, TU-München.
21.08.00 A Computational View on Frames of Reference in Motion, Workshop: Current Issues in Spatio-Temporal Reasoning, ECAI 2000, Berlin.
Ungerer :
13.7.00 ``Identifying Time-Delays using Neural Networks'', Oberseminar KI/Kognition, TU-München.
14.7.00 ``Neuronale Modellierung in der Regelungstechnik'', Universität München.
18.7.00 ``Identifying Time-Delays using Neural Networks'', EANN2000, London.
Weiß :
09.07.00 ``Task assignment in multiagent systems based on Vickrey-type auctioning and leveled commitment contracting'', CIA-2000, Boston.
09.07.00 ``An Architectural Framework for Integrated Multiagent Planning, Reacting, and Learning'', ATAL-2000, Boston.
22.08.00 ``Cognition, Sociability, and Constraints'', ECAI-2000 Workshop on Balancing Reactivity and Social Deliberation in Multiagent Systems, Berlin.
24.08.00 ``Achieving coordination through combining joint planning and joint learning'', ECAI-2000, Berlin.
02.11.00 ``Kognition, Sozialität und Constraints'', Oberseminar KI/Kognition, TU-München.


next up previous contents
Next: 6 Vorlesungen und Seminare Up: Tätigkeitsbericht 2000 Previous: 4 Veröffentlichungen
Felix Brandt, Mon Jun 25 15:32:09 MET DST 2001