[TYPES/announce] Final CFP (Abstract Deadline March 20): Meta Models for Process Languages (MeMo) 2014

[Thomas Hildebrandt]

== FINAL CALL FOR PAPERS: Abstract Deadline March 20 ==

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

affiliated to DisCoTec (http://www.discotec.org<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?

?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140313/0ad58aae/attachment-0001.html>