Workshop on Graph Transformation and Concurrency
An informal workshop, to be held in Leicester on 24 - 26 January 2013, to discuss foundations and applications of concurrency in graph transformation.
Navigation
Program
Program
Last updated 2558 days ago by Administrator
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 Compositionality and concurrent programs
- 12.30 Lunch (on campus, let me know if you want to join)
- 14:00 Domain-specific approaches and Kappa
- 16:00 Behavioral modelling and testing
- 19.30 Dinner (let me know if you would like to join)
Saturday
- 9:30 Concurrency theory for GT with ccontrol
We aim to finish by 1200.
