[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
MeMo 2015
2nd International Workshop on
MetaModels for Process Languages
June 5, 2015
Grenoble, France
Satellite workshop of DisCoTec 2015
https://discotec2015.inria.fr/memo-2015/
Last Call for Papers
** IMPORTANT DATES
29 March 2015 AoE: Submission of abstracts (NEW!)
4 April 2015 AoE: Submission of full papers and tool presentations (NEW!)
28 April 2015: Notification to authors (papers & tool presentations)
28 April 2015: Submission of posters
5 May 2015: Submission of camera-ready for pre-proceedings
5 May 2015: Notification of posters to authors
5 June 2015: MeMo in Grenoble
** SCOPE
Metamodels are framework theories which provide general, structural results
simplifying and driving the development of models of specific systems and
languages. Metamodels can also help in the definition of new computation and
programming paradigms.
The goal of the MeMo workshop is to bring together researchers and
practitioners working on and with metamodels, with the aim to share insights,
uncover similarities and differences, possibilities for cross-fertilization and
stimulate further research. 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
- 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
** SUBMISSION
We invite three types of submissions: Full Papers; Tool presentations; 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.
A post-proceedings is planned as a special issue in a highly-reputed journal.
** 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
===================
