![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
From: engels@uni-paderborn.de
Date: Mon, 5 Oct 1998 17:15:16 +0200 (MET DST)
To: seworld@cs.colorado.edu
Subject: (SEWORLD) TAGT'98 - Call for Participation
Sixth International Workshop
on Theory and Application of Graph Transformations
TAGT' 98
Paderborn (Germany), November 16 - 20, 1998
Registration and further details at:
http://www.uni-paderborn.de/cs/ag-engels/tagt98.html
*******************************************************************************
Call for Participation
The International Workshop on Theory and Application of Graph Transformations
takes place every four years. The previous one took place in 1994 in
Williamsburg, Virginia, USA. The proceedings appeared as Springer LNCS 1073.
The generic term "graph transformation" covers the whole spectrum of concepts,
languages, methods and techniques which are based on graphs and graph
transformations. The topics of interest range from very practical to
very theoretical as, e.g., distributed systems, visual languages,
object-oriented approaches, algebraic and high-level approaches,
and process support.
The workshop is related to and supported by two European Research projects,
i.e. APPLIGRPAH (Applications of Graph Transformation)
(http://www.informatik.uni-bremen.de/grp/ag-ti/appligraph)
and GETGRATS (General Theory of Graph Transformation Systems)
(http://www.di.unipi.it/~andrea/getgrats).
TAGT'98 has been accepted as TMR-Euroconference. In particular, young
researchers from Europe may apply for travel and accomodation support.
For details, see at the above given URL.
Relevant address:
Prof. Dr. Gregor Engels, University of Paderborn, Dept. of Computer Science,
Warburger Str. 100, D-33098 Paderborn, Germany,
Tel/Fax: +49-5251-60 3337 / 3431, engels@uni-paderborn.de
Programme Committee:
G. Engels (University of Paderborn, D) (co-chair)
G. Rozenberg (Leiden University, NL) (co-chair)
B. Courcelle (LaBRI, Bordeaux, F)
H. Ehrig (Technical University of Berlin, D)
D. Janssens (University of Antwerp, B)
H.-J. Kreowski (University of Bremen, D)
U. Montanari (University of Pisa, I)
M. Nagl (RWTH Aachen, D)
F. Parisi-Presicce (University of Rome, I)
R. Plasmeijer (University of Nijmegen, NL)
A. Rosenfeld (University of Maryland, USA)
H. J. Schneider (University of Erlangen, D)
Organization Committee:
G. Engels (University of Paderborn, D) (chair)
H. Ehrig (Technical University of Berlin, D)
H.-J. Kreowski (University of Bremen, D)
G. Rozenberg (University of Leiden, The Netherlands)
****************************************************************************
Programme
Monday, November 16, 1998
9:00 - 9:30 Opening
9:30 - 10:30 Distribution and Concurrency
H. J. Schneider (University of Erlangen-Nuernberg, Germany)
Describing Systems of Processes by the Double-Pushout
Approach: Jungles as Distributed Data Structures
N. Verlinden, D. Janssens (University of Antwerp, Belgium)
Local Action Systems: A Framework for Petri Nets, ESM and NLC
11:00 - 12:30 Image Processing and Visual Languages
D. Blostein (Queen's University, Kingston, Canada)
Application of Graph Rewriting to Document Image Analysis
M. Minas (University of Erlangen-Nuernberg, Germany)
Hypergraphs as a Uniform Diagram Representation Model
R. Bardohl, H. Ehrig (Technical University of Berlin, Germany)
Conceptual Model of the Generic Graphical Editor
14:00 - 15:30 Parallel Sessions
Distributed Systems
I. Fischer (University of Erlangen-Nuernberg, Germany)
M. Koch, G. Taentzer (Technical University of Berlin, Germany)
Local Views on Distributed Systems and their Communication
G. Taentzer (Technical University of Berlin, Germany)
M. Goedicke, T. Meyer (University of Essen, Germany)
Dynamic Change Management by Distributed Graph Transformation:
Towards Configurable Distributed Systems
A. Radermacher (Aachen University of Technology, Germany)
Distribution of Applications with Graph Transformation Tools
New Aspects
M. Shukla Sarkar, D. Blostein, J. R.Cordy (Queen's University,
Kingston, Canada)
GXL - A Graph Transformation Language with Scoping and
Graph Parameters
S. Gruner (Aachen University of Technology, Germany)
Why Should Chemo-Engineers be Interested in Graph Grammars?
F. Rosello, M. Llabres (University de la Illes Balears, Spain)
Pushout Complements for Arbitrary Partial Algebras
16:00 - 17:00 Refinement and Inheritance
A. Wagner (University of Paderborn, Germany)
Formalizing Statechart Inheritance by Graph Transformations
M. Grosse-Rhode (University of Berlin, Germany)
F. Parisi-Presicce (University of Rome, Italy)
M. Simeoni (University of Antwerp, Belgium)
Refinements of Graph Transformation Systems via Rule
Expressions
17:00 - 18:00 Invited Lecture
Azriel Rosenfeld (University of Maryland, USA)
Samir Khuller (University of Maryland, USA)
Ehud Rivlin (Technion, Haifa, Israel)
GRAPHBOTS: Motion planning in discrete spaces
Tuesday, November 17, 1998
9:00 - 9:30 Appligraph Project Overview
D. Plump (University of Bremen, Germany)
9:30 - 10:30 Object-Oriented Approaches
G. Taentzer (Technical University of Berlin, Germany)
How to Integrate Graph Transformation with an
Object-Oriented Language
T. Fischer, J. Niere, L. Torunski, A. Zuendorf
(University of Paderborn, Germany)
Story Diagrams: A new Graph Grammar Language based on the
Unified Modelling Language and Java
11:00 - 12:30 Modularization
H. Ehrig, G. Taentzer (Technical University of Berlin, Germany)
G. Engels, R. Heckel (University of Paderborn, Germany)
Classification and Comparision of Modularity Concepts for
Graph Transformation Systems
A. Schuerr (University BW Muenchen, Germany)
A. J. Winter (Aachen University of Technology, Germany)
UML Packages for Programmed Graph Rewriting Systems
G. Busatto (Leiden University, The Netherlands)
G. Engels, K. Mehner, A. Wagner
(University of Paderborn, Germany)
A Framework for Adding Packages to Graph Transformation
Approaches
14:00 - 15:30 Parallel Sessions
Enhanced Language Features
S. Kuske (University of Bremen, Germany)
More About Control Conditions for Transformation Units
R. Heckel (University of Paderborn, Germany)
B. Hoffmann, P. Knirsch, S. Kuske
(University of Bremen, Germany)
Simple Modules for GRACE
M. Muench (Aachen University of Technology, Germany)
Integrity Contraints in the Multi-paradigm Language PROGRES
Node Replacement
R. Klempien-Hinrichs (University of Bremen, Germany)
H. Jacquet (University of Bordeaux, France)
Node Replacement in Hypergraphs: Translating NCE Rewriting
into the Pullback Approach
A. Habel (University of Hildesheim, Germany)
R. Klempien-Hinrichs (University of Bremen, Germany)
Atom Replacement in Hypergraphs
E. Wanke (University of Duesseldorf, Germany)
K. Skodinis (University of Passau, Germany)
Embbedding-Uniform Node Replacement
16:00 - 17:00 Parallel Sessions
AI Techniques
St. Schuster (University of Bremen, Germany)
Knowledge-Representation and Graph-Transformation
M. Rudolf (Technical University of Berlin, Germany)
Utilizing Constraint Satisfaction Techniques for Efficient
Graph Pattern Matching
Local Action Systems
N. Verlinden, D. Janssens (University of Antwerp, Belgium)
Algebraic Reasoning in Graph Processes
J. Mueller, D. Janssens (University of Antwerp, Belgium)
Modeling Timed Petri Nets
17:00 - 18:00 Discussion
Graph Transformations in Comparsion to Other Visual
Specification Approaches?
Wednesday, November 18, 1998
9:00 - 10:00 Invited Lecture
W. Schaefer (University of Paderborn, Germany)
Applying Graph Grammar Engineering to Program Comprehension
and Re-Engineering
10:30 - 12:30 DPO-Approach
A. Habel (University of Hildesheim, Germany)
J. Mueller (University of Antwerp, Belgium)
D. Plump (University of Bremen, Germany)
Double-Pushout Graph Transformation Revisited
H.-J. Kreowski (University of Bremen, Germany)
G. Valiente (University of Bremen, Germany /
Technical University of Catalonia, Spain)
Redundancy and Subsumption in High-Level Replacement Systems
P. Baldan, A. Corradini, U. Montanari
(University of Pisa, Italy)
An Unfolding Semantics for DPO Graph Transformation Systems
G. Valiente (University of Catalonia / Spain,
University of Bremen / Germany)
Grammatica: An Implementation of Algebraic Graph Transformation
on Mathematica
14:00 - 15:30 Tool Demonstrations
16:00 - 23:00 Social Events
Visit to the Heinz Nixdorf Museums Forum
(the world's largest computer museum)
Conference Dinner
Thursday, November 19, 1998
9:00 - 9:30 GetGrats Project Overview
A. Corradini (University of Pisa, Italy)
9:30 - 10:30 New Rewriting Techniques
H. Ehrig, J. Padberg (Technical University of Berlin, Germany)
G. Rozenberg (Leiden University, The Netherlands)
R. Heckel (University of Paderborn, Germany)
Graph Transformation and Other Rule-Based Formalisms
with Incomplete Information
J. L. Pfaltz (University of Virginia, USA)
Neighborhood Expansion Grammars
11:00 - 12:30 Graph Properties
J. Hage (Leiden University, The Netherlands)
A. Ehrenfeucht (University of Colorado, Boulder, USA)
T. Harju (University of Turku, Finland)
G. Rozenberg (Leiden University, The Netherlands)
Complexity Issues in Switching of Graphs
F. Gadducci, M. Koch (Technical University of Berlin, Germany)
R. Heckel (University of Paderborn, Germany)
Model Checking Graph-Interpreted Temporal Formulas
P. Bottoni, F. Parisi-Presicce (University of Rome, Italy)
M. Simeoni (University of Antwerp, Belgium)
From Fromulae to Rewriting Systems
14:00 - 15:30 Parallel Sessions
Algebraic Approaches
H. Ehrig, M. Llabres (Technical University of Berlin, Germany)
F. Orejas (Technical University of Catalonia, Spain)
R. Heckel (University of Paderborn, Germany)
Construction and Characterisation of Double-Pullback
Graph Transitions
J. Mueller (University of Antwerp, Belgium)
Terminating and Cyclic Graph Rewriting
F. Gaducci, M. Llabres
(Technical University of Berlin, Germany)
R. Heckel (University of Paderborn, Germany)
A Calculus for Derivations via Disconnected Rules
Programming Support
Y. Adachi, K. Tsuchida (Tokyo University, Japan)
T. Imaki (NEC Engineering Ltd., Tokyo, Japan)
T. Yaku (Nihon University, Tokyo, Japan)
Attribute Graph Grammar and Program Visualization
D. C. Petriu, X. Wang (Carleton University, Canada)
Deriving Software Performance Models from Architectural
Patterns by Graph Transformations
C. E. Hrischuk (University of Alberta, Edmonton, Canada)
A Model Making Automation Process (MMAP) based on
the Algorithmic Attributed Graph Grammar Formalism
16:00 - 17:00 Parallel Sessions
High-Level Approaches
M. Gajewsky, J. Padberg
(Technical University of Berlin, Germany)
Using High-Level Replacement Systems to Preserve Safety
Properties in Place/Transition Net Transformations
W. Kahl (University BW Muenchen, Germany)
Total-Single-Pushout Derivations for Internal Graph Attribution
World Wide Web
A. Bergholz, J. C. Freytag
(Humboldt University of Berlin, Germany)
A Three-Layer Approach to Semi-Structured Data
L. C. Faulstich (University of Berlin, Germany)
Using Graph Transformation Techniques for Integrating
Information from the WWW
17:00 - 18:00 Discussion
Graph Transformation Systems as a Semantical Model
for Distributed and Concurrent Systems?
Friday, November 20, 1998
9:00 - 11:00 Parallel Session
Process Support
B. Westfechtel (Aachen University of Technology, Germany)
S. Krueppel-Berndt (SAP AG, Walldorf, Germany)
RESMOD: A Resource Management Model for Development Processes
B. Sucrow, T. Heverhagen (University of Essen, Germany)
Using Graph Rewrite Systems for Supporting the Software
Design Process by Finding Suitable Software Components
J. H. Jahnke, A. Zuendorf (University of Paderborn, Germany)
Using Graph Grammars for Building the VARLET Database
Reverse Engineering Environment
C.-A. Krapp (Finansys Inc., New York, USA)
A. Schleicher, B. Westfechtel
(Aachen University of Technology, Germany)
Feedback Handling in Software Processes
Graph Languages
F. Drewes (University of Bremen, Germany)
Some Remarks on the Generative Power of Collage Grammars and
Chain-Code Grammars
J. Engelfriet, S. Maneth (Leiden University, The Netherlands)
Tree Languages Generated by Context-Free Graph Grammars
E. Godard, Y. Metivier (University of Bordeaux, France)
A. Muscholl (University of Stuttgart, Germany)
The Power of Local Computations in Graphs with Initial
Knowledge
T. Robinson (Madras Christian College, India)
A Generating System for Tiling and Patterns on Square Guide
11:30 - 12:30 Invited Lecture
A. Mazurkiewicz (University of Warsaw, Poland)
Algebra of dependence graphs
12:30 - 12:45 Closing
From: engels@uni-paderborn.de
Date: Wed, 18 Feb 1998 16:39:32 +0100 (MET)
To: seworld@cs.colorado.edu
Subject: (SEWORLD) CfP: TAGT'98 - Theory and Applications of Graph Transformations
CALL FOR SUBMISSIONS
TAGT'98
Sixth International Workshop
on Theory and Application of Graph Transformations
Paderborn, Germany
November 16 - 20, 1998
-----------------------------------------------------------------------------
Important Dates:
June 15, 1998 Deadline for Extended Abstracts
August 15, 1998 Notification of Acceptance/Rejection
September 30, 1998 Final Version of Extended Abstracts
-----------------------------------------------------------------------------
The International Workshop on Theory and Application of Graph Transformations
takes place every four years. The previous workshops took place in
1978 (Bad Honnef, Germany), 1982 (Osnabrueck, Germany),
1986 (Warrenton, Virginia, USA), 1990 (Bremen, Germany), and
1994 (Williamsburg, Virginia, USA).
The generic term "graph transformation" covers the whole spectrum of concepts,
languages, methods and techniques which are based on graphs and graph
transformations. The topics of interest range from very practical
to very theoretical. Indeed, one of the aims of the workshop is to bring
together researchers in the areas of graph transformation practice and theory
in order to identify and discuss those open problems in graph transformation
theory that are most critical to its practical application. The topics
of interest for the workshop cover (but are not limited to)
on the theoretical side:
* Node-, edge-, and hyperedge graph grammars
* Concurrency, distributivity, and semantics
* Term graph rewriting
* High-level replacement systems
* Module concepts
* Hierarchical definitions and decompositions of graphs
* Using logic to describe graph transformations
* Graph theoretical properties of graph languages
* Geometrical and topological aspects of graph grammars
* Automata on graphs and parsing of graph languages
* Network computing
* Analysis of Graph Transformation Systems
on the applied side:
* Specification languages
* Implementation of programming languages
* Massively parallel computation
* Software engineering and modular systems
* Visual languages
* Concurrent and distributed systems
* Actor systems and Petri-nets
* Rule and knowledge-base systems
* Developmental systems
* Pattern generation and picture processing
* Pattern matching
* Tool support
Prospective authors are invited to send 5 copies of an extended abstract
(not exceeding 8 pages) to the co-chair G. Engels.
The proceedings containing selected contributions are planned to appear
after the workshop as an LNCS volume (Springer-Verlag).
Important Dates:
June 15, 1998 Deadline for Extended Abstracts
August 15, 1998 Notification of Acceptance/Rejection
September 30, 1998 Final Version of Extended Abstracts
Programme Committee:
G. Engels (University of Paderborn, D) (co-chair)
G. Rozenberg (Leiden University, NL) (co-chair)
B. Courcelle (LaBRI, Bordeaux, F)
H. Ehrig (Technical University of Berlin, D)
D. Janssens (University of Antwerp, B)
H.-J. Kreowski (University of Bremen, D)
U. Montanari (University of Pisa, I)
M. Nagl (RWTH Aachen, D)
F. Parisi-Presicce (University of Rome, I)
R. Plasmeijer (University of Nijmegen, NL)
A. Rosenfeld (University of Maryland, USA)
H. J. Schneider (University of Erlangen, D)
Organization Committee:
G. Engels (University of Paderborn, D) (chair)
H. Ehrig (Technical University of Berlin, D)
H.-J. Kreowski (University of Bremen, D)
G. Rozenberg (University of Leiden, The Netherlands)
Relevant addresses:
Prof. Dr. G. Engels, University of Paderborn, Dept. of Computer Science - 17,
Warburger Str. 100, D-33098 Paderborn, Germany, Tel: +49-5251-60 3337,
Fax: +49-5251-60 3431, engels@uni-paderborn.de
Prof. Dr. G. Rozenberg, Leiden University, Dept. of Computer Science,
P.O. Box 9512, NL-2300 RA Leiden, The Netherlands, rozenber@wi.leidenuniv.nl.
Further information can be found at
http://www.uni-paderborn.de/cs/ag-engels/tagt98.html
To the Ada-Belgium home page.
Last update: 98/10/18.
Dirk Craeynest