MeMo 2015

2nd International Workshop on
Meta Models for Process Languages
(MeMo 2015)

Satellite workshop of DisCoTec 2015

June 5, 2015, Grenoble, France

Highlights

Important Dates

  • 29 March 2015 AoE: Submission of abstracts
  • 4 April 2015 AoE: Submission of papers and tool presentations
  • 28 April 2015: Notification to authors (papers & tool presentations)
  • 1 May 2015: Submission of posters
  • 5 May 2015: Notification of posters to authors
  • 7 May 2015: Submission of camera-ready for pre-proceedings
  • 5 June 2015: MeMo in Grenoble

Scope

Developing appropriate models for systems, programming languages and processes is not easy.  Hence, several metamodels have been proposed. Metamodels are framework theories which provide general, structural results simplifying and driving the development of models of specific systems and languages. There are frameworks for operational semantics (such as GSOS, graph rewriting systems, Milner’s bigraphs, coalgebras), for denotational semantics (such as algebraic/bialgebraic specifications, monads, enriched Lawvere theories, mathematical operational semantics), and for logical semantics (such as metalanguages for deductive systems, i.e. Logical Frameworks). The boundaries between these metamodels are blurred, and techniques and ideas from one can be reapplied to the others. Moreover, metamodels can help in the definition of new computation and programming paradigms.

The goal of the MeMo workshop is to bring together researchers working on and with metamodels, with the aim to share insights, uncover similarities and differences, possibilities for cross-fertilization and stimulate further research in this exciting area.  We solicit contributions in the theory and applications of meta models: theoretical results, tool implementations, real-world applications, case studies, new application areas, integration of meta-models with programming languages, etc.  Topics include (but are not limited to):

  • Metamodels for operational semantics: bigraphical reactive systems, coalgebras, psi-calculus, SOS formats, term and graph transformation systems, tile models, ULTraS and FuTS, etc.
  • Metamodels for denotational semantics: algebraic/bialgebraic specifications, monads, enriched Lawvere theories, mathematical operational semantics, etc.
  • Metamodels for logical semantics: metalanguages for deductive systems, concurrent logical frameworks, etc.
  • Expressiveness issues of metamodels
  • Applications of meta-models to the design of computational paradigms (e.g., for agent-based and context-aware computing)
  • Tools, implementations, and experiments

Selection Procedure

Each paper will be peer-reviewed by at least three PC members. Evaluation criteria will be technical quality, readability, novelty and scope.

Submission

We invite three types of submissions:

  1. Full Papers;
  2. Tool presentations;
  3. Posters.

Full papers and tool presentations will appear in the pre-proceedings and post-proceedings and must report previously unpublished work and not be simultaneously submitted to other conferences/workshops with refereed proceedings. In addition, we invite poster announcements of already published results, should the authors be interested in discussing their published research with the MeMo community and giving a talk. Posters will not be part of the post-proceedings. Submissions must be made electronically in PDF format via EasyChair (http://www.easychair.org/conferences/?conf=memo2015). Full papers should not exceed 15 pages in length, while tool presentations and posters should not exceed 8 pages with the EPTCS style (http://style.eptcs.org/). Accepted papers, tool presentations and posters must be presented at the workshop by one of the authors.

Post Proceedings Special Issue

A post-proceedings will be published as a special issue in the Journal of Logical and Algebraic Methods in Programming. Contributions to the Special Issue will be regularly peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. See the call for papers for deadlines and submissions details.

Invited Talk

  • Michele Loreti: ULTraS of FuTS

Program

(09:00-10:00 FRIDA-ICE invited talk: TLA+ for Non-Dummies, Leslie Lamport)

11:00 – 12:30 Session 1

  • Invited talk: ULTraS of FuTS
    Michele Loreti
  • Towards a Channels Allocation Scheme Model for WMNs based on SBRS with Sharing
    Rachida Boucebsi and Faiza Belala

12:30 – 13:30 Lunch

(13:30-14:30 FRIDA invited talk: Solved and Unsolved Problems in Monitoring Distributed Computations, Vijay Garg)

14:30 – 15:30 Session 2

  • Modal Logics for Nominal Transition Systems
    Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas and Tjark Weber
  • Recovering a Labelled Semantics for Soft CCP with Local Variables
    Fabio Gadducci and Francesco Santini

15:30 – 16:00 Break

16:00 – 17:30 Session 3

  • Structured Operational Semantics for Graph Rewriting
    Tobias Heindel and Andrei Dorman
  • Computing approximations for graph transformation systems
    Ricardo Honorato-Zimmer, Tobias Heindel, Vincent Danos and Sandro Stucki
  • Discussion and closing

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
  • Marino Miculan, University of Udine, Italy (chair)
  • Joachim Parrow, Uppsala University, Sweden
  • Iliano Cervesato, CMU Qatar
  • Pawel Sobocinski, University of Southampton, United Kingdom
  • Jan Rutten, Centrum Wiskunde & Informatica (CWI), The Netherlands

Organizers

  • Søren Debois, IT University of Copenhagen, Denmark
  • Thomas Hildebrandt, IT University of Copenhagen, Denmark
  • Marino Miculan, University of Udine, Italy

Contact

Previous editions

  • Bigraph 2011, Udine
  • Bigraph 2012, IT University of Copenhagen
  • Bigraph 2013, IT University of Copenhagen
  • MeMo 2014, Berlin, Germany, co-located with DisCoTec 2014.