Vergangene Veranstaltungen der 2. Förderperiode (01.01.2000
bis 31.12.2002)
- 01.02.00, 13.15 Uhr
- Vorbesprechung Workshop
- 01.02.00, 15.00 Uhr
- Dr. Werner Stephan, DFKI Saarbrücken:
"Modeling State-Based Systems in VSE"
- 07.02.00 - 11.02.00
- Interner Workshop des Graduiertenkollegs
- 14.03.2000, 13.15 Uhr (CL)
- Dr. Charles Stewart, Universität Oxford:
"Interaction Nets: A Bridge from Theory to Practice"
- 28.03.2000, 13.15 Uhr (CL)
- Dr. Pietro Di Gianantonio, Universität Udine:
"A golden ratio notation for the real numbers"
- 04.04.2000, 13.15 Uhr
- Dipl.-Math. Claus Jürgensen, RWTH Aachen:
- "Kategorientheoretisch fundierte Programmtransformationen für Haskell"
- 11.04.2000, 13.15 Uhr (CL)
- Dr. Petros Kefalas, Universität Thessaloniki:
- "Meta-Level Control of Parallel Logic Programs"
- 18.04.2000, 13.15 Uhr (CL)
- Dr. Petros Kefalas, Universität Thessaloniki:
- "Multi-Agent System to Assist Networked Learning"
- 25.04.2000, 13.15 Uhr
- Lutz Straßburger, TU Dresden:
- "Rational forest languages and sequential forest transducers"
- 23.05.2000, 13.30 Uhr - 14.45 Uhr
- Prof. Klaus Meyer-Wegener, TU Dresden:
- "Entwurf von Workflow-Schemata I"
- 30.05.2000, 13.30 Uhr - 14.45 Uhr
- Prof. Klaus Meyer-Wegener, TU Dresden:
- "Entwurf von Workflow-Schemata II"
- 06.06.2000, 13.30 Uhr (CL)
- Prof. Norbert E. Fuchs, Universität Zürich:
- "Attempto Controlled English - Not Just Another Logic Specification Language"
- 20.06.2000, 13.15 Uhr
- Prof. Dr. Guo-Qiang Zhang, Universität Georgia:
- "Two representation theorems for nonmonotonic entailment relation"
- 27.06.2000, 14.00 Uhr
- Prof. Wolfgang Reisig, Humboldt-Universität Berlin:
- "Temporale Logik Verteilter Aktionen"
- 04.07.2000, 13.15 Uhr
- Prof. Ernst Rüdiger Olderog, Universität Oldenburg:
- "Kombination von Spezifikationstechniken für Prozesse, Daten und Zeit"
- 11.07.2000, 14.15 Uhr - 15.45 Uhr
- Dipl.-Math. Martin Rößiger, TU Dresden:
- "Coalgebren, Klontheorie und Modale Logik"
- 22.08.2000, 13.15 Uhr
- Prof. Zoltan Fülöp, Universität Szeged:
- "Iterated Relabeling Tree Transducers"
- 08.09.2000, 13.15 Uhr
- Dr. Jetty Kleijn, Universität Leiden:
- "Petri nets with inhibitor arcs: causality and processes"
- 13. - 16.09.2000, Logic and Algebra in Concurrency, LAC
- V. Diekert, P. Gastin, J. G. Henriksen, A. Muscholl, D. Peled, W. Penczek,
- A. Petit, J.-E. Pin, D. Thérien, W. Thomas, I. Walukiewicz
- 28. - 30.09.2000, Workshop on Design of Workflow Schemata
- Prof. Klaus Meyer-Wegener, TU-Dresden
- 10.10.2000, 13.15 Uhr - 13.45 Uhr
- Dipl.-Inf. Lutz Straßburger, TU Dresden:
- "A Locally Bounded Calculus for Distributed Computation"
10.10.2000, 14.15 Uhr - 15.00 Uhr
- Christian Pech, TU Dresden:
- "Chromatic polynomials and association schemes"
- 17.10.2000, 13.15 Uhr Kompaktvorlesung
- Prof. Bernhard Ganter:
- "Kontextuelle Logiken"
17.10.2000, 14.45 Uhr
- Dipl.-Math. Grit Malik, TU Dresden:
- "Local Logics and Distributed Systems"
- 24.10.2000, 13.15 Uhr und 14.45 Uhr Kompaktvorlesungen
- Prof. Bernhard Ganter:
- "Kontextuelle Logiken"
- 26.10.2000, 9.20 Uhr und 11.25 Uhr
- Prof. Nikolai Vereshchagin, Universität Moskau:
- "Determinism vs. non-determinism for Boolean decision trees"
- 07.11.2000, 13.15 Uhr und 14.45 Uhr Kompaktvorlesungen
- Prof. Manfred Droste:
- "Automaten mit Kostenfunktion"
- 14.11.2000, 13.00 Uhr
- Prof. Dr. Dr. F. J. Radermacher, FAW Ulm:
- "Verschiedene Modellierungsansätze in FAW-Projekten
- und einige allgemeine Hinweise zum Wissensmanagement"
- 21.11.2000, 13.15 Uhr Kompaktvorlesung
- Prof. Heiko Vogler:
- "Tree Transducer Over Power Series"
21.11.2000, 14.45 Uhr Kompaktvorlesung
- Prof. Manfred Droste:
- "Automaten mit Kostenfunktion"
- 28.11.2000, 13.15 Uhr Kompaktvorlesung
- Prof. Peter Buchholz:
- "Einführung in Petri-Netze"
28.11.2000, 14.45 Uhr (CL)
- Pascal Hitzler, Universität College, Cork:
- "Logic Programs and Neural Networks"
- 05.12.2000, 13.15 Uhr Kompaktvorlesung
- Prof. Peter Buchholz:
- "Einführung in Petri-Netze"
05.12.2000, 14.45 Uhr
- Dipl.-Inf. Petra Hofstedt, TU Berlin:
- "Cooperating Constraint Solvers"
- 12.12.2000, 13.15 Uhr Kompaktvorlesung
- Prof. Peter Buchholz:
- "Einführung in Petri-Netze"
- 15.12.2000, 13.15 Uhr
- Dr. Zoltan Fülöp, Universität Szeged:
- "Tree Series Transducers"
- 19.12.2000, 13.15 Uhr und 14.45 Uhr Kompaktvorlesungen
- Prof. Bernhard Ganter:
- "Kontextuelle Logiken"
- 09.01.2001, 13.15 Uhr Kompaktvorlesung
- Prof. Michael Thielscher:
- "Logikspezifikation dynamischer Systeme"
09.01.2001, 14.45 Uhr
- Prof. Helmut Schwichtenberg, LMU München:
- "Feasible programs from proofs"
- 16.01.2001, 13.15 Uhr Kompaktvorlesung
- Prof. Michael Thielscher:
- "Logikspezifikation dynamischer Systeme"
16.01.2001, 14.45 Uhr
- Prof. Bernhard Steffen, Universität Dortmund:
- "Workflow-Modellierung"
- 23.01.2001, 13.00 Uhr Workshop-Besprechung
23.01.2001, 13.15 Uhr Kompaktvorlesung
- Prof. Michael Thielscher:
- "Logikspezifikation dynamischer Systeme"
23.01.2001, 14.45 Uhr
- Prof. Ingo Wegener, Universität Dortmund:
- "BDDs (binary decision diagrams) - design, analysis, complexity, and applications"
- 30.01.2001, 13.15 Uhr (CL)
- Helko Lehmann
30.01.2001, 14.15 Uhr
- Prof. Martin Wirsing, LMU München:
- "Rigorose Software-Entwicklung mit UML und OCL"
- 05.-09.02.2001
- Workshop des Graduiertenkollegs
- Programm
- 03.04.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Igor Tarasyuk, TU Dresden:
- "Equivalence Relations for Net and Algebraic Models of Concurrency"
03.04.2001, 14.45 Uhr
- Prof. Klaus Meyer-Wegener, TU Dresden:
- "Diskussion über Workflows"
- 10.04.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
- 17.04.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
17.04.2001, 14.45 Uhr (CL)
- Prof. Giorgio Levi, Universität Pisa:
- "A systematic approach to program analysis and verification"
- 24.04.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Igor Tarasyuk, TU Dresden:
- "Equivalence Relations for Net and Algebraic Models of Concurrency"
24.04.2001, 14.45 Uhr
- Prof. Andreas Goerdt, TU Chemnitz:
- "Algorithms for the propositional satisfiability problem based on local search"
- 26.-27.04.2001
- Workshop Wissensrepräsentation: The Next Generation
- eingeladene Gäste: Prof. F. Baader, Prof. G. Brewka, Prof. G. Lakemeyer,
- Prof. B. Nebel, Prof. T. Schaub, Dr. F. Wolter
- 02.05.2001, 13.45 Uhr (CL)
- Prof. Achim Jung, Universität Birmingham:
- "Denotational Semantics with Relational Models"
- 15.05.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Igor Tarasyuk, TU Dresden:
- "Equivalence Relations for Net and Algebraic Models of Concurrency"
- 22.05.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
- 29.05.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
29.05.2001, 14.45 Uhr
- Dipl.-Inf. Frank Felfe, TU Dresden:
- "Coalgebraic Representation of the Java Card Virtual Machine in PVS"
- 12.06.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
12.06.2001, 14.45 Uhr
- Prof. James Delgrande, Simon Fraser University, Burnaby, Canada:
- "A Consistency-Based Paradigm for Belief Change"
- 19.06.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Igor Tarasyuk, TU Dresden:
- "Equivalence Relations for Net and Algebraic Models of Concurrency"
19.06.2001, 14.45 Uhr
- Dipl.-Inf. Jan Rothe, TU Dresden:
- "Weak Bisimulation for Coalgebras"
- 26.06.2001, 13.15 Uhr Kompaktvorlesung
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
26.06.2001, 14.45 Uhr
- Dipl.-Math. Claus Jürgensen, TU Dresden:
- "Compostion of tree transducers versus categorical deforestation"
- 03.07.2001, 13.15 Uhr
- Dipl.-Math. Grit Malik, TU Dresden:
- "Informationsübertragung zwischen Kontexten"
03.07.2001, 14.45 Uhr
- Dipl.-Inf. Lutz Straßburger, TU Dresden:
- "Petri-Netze und Lineare Logik"
03.07.2001, 16.30 Uhr
- GRK-Diskussion (Fortsetzungsantrag)
- 10.07.2001, 13.15 Uhr
- Sebastian Rudolph, TU Dresden:
- "Contextual Action Representation and Modal Logic"
10.07.2001, 14.45 Uhr
- Dipl.-Inf. Kai Brünnler, TU Dresden:
- "A Local System for Classical Propositional Logic"
- 17.07.2001, 13.15 Uhr
- Alexander Kurz, Masaryk University Brno:
- "Semantische Klassifizierung von Logiken für Koalgebren"
- 09.10.2001, 13.00 Uhr (CL)
- Pawel Waszkiewicz, Birmingham
- "A complete characterisation of partial metrizability of algebraic domains"
- 16.10.2001, 13.00 Uhr
- Dipl.-Math. Ingmar Meinecke:
- "Produkte und Coprodukte von Ereignisstrukturen und konkreten Datenstrukturen"
- 23.10.2001, 13.00 Uhr
- Dipl.-Inf. Jan Rothe:
- "Semantics of While Programs"
23.10.2001, 14.15 Uhr
- Dipl.-Math. Christian Pech:
- "Algebraic Moore-machines (behavioural aspects)"
- 30.10.2001, 13.00 Uhr
- Dr. Igor Tarasyuk:
- "Net and algebraic approaches to probablistic modeling"
- 02.-03.11.2001 Workshop
- "Begriffliche Systeme"
- 06.11.2001, 13.00 Uhr
- Hideo Mori:
- "The Galois functor between cateogires of Chu Spaces and Complete
Suplattices"
06.11.2001, 14.15 Uhr
- Prof. J. Adamek, Braunschweig:
- "Koalgebraische Perspektive der Iteration"
- 13.11.2001, 13.00 Uhr (CL)
- Philippe de Groote, INRIA Lorraine, Frankreich:
- "Abstract Categorial Grammars"
13.11.2001, 14.15 Uhr
- Dipl.-Inf. Lutz Straßburger:
- "MELL im Kalkül der Strukturen"
- 20.11.2001, 13.00 Uhr (CL)
- Alessio Lo Muscio, Imperial College, England:
- "Towards Computationally Grounded Semantics for Multi-agent Systems Theories"
20.11.2001, 14.15 Uhr
- Dipl.-Math. Claus Jürgensen:
- "Syntactic composition of top-down tree transducers is short
cut fusion"
- 27.11.2001, 13.00 Uhr
- Dipl.-Inf. Kai Brünnler:
- "New Properties of Classical Derivations"
27.11.2001, 14.15 Uhr (CL)
- Miguel Angel Gutierrez Naranjo, Sevilla:
- "Some topics on the foundations of Inductive Logic Programming"
- 04.12.2001, 13.00 Uhr
- Dipl.-Math. Grit Malik:
- "From Infomorphisms to relational Galois Connections"
- 11.12.2001, 13.00 Uhr (CL)
- Prof. Norbert Fuchs, Zürich:
- "Attempto Controlled English"
11.12.2001, 14.15 Uhr
- Prof. Rudolf Wille, Darmstadt:
- "Kontextuelle Logik - Grundlage der Begrifflichen Wissensverarbeitung"
- 13.12.2001, 09.20 Uhr
- Prof. Franz Baader, RWTH Aachen:
- "Description Logics: from theoretical foundations
to an ontology language for the Semantic Web"
- 18.12.2001, 13.00 Uhr
- Dr. Pierre Le Maigat, IRISA, Campus Universitaire de Beaulieu:
- "Performance Evaluation of Timed HMSC"
- 08.01.2002, 13.00 Uhr
- Sebastian Rudolph:
- "Exploration of relational structures"
- 15.01.2002, 13.00 Uhr
- Dipl.-Inf. Frank Felfe:
- "Partial Coalgebras in Set & Rec"
15.01.2002, 14.15 Uhr
- Dr. Dragan Masulovic:
- "Invariants of monadic coalgebras"
- 22.01.2002, 13.00 Uhr
- Dipl.-Math. Björn Borchardt:
- "Tree automata with costs"
22.01.2002, 14.15 Uhr
- Zsolt Gazdag, University of Szeged:
- "Shape Preserving Top-Down Tree Transducers"
- 29.01.2002, 13.00 Uhr
- IQN Inauguration Celebration
- 11.-13.02.2002 Workshop mit GRK München
- Programm
- 04.-08.03.2002 Workshop in Dresden
- Weighted Automata: Theory and Applications
- 09.04.2002, 13.00 Uhr
- Dr. Dietrich Kuske, University of Leicester:
- "Spurersetzungen"
09.04.2002, 14.15 Uhr
- Dr. Dragan Masulovic, TU Dresden:
- "Systems and Their Logics From the Point of View of Coalgebra"
- 16.04.2002, 13.00 Uhr
- Dr. Dietrich Kuske, University of Leicester: