[TYPES/announce] MeMo 2015 - 1st CfP

[Marino Miculan]

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

 			        June 5, 2015
			    Grenoble, France

		 Satellite workshop of DisCoTec 2015
	       https://discotec2015.inria.fr/memo-2015/

			     1st Call for Papers
				   
** IMPORTANT DATES

26 March 2015: Submission of abstracts
1 April 2015: Submission of full papers and tool presentations
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 for 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

===================