[TYPES/announce] Meta Models for Process Languages (MeMo), affiliated with CONCUR, Sept. 4th, Berlin, Germany (!new: Keynotes added)

[Christian Johansen]

Call for Papers and Posters (Update: keynote speakers added)

!! Deadline soon: 23 June !!

3rd International Workshop on Meta Models for Process Languages (MeMo) 2017
https://memo.wikit.itu.dk/home

affiliated with CONCUR, September 4th, 2017, Berlin, Germany
https://www.concur2017.tu-berlin.de/

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


'''Important Dates'''

    Submission regular papers and presentation proposals: 23 June 2017
    Notification regular papers and presentation proposals: 31 July 2017
    Camera-ready copy: 6 August 2017
    Submission posters: 6 August 2017
    Notification posters: 13 August 2017

'''Keynote Speakers'''

 - Jan Friso Groote, Technical University Eindhoven, The Netherlands


'''Submission Instructions'''

We invite three types of submissions:

    Full regular papers;
    Tool presentation papers;
    Posters.


Submissions of regular and tool papers must be original and should not
have been published previously nor to be under consideration for
publication while being evaluated for this workshop. Submissions of
poster proposals can be based on work submitted elsewhere and be clearly
marked as a poster proposal by prefixing the title with "POSTER:" . The
posters will be on display all throughout the workshop in the coffee
break area, when the presenters can interact with other participants.

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://easychair.org/conferences/?conf=memo2017

Papers should use the EPTCS style (http://style.eptcs.org/) and not
exceed 15 pages in length for full papers, 10 pages for tool papers, and
6 pages for poster descriptions.
If necessary, the paper may be supplemented with a clearly marked
appendix, which will be reviewed at the discretion of the program committee.

We plan an EPTCS post-proceedings volume and depending on the quality of
the submissions also a special journal issue of selected, extended papers.


'''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 Qatar
 - Matteo 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
 - Tobias 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
 - 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
 - TBA...

-- 
-----------------------------------------------------------------
Have a nice day from
Christian Johansen (old name Cristian Prisacariu)
member of PMA group (Precise Modeling and Analysis)
at Dept. of Informatics, Univ. of Oslo
-----------------------------------------------------------------