Former Events of the second period
- February 1, 2000, 1.15 pm
- Internal meeting, Workshop
- February 1, 2000, 3.00 pm
- Dr. Werner Stephan:
"Modeling State/Based Systems in VSE"
- March 14, 2000, 1.15 pm
- Dr. Charles Stewart, Boston Univerity:
"Interaction Nets: A Bridge from Theory to Practice"
- March 28, 2000, 1.15 pm (CL)
- Dr. Pietro Di Gianantonio, University of Udine:
"A golden ratio notation for the real numbers"
- April 4, 2000, 1.15 pm
- Dipl.-Math. Claus Jürgensen, RWTH Aachen:
- "Kategorientheoretisch fundierte Programmtransformationen für Haskell"
- April 11, 2000, 1.15 pm (CL)
- Dr. Petros Kefalas, University of Thessaloniki:
- "Meta-Level Control of Parallel Logic Programs"
- April 18, 2000, 1.15 pm (CL)
- Dr. Petros Kefalas, University of Thessaloniki:
- "Multi-Agent System to Assist Networked Learning"
- April 25, 2000, 1.15 pm
- Lutz Straßburger, TU Dresden:
- "Rational forest languages and sequential forest transducers"
- May 23, 2000, 1.30 pm - 2.45 pm
- Prof. Klaus Meyer-Wegener, TU Dresden:
- "Entwurf von Workflow-Schemata I"
- May 30, 2000, 1.30 pm - 2.45 pm
- Prof. Klaus Meyer-Wegener, TU Dresden:
- "Entwurf von Workflow-Schemata II"
- June 6, 2000, 1.30 pm (CL)
- Prof. Fuchs, University of Zürich:
- "Attempto Controlled English - Not Just Another Logic Specification
Language"
- June 20, 1.15 pm
- Prof. Dr. Guo-Qiang Zhang, University of Georgia:
- "Two representation theorems for nonmonotonic entailment relation"
- June 27, 2000, 2.00 pm
- Prof. Wolfgang Reisig, Humboldt-University Berlin:
- "Temporale Logik Verteilter Aktionen"
- July 4, 2000, 1.15 pm
- Prof. Ernst Rüdiger Olderog, University of Oldenburg:
- "Kombination von Spezifikationstechniken für Prozesse, Daten und Zeit"
- July 11, 2000, 2.00 pm
- Dipl.-Math. Martin Rößiger, TU Dresden:
- "Coalgebren, Klontheorie und Modale Logik"
- August 22, 2000, 1.15 pm
- Prof. Zoltan Fülöp, University of Szeged:
- "Iterated Relabeling Tree Transducers"
- September 8, 2000, 1.15 pm
- Dr. Jetty Kleijn, University of Leiden:
- "Petri nets with inhibitor arcs: causality and processes"
- September 13-16, 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
- September 28-30, 2000, Workshop on Design of Workflow Schemata
- Prof. Klaus Meyer-Wegener, TU-Dresden
- October 10, 2000, 1.15 pm
- Dipl.-Inf. Lutz Straßburger, TU Dresden:
- "A Locally Bounded Calculus for Distributed Computation"
October 10, 2000, 2.15 pm
- Christian Pech, TU Dresden:
- "Chromatic polynomials and association schemes"
- October 17, 2000, 1.15 pm compact course
- Prof. Bernhard Ganter
- "Kontextuelle Logiken"
October 17, 2000, 2.45 pm
- Dipl.-Math. Grit Malik, TU Dresden:
- "Local Logics and Distributed Systems"
- October 24, 2000, 1.15 pm and 2.45 pm compact courses
- Prof. Bernhard Ganter
- "Kontextuelle Logiken"
- October 26, 2000, 9.20 am and 11.25 am
- Prof. Nikolai Vereshchagin, Moscow State University:
- "Determinism vs. non-determinism for Boolean decision trees"
- November 7, 2000, 1.15 pm and 2.45 pm compact courses
- Prof. Manfred Droste
- "Automaten mit Kostenfunktion"
- November 14, 2000, 1.00 pm
- Prof. Dr. Dr. F. J. Radermacher, FAW Ulm
- "Verschiedene Modellierungsansätze in FAW-Projekten
- und einige allgemeine Hinweise zum Wissensmanagement"
- November 21, 2000, 1.15 pm compact course
- Prof. Heiko Vogler
- "Tree Transducer Over Power Series"
November 21, 2000, 2.45 pm compact course
- Prof. Manfred Droste
- "Automaten mit Kostenfunktion"
- November 28, 2000, 1.15 pm compact course
- Prof. Peter Buchholz
- "Einführung in Petri-Netze"
November 28, 2000, 2.45 pm (CL)
- Pascal Hitzler, University College, Cork
- "Logic Programs and Neural Networks"
- December 5, 2000, 1.15 pm compact course
- Prof. Peter Buchholz
- "Einführung in Petri-Netze"
December 5, 2000, 2.45 pm
- Dipl.-Inf. Petra Hofstedt, TU Berlin
- "Cooperating Constraint Solvers"
- December 12, 2000, 1.15 pm compact course
- Prof. Peter Buchholz
- "Einführung in Petri-Netze"
- December 15, 2000, 1.15 pm
- Dr. Zoltan Fülöp, University of Szeged
- "Tree Series Transducers"
- December 19, 2000, 1.15 pm and 2.45 pm compact courses
- Prof. Bernhard Ganter
- "Kontextuelle Logiken"
- January 9, 2001, 1.15 pm compact course
- Prof. Michael Thielscher
- "Logikspezifikation dynamischer Systeme"
January 9, 2001, 2.45 pm
- Prof. Helmut Schwichtenberg, LMU München:
- "Feasible programs from proofs"
- January 16, 2001, 1.15 pm compact course
- Prof. Michael Thielscher
- "Logikspezifikation dynamischer Systeme"
January 16, 2001, 2.45 pm
- Prof. Bernhard Steffen, University of Dortmund:
- "Workflow-Modellierung"
- January 23, 2001, 1.00 pm Workshop-Meeting
January 23, 2001, 1.15 pm compact course
- Prof. Michael Thielscher
- "Logikspezifikation dynamischer Systeme"
January 23, 2001, 2.45 pm
- Prof. Ingo Wegener, University of Dortmund:
- "BDDs (binary decision diagrams) - design, analysis, complexity, and applications"
- January 30, 2001, 1.15 pm (CL)
- Helko Lehmann
January 30, 2001, 1.15 pm
- Prof. Martin Wirsing, LMU München:
- "Rigorose Software-Entwicklung mit UML und OCL"
- February 5-9, 2001
- Workshop of the Postgraduate Programme
- Program
- April 3, 2001, 1.15 pm compact course
- Dr. Igor Tarasyuk, TU Dresden:
- "Equivalence Relations for Net and Algebraic Models of Concurrency"
April 3, 2001, 2.45 pm
- Prof. Klaus Meyer-Wegener, TU Dresden:
- "Diskussion über Workflows"
- April 10, 2001, 1.15 pm compact course
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
- April 17, 2001, 1.15 pm compact course
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
April 17, 2001, 2.45 pm (CL)
- Prof. Giorgio Levi, University of Pisa:
- "A systematic approach to program analysis and verification"
- April 24, 2001, 1.15 pm compact course
- Dr. Igor Tarasyuk, TU Dresden:
- "Equivalence Relations for Net and Algebraic Models of Concurrency"
April, 24, 2001, 1.15 pm
- Prof. Andreas Goerdt, TU Chemnitz:
- "Algorithms for the propositional satisfiability problem based on local search"
- April 26 - 27, 2001
- Workshop "Wissensrepräsentation: The Next Generation"
- May 2, 2001, 1.45 pm (CL)
- Prof. Achim Jung, University of Birmingham:
- "Denotational Semantics with Relational Models"
- May 15, 2001, 1.15 pm compact course
- Dr. Igor Tarasyuk, TU Dresden:
- "Equivalence Relations for Net and Algebraic Models of Concurrency"
- May 22, 2001, 1.15 pm compact course
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
- May 29, 2001, 1.15 pm compact course
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
May 29, 2001, 2.45 pm
- Dipl.-Inf. Frank Felfe, TU Dresden:
- "Coalgebraic Representation of the Java Card Virtual Machine in PVS"
- June 12, 2001, 1.15 pm compact course
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
June 12, 2001, 2.45 pm
- Prof. James Delgrande, Simon Fraser University, Burnaby, Canada:
- "A Consistency-Based Paradigm for Belief Change"
- June 19, 2001, 1.15 pm compact course
- Dr. Igor Tarasyuk, TU Dresden:
- "Equivalence Relations for Net and Algebraic Models of Concurrency"
June 19, 2001, 2.45 pm
- Dipl.-Inf. Jan Rothe, TU Dresden:
- "Weak Bisimulation for Coalgebras"
- June 26, 2001, 1.15 pm compact course
- Dr. Rémi Morin, TU Dresden:
- "Models of distributed systems: specification, synthesis, and verification"
June 26, 2001, 2.45 pm
- Dipl.-Math. Claus Jürgensen, TU Dresden:
- "Compostion of tree transducers versus categorical deforestation"
- July 3, 2001, 1.15 pm
- Dipl.-Math. Grit Malik, TU Dresden:
- "Informationsübertragung zwischen Kontexten"
July 3, 2001, 2.45 pm
- Dipl.-Inf. Lutz Straßburger, TU Dresden:
- "Petri-Netze und Lineare Logik"
July 3, 2001, 4.30 pm
- GRK-Diskussion (Fortsetzungsantrag)
- July 10, 2001, 1.15 pm
- Sebastian Rudolph, TU Dresden:
- "Contextual Action Representation and Modal Logic"
July 10, 2001, 2.45 pm
- Dipl.-Inf. Kai Brünnler, TU Dresden:
- "A Local System for Classical Propositional Logic"
- July 17, 2001, 1.15 pm
- Alexander Kurz, Masaryk University Brno:
- "Semantische Klassifizierung von Logiken für Koalgebren"
- October 9, 2001, 1.00 pm (CL)
- Pawel Waszkiewicz, University of Birmingham
- "A complete characterisation of partial metrizability of algebraic domains"
- October 16, 2001, 1.00 pm
- Dipl.-Math. Ingmar Meinecke:
- "Produkte und Coprodukte von Ereignisstrukturen und konkreten Datenstrukturen"
- October 23, 2001, 1.00 pm
- Dipl.-Inf. Jan Rothe:
- "Semantics of While Programs"
October 23, 2001, 2.15 pm
- Dipl.-Math. Christian Pech:
- "Algebraic Moore-machines (behavioural aspects)"
- October 30, 2001, 1.00 pm
- Dr. Igor Tarasyuk:
- "Net and algebraic approaches to probablistic modeling"
- November 2-3, 2001, Workshop
- "Begriffliche Systeme"
- November 6, 2001, 1.00 pm
- Hideo Mori
- "The Galois functor between cateogires of Chu Spaces and Complete
Suplattices"
November 6, 2001, 2.15 pm
- Prof. J. Adamek, Braunschweig:
- "Koalgebraische Perspektive der Iteration"
- November 13, 2001, 1.00 pm (CL)
- Philippe de Groote, INRIA Lorraine, France:
- "Abstract Categorial Grammars"
November 13, 2001, 2.15 pm
- Dipl.-Inf. Lutz Straßburger:
- "MELL im Kalkül der Strukturen"
- November 20, 2001, 1.00 pm (CL)
- Alessio Lo Muscio:
- "Towards Computationally Grounded Semantics for Multi-agent Systems Theories"
November 20, 2001, 2.15 pm
- Dipl.-Math. Claus Jürgensen:
- "Syntactic composition of top-down tree transducers is short
cut fusion"
- November 27, 2001, 1.00 pm
- Dipl.-Inf. Kai Brünnler:
- "New Properties of Classical Derivations"
November 27, 2001, 2.15 pm (CL)
- Miguel Angel Gutierrez Naranjo, Sevilla:
- "Some topics on the foundations of Inductive Logic Programming"
- December 4, 2001, 1.00 pm
- Dipl.-Math. Grit Malik:
- "From Infomorphisms to relational Galois Connections"
- December 11, 2001, 1.00 pm (CL)
- Prof. Norbert Fuchs, Zürich:
- "Attempto Controlled English"
December 11, 2001, 2.15 pm
- Prof. Rudolf Wille, Darmstadt:
- "Kontextuelle Logik - Grundlage der Begrifflichen Wissensverarbeitung"
- December 13, 2001, 9.20 am
- Prof. Franz Baader, RWTH Aachen:
- "Description Logics: from theoretical foundations
to an ontology language for the Semantic Web"
- December 18, 2001, 1.00 pm
- Dr. Pierre Le Maigat, IRISA, Campus Universitaire de Beaulieu:
- "Performance Evaluation of Timed HMSC"
- January 8, 2002, 1.00 pm
- Sebastian Rudolph:
- "Exploration of relational structures"
- January 15, 2002, 1.00 pm
- Dipl.-Inf. Frank Felfe:
- "Partial Coalgebras in Set & Rec"
January 15, 2002, 2.15 pm
- Dr. Dragan Masulovic:
- "Invariants of monadic coalgebras"
- January 22, 2002, 1.00 pm
- Dipl.-Math. Björn Borchardt:
- "Tree automata with costs"
January 22, 2002, 2.15 pm
- Zsolt Gazdag, University of Szeged:
- "Shape Preserving Top-Down Tree Transducers"
- January 29, 2002, 1.00 pm
- QN Inauguration Celebration
- February 11-13, 2002, Workshop GRK München
- Programm
- March 4-8, 2002, Workshop in Dresden
- Weighted Automata: Theory and Applications
- April 9, 2002, 1.00 pm
- Dr. Dietrich Kuske, University of Leicester:
- "Spurersetzungen"
April 9, 2002, 2.15 pm
- Dr. Dragan Masulovic, Dresden University of Technology:
- "Systems and Their Logics From the Point of View of Coalgebra"
- April 16, 2002, 1.00 pm
- Dr. Dietrich Kuske, University of Leicester:
- "Nie haltende Automaten"
April 16, 2002, 2.15 pm
- Dr. Dragan Masulovic, Dresden University of Technology: