[TYPES/announce] JLAMP - Special Issue on MetaModels for Process Languages - 2nd Call for Papers

[Marino Miculan]

   JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
	     SPECIAL ISSUE ON METAMODELS FOR PROCESS LANGUAGES
			  2nd  CALL FOR PAPERS


*** Aims and Scope  ***

This special issue of the Journal of Logical and Algebraic Methods in Programming is devoted to the theory and applications of metamodels, i.e. framework theories which provide general, structural results simplifying and driving the analysis and development of specific models of systems and languages. Metamodels include algebraic effects, algebraic/bialgebraic specifications, bigraphical reactive systems, coalgebras, concurrent logical frameworks, monads, psi-calculus, SOS formats, term and graph transformation systems, tile models, ULTraS and FuTS, etc.
We solicit contributions about theoretical results, tool implementations, real-world applications, case studies, new application areas, integration of meta-models with programming languages, etc.

More details at http://discotec2015.inria.fr/jlamp-special-issue-on-memo/

*** Important Dates  ***

Submission of papers:    November 15, 2015
First round reviews:   February 28, 2016
Revision due:            April 30, 2016
Acceptance notification: May 31, 2016
Final manuscript due:    June 30, 2016
Submission of the final version:    August 31, 2016

*** Guest Editors ***

Thomas Hildebrandt - IT University, Copehagen
Marino Miculan - University of Udine, Italy

--
Marino Miculan - Dept Math Compu Sci, University of Udine
marino.miculan at uniud.it   http://www.dimi.uniud.it/miculan/