Dirk - just to say that I think this post raises quite a few interesting issues.
If anyone is interested in talking about multicore, weak memory etc, I worked with Sewell for quite a few years on weak memory stuff.
I think process calculi were...

This is preliminary and will be updated as needed.
Thursday
14:00 Introductions and Planning
16:00 Verification of GT models
19:00 Dinner (let me know if you would like to join)
Friday
9:30 Model Transformations
11:00...

Modeling concurrency by node replacement systems
I would like to present a number of ideas for building a theory of true concurrency for graph rewriting systems based on node replacement, where the composition of processes replaces the...

I will give a brief introduction in: Verification of Well-Structured Graph Transformation Systems
As already mentioned we use the theory of well-structured transition systems to solve the coverability problem for graph transformation systems. The...

My main remark is that we should perhaps be somewhat more ambitious, and more general, in choosing the topics and question. I would not like to be bogged down in technical details and miss a chance to discuss our goals, and the contributions we...

I am currently working on using the theory of well-structured transition systems for verification. Since our graph transformation systems have to be well-structured (with respect to some order), we are somewhat limited, but we hope to relax this...

The workshop will take place in the David Wilson Library, First Floor Library Seminar Room (DW LIB SR), starting Thursday 24/01, 2pm and finishing Saturday 26/01, 12pm.
For maps and travel information, see here. See the map of the...