MeMo 2017

Date: Sep 04, 2017 12:00 am – Sep 04, 2017 11:30 am
Location: Berlin, Germany

3rd International Workshop on Meta Models for Process Languages (MeMo) 2017

affiliated with CONCUR

Aim and Topics

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, K-framework, 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

Keynote Speaker

  • Jan Friso Groote, Technical University Eindhoven, The Netherlands

Program Committee Co-Chairs and Organizers

  • Thomas Hildebrandt, IT University of Copenhagen, Denmark
  • Christian Johansen, University of Oslo, Norway

Program Committee

  • Patrick Bahr, IT University of Copenhagen, Denmark
  • Iliano Cervesato, CMU QatarMatteo Cimini, Indiana University, Bloomington, USA
  • Søren Debois, IT University of Copenhagen, Denmark
  • Yuxin Deng, East China Normal University, China
  • Uli Fahrenberg, Ecole Polytechnique, France
  • Heindel, University of Leipzig, Germany
  • Thomas Hildebrandt, IT University of Copenhagen, Denmark (co-chair)
  • Hans Hüttel, Aalborg University, Denmark
  • Christian Johansen, University of Oslo, Norway (co-chair)
  • Marino Miculan, University of Udine, Italy
  • Joachim Parrow, Uppsala Universitet, Sweden
  • Marco Peressotti, University of Southern Denmark
  • Johannes Åman Pohjola, Chalmers University, Sweden
  • Jan Rutten, Centrum Wiskunde & Informatica (CWI), The Netherlands
  • Pawel Sobocinski, University of Southampton, UK
  • Uwe Egbert Wolter, University of Bergen, Norway
  • Foundations
  • Modeling
  • Validation and Verification
  • Workshop
  • 2017
Submitted by Anonymous on Tue, 06/20/2017 - 15:43