Dresden
University of
Technology


Gemeinsamer Workshop der Graduiertenkollegs



Graduiertenkolleg 301

Logik in der Informatik

Ludwig-Maximilians-Universität und
Technische Universität München

 Graduiertenkolleg 334

Spezifikation diskreter Prozesse und Prozeßsysteme durch operationelle Modelle und Logiken

Technische Universität Dresden


Programm:

 Montag DienstagMittwoch
Uhrzeit11.02.2002Uhrzeit12.02.200213.02.2002
     
09.30 - 10.30F. Miranda-Perea09.00 - 10.00F. JoachimskiR. Matthes
10.30 - 11.30H. Tews10.00 - 11.00K. AehligM. Kübler
12.00 - 13.00D. Pattinson11.30 - 12.30A. AbelL. Crosilla
15.00 - 16.00C. Pech15.00 - 16.00K. Brünnler 
16.30 - 17.30P. Buchholz16.30 - 17.30C. Jürgensen 
17.30 - 18.30J. Rothe17.30 - 18.30D. Masulovic 


Vorträge:

Andreas Abel: Termination and Guardedness Checking with Continuous Types
Ralph Matthes: Recursion and Corecursion for Nested Datatypes
Dirk Pattinson: Canonical Models and Compactness for Coalgebraic Modal Logic
Felix Joachimski: Standardization for the Coinductive Lambda-Calculus
Klaus Aehlig: On Continuous Normalization
Laura Crosilla: Constructive Set Theory with Urelements
Martin Kübler: Unifikation und Fallunterscheidung
Favio Miranda-Perea: A Curry-style Realizability Interpretation for Monotone Inductive
Definitions

Abstracts

Claus Jürgensen: Syntactic composition of top-down tree transducers is short-cut fusion
Jan Rothe gemeinsam mit Dragan Masulovic: Week Bisimulation for coalgebras
Dragan Masulovic: Invariants of Monadic Coalgebras
Hendrik Tews: Binary Methods
Christian Pech: Dialgebras
Prof. Peter Buchholz: Process algebras with general transition weights
Kai Brünnler: The Calculus of Structures

Teilnehmerliste:

aus München:
Prof. W. Buchholz, Prof. H. Schwichtenberg
A. Abel, K. Aehlig, S. Berghofer, L. Crosilla, Hernest, F. Joachimski, J. Johannsen,
M. Kuebler, M. Latte, R. Matthes, F. Miranda, D. Pattinson, U. Rührmair,
J. Zappe

aus Dresden:
Prof. P. Buchholz, Prof. M. Droste, Prof. B. Ganter, Prof. R. Pöschel, Prof. H. Reichel,
Prof. H. Vogler
B. Borchardt, K. Brünnler, F. Felfe, C. Jürgensen, L. Kwuida, G. Malik, D. Masulovic,
C. Pech, J. Rothe, S. Rudolph, L. Straßburger, I. Tarasyuk

Unterkunft und Tagungsort:

Park- und Sporthotel Margaretenhof

Pfaffendorfer Straße 89
01824 Kurort Gohrisch
Tel.: 03 50 21/62 30 Fax: 03 50 21/6 25 99

Anfahrtsbeschreibungen:

mit der Bahn:
Von Dresden Hauptbahnhof mit der S-Bahn S 1 (Richtung Schöna) bis nach Bad Schandau.
Von dort dann mit dem Taxi bis zum Hotel.

mit dem Flugzeug:
Vom Flughafen Dresden mit der S-Bahn S 2 (Richtung Dresden Neustadt) bis zum Bahnhof
Dresden Neustadt, dort umsteigen in die S-Bahn S 1 (Richtung Schöna),
weiter siehe mit der Bahn....

mit dem Auto:
Von der Autobahn A4, Anschlußstelle 78, Dresden-Altstadt konsequent auf der ausge-
schilderten Stadtstrecke RICHTUNG PIRNA / PRAG bis zum FRITZ-FÖRSTER-PLATZ
in Nähe des TU Campus fahren. Verlassen Sie hier die Richtung PRAG und überqueren
Sie diesen Platz geradeaus in RICHTUNG PIRNA. Immer auf der B 172 bis Königstein
bleiben, dort dann rechts ab nach Kurort Gohrisch.

Weitere Informationen:

Graduiertenkolleg
Spezifikation diskreter Prozesse und Prozeßsysteme durch operationelle Modelle und Logiken
Technische Universität Dresden
Sandra Großmann
e-mail: grossm@tcs.inf.tu-dresden.de
Tel.: 03 51/4 63-3 85 27
Fax: 03 51/4 63-3 79 59

(20. Februar 2002/sg)