MeMo2014

From Models Wiki
Jump to: navigation, search

Contents

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

affiliated to DisCoTec, June 6th, 2014, Berlin, Germany

Submission open for regular original papers and presentation proposals (of work possibly submitted/published elsewhere). Deadline: April 2nd (EXTENDED)

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.

Programme

Session 0 - Bigraphs

  • 09:00 - 10:00 Tutorial 1: Marino Miculan, Bigraphical Reactive Systems
  • 10:00 - 10:30 Marino Miculan and Marco Peressotti: A CSP implementation of the bigraph embedding problem
  • 10:30 - 11:00 Coffee Break

Session 1 - Bigraphs: Encodings

  • 11:00 - 11:30 Michele Sevegnani and Eloi Pereira: Towards a Bigraphical Encoding of Actors
  • 11:30 - 12:00 Wusheng Wang, Gian Perrone, Thomas Hildebrandt and Soren Debois: Bigraphical Petri Nets Implementation

Session 2 - Nominal Automata

  • 12:00 - 12:30 Vincenzo Ciancia and Matteo Sammartino: Nominal deterministic omega-automata


  • 12:30 - 14:00 Lunch

Session 3 - Psi-calculi: Tutorial

  • 15:00 - 16:00 Tutorial 2: Joachim Parrow, Psi-calculi


  • 16:00 - 16:30 Coffee Break


Session 4 - Psi-calculi: Current and Future Developments

  • 16:30 - 17:00 Johannes Åman Pohjola and Joachim Parrow: Bisimulation up-to techniques for psi-calculi
  • 17:00 - 17:30 Håkon Normann, Cristian Prisacariu and Thomas Hildebrandt. True Concurrency Semantics for Psi-calculi​
  • 17:30 - 18:00 Concluding discussion (everyone)


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.

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.

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

Programme Committee Chair

  • Thomas Hildebrandt, 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, 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
Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox