Interner Workshop des Graduiertenkollegs
"Spezifikation diskreter Prozesse und Prozeßsysteme durch operationelle Modelle und Logiken"
in Reinhardtsdorf, Sächsische Schweiz
vom 07.02.2000 bis 11.02.2000
Teilnehmer:
Professoren:
Prof. Dr. P. Buchholz, Prof. Dr. M. Droste, Prof. Dr. B. Ganter, Prof. Dr. S. Hölldobler, Prof. Dr. R. Pöschel, Prof. Dr. H. Reichel, Prof. Dr. M. Thielscher, Prof. Dr. H. Vogler
Stipendiaten:
Dipl.-Math. R. Kummetz, I. Meinecke, Dr. Rémi Morin, S. Rudolph, Dipl.-Math. M. Rößiger, J. Rothe, Dipl.-Inf. D. Schamschurko, L. Straßburger, Dipl.-Inf. H.-P. Störr, J. Voigtländer
Gäste:
Dipl.-Math. R. Borgschulze, Dr. D. Kirsten, Dr. W. Nauber, Dr. I. Tarasyuk
Ziele des Workshops:
Den Stipendiaten der ersten Förderphase wurde die Gelegenheit gegeben, über den Stand ihrer Dissertation zu berichten.
Die neuen Stipendiaten konnten sich anhand von Einführungsvorträgen der Professoren ein Bild von der "Forschungslandschaft" verschaffen.
Es wurde über das Studienprogramm und die Zielsetzung in der Forschung während der zweiten Phase gesprochen.
Vorträge:
- Dipl.-Math. Martin Rößiger
- Coalgebras, Clone Theory, Modal Logic
- Dipl.-Math. Ralph Kummetz
- Bereichstheorie, Topologie, Spurtheorie
- Dipl.-Math. Ralph Borgschulze
- Automaten mit Nebenläufigkeitsrelationen
- Dipl.-Inf. Dmitri Schamschurko
- Ambient Calculus
- Dr. Rémi Morin
- Von Spurautomaten zu asynchronen Transitionssystemen
- Prof. Dr. Horst Reichel
- Charakterisierung von Datentypen durch äußeres Verhalten
- Prof. Dr. Heiko Vogler
- Top-Down Tree Transducer
- Prof. Dr. Steffen Hölldobler
- Funktionale Programmierung und Logik-Programmierung
- Prof. Dr. Michael Thielscher
- Situationskalkül
- Prof. Dr. Peter Buchholz
- Compositional Aspects of Petri Nets
- Prof. Dr. Manfred Droste
- On process Cost Functions for Discrete Systems
- Dr. Igor Tarasyuk
- Equivalence and Refinements for Petri Nets with silent transitions
- Prof. Dr. Bernhard Ganter
- Formale Kontexte und Begriffsanalyse
- Prof. Dr. Reinhard Pöschel
- Klone und Invarianten
- Lutz Straßburger
- Rational and Recognizable Tree Languages
- Prof. Dr. Heiko Vogler
- Why deforestation does not always help?
- Dr. Rémi Morin
- On the Semantics of Place-Transition Nets
- Prof. Dr. Horst Reichel
- Generische Modelle
- Prof. Dr. Reinhard Pöschel und Prof. Dr. Heiko Vogler
- Algebren, Invarianten und Baumfunktionen
- Prof. Dr. Bernhard Ganter
- Einige Betrachtungen
- Prof. Dr. Steffen Hölldobler
- Partial Order Planning
- Dipl.-Inf. Hans-Peter Störr
- Effizientes Planen mit binären Entscheidungsbäumen
(22.02.2000/sg)