European Association of Software Science and Technology

Log in
Workshop on Graph Transformation and Concurrency

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.

Program

Program

Last updated 1549 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.