MeMo 2014 - 1st International Workshop on Meta Models for Process Languages (MeMo) 2014

The workshop targets research in and new applications of formal meta models for the definition of process languages and their semantics.
Examples of such meta models are bigraphical reactive systems, psi-calculi, the tile model, term and graph rewriting, SOS formats, presheaf models, co-algebras and specification of processes in logical frameworks such as CELF.
The goal of the workshop is to bring together researchers working on the development of theory and tools for meta models for process languages - to share insights, uncover similarities and differences, possibilities for cross-fertilization and stimulate further research in this exciting area. The workshop will be welcoming old and new members of the community alike.
In addition to presentations of contributed papers the workshop will offer two 1-hour tutorials, a poster session and a round-table discussion at the end of the workshop.
Tutorials
Psi-calculi (given by Joachim Parrow)
Bigraphical Reactive Systems (given by Marino Miculan)