[TYPES/announce] CFP: MeMo 2014: 1st International Workshop on Meta Models for Process Languages 2014

Marino Miculan marino.miculan at uniud.it
Tue Feb 25 09:55:36 EST 2014


== CALL FOR PAPERS == 

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

affiliated to DisCoTec (http://www.discotec.org)

June 6th, 2014, Berlin, Germany

http://www.itu.dk/research/models/wiki/index.php/MeMo2014

== Aim and Topics: ==

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)


== Important Dates ==

* Abstract regular papers: 20 March 2014
* Submission regular papers: 24 March 2014
* Notification regular papers: 25 April 2014
* Camera-ready copy: 5 May 2014
* Submission posters: 28 April 2014
* Notification posters: 5 May 2014​
 
== Submission Instructions ==

Submissions must be original and should not have been published previously nor to be under consideration for publication while being evaluated for this workshop. 

We welcome both tool presentations and research contributions.

Evaluation criteria will be technical quality, readability, novelty, and scope.

All papers and posters must be in English and submitted at the EasyChair submission site: https://www.easychair.org/conferences/?conf=memo2014 

Papers should use the Springer LNCS style and not exceed 15 pages in length. If necessary, the paper may be supplemented with a clearly
marked appendix, which will be reviewed at the discretion of the programme committee. 

We plan an LNCS post-proceedings volume and depending on the quality of the submissions also a special journal issue of selected, extended papers.

== Organisation ==

Workshop Organizers:
* Thomas Hildebrandt, IT University of Copenhagen, Denmark
* Marino Miculan, University of Udine, Italy
* Søren Debois, IT University of Copenhagen, Denmark 

Program Committee:
* Patrick Bahr, University of Copenhagen, Denmark
* Vincenzo Ciancia, ISTI CNR Pisa, Italy
* Søren Debois,  IT University of Copenhagen, Denmark
* Fabio Gadducci, University of Pisa, Italy
* Tobias Heindel, The University of Edinburgh, Scotland
* Thomas Hildebrandt (chair), IT University of Copenhagen, Denmark
* Jean Krivine,  Université Paris Diderot, France
* Barbara König, University of Duisburg-Essen, Germany
* Marino Miculan, University of Udine, Italy
* Joachim Parrow, Uppsala University, Sweden
* Carsten Schurmann,  IT University of Copenhagen, Denmark
* Pawel Sobocinski, University of Southampton, United Kingdom
* Jan Rutten, Centrum Wiskunde & Informatica (CWI), The Netherlands

--
Marino Miculan - Dept Math Compu Sci, University of Udine
marino.miculan at uniud.it   http://www.dimi.uniud.it/miculan/



More information about the Types-announce mailing list