MeMo 2015 - 2nd International Workshop on Meta Models for Process Languages
Topics/Call fo Papers
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.
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.
Other CFPs
- 2nd Workshop on Formal Reasoning in Distributed Algorithms
- 8th Interaction and Concurrency Experience
- 5th Workshop on Social Network Analysis in Applications
- 4th International Conference on Computational & Mathematical Biomedical Engineering
- 2015 IEEE/ACM International Conference on Utility and Cloud Computing
Last modified: 2015-01-17 14:59:39