[TYPES/announce] MeMo 2014: CFP & Presentation proposals (Deadline extension, April 2nd)

[Thomas Hildebrandt]

== Deadline Extension: April 2nd ==
Call for regular papers and presentation proposals of work submitted elsewhere:

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 ==

* Submission regular papers and presentation proposals: 2 April 2014 (DEADLINE EXTENDED)
* Notification regular papers and presentation proposals: 25 April 2014
* Camera-ready copy: 5 May 2014
* Submission posters: 28 April 2014
* Notification posters: 5 May 2014​

== Submission Instructions ==

Submissions of regular papers 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.
Submissions of presentation proposals can be based on work submitted elsewhere and be clearly marked as a presentation proposal.

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. Presentation proposals are welcome to be shorter, but should be long enough to communicate the key points of the presentation.

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/20140322/24ac2c44/attachment.html>