University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH

Graphtransformationstag

Freitag, 4. Juli 2014   (OAS 3000, Linzer Str. 9a)

Das Programm enthält acht halbstündige Vorträge. Außerdem sind zwei Kaffeeepausen, eine längere Mittagspause und eine Abschlussdiskussion eingeplant. Danach ist ein gemeinsames Abendessen vorgesehen.

Alle Interessierten sind herzlich eingeladen.

Programm
10:15 - 10:30 Begrüßung
10:30 - 11:00 Graphtransformatorische Modellierung reversibler Schaltungen
Hans-Jörg Kreowski, Universität Bremen
11:00 - 11:30 Schwärme von Graphtransformationseinheiten
Larbi Abdenebaoui, Universität Bremen
11:30 - 12:00 Pause
12:00 - 12:30 A Unification Algorithm for GP
Detlef Plump, University of York
12:30 - 13:00 Termination Analysis for Graph Transformation Systems
Sander Bruggink, Universität Duisburg-Essen
13:00 - 15:00 Mittagspause
15:00 - 15:30 Semantik von rekonfigurierbaren Petrinetzen
Julia Padberg, Hochschule für Angewandte Wissenschaften Hamburg
15:30 - 16:00 Contextual Hyperedge Replacement
Berthold Hoffmann, Universität Bremen
16:00 - 16:30 Pause
16:30 - 17:00 From Core OCL Invariants to Nested Graph Constraints
Hendrik Radke, Universität Oldenburg
17:00 - 17:30 A General Framework for Well-Structured Graph Transformation Systems
Jan Stückrath, Universität Duisburg-Essen
17:30 - 18:00 Abschlussdiskussion
18:00 - Abendessen

Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de