AMMSE 2011 - AMMSE 2011 2ND WORKSHOP ON ALGEBRAIC METHODS IN MODEL-BASED SOFTWARE ENGINEERING

Website | Edit Freely

Category AMMSE 2011

Deadline: April 13, 2011 | Date: June 20, 2011

Venue/Country: ZURICH, Switzerland

Updated: 2011-02-18 15:07:33 (GMT+9)

Call For Papers - CFP

The topics relevant to the workshop are all those related to the use of algebraic methods to software engineering, including but not limited to:

formally specifying and verifying model-based software engineering concepts and related ones (MDE, UML, OCL, MOF, DSLs, ...)

tool support for the above

integration of formal and informal methods

theoretical frameworks (algebraic, rewriting-based, category theory-based, ...)

Its main goal is to examine, discuss, and relate the existing projects within the algebraic community that address common open-issues in model-driven software engineering.

To foster the discussion among participants, our plan is to organize the workshop in two main sessions, with short individual presentations (20 minutes) followed by ample time slots for comments, questions, and exchange of ideas.

PROGRAM

To be announced.

IMPORTANT DATES

Paper submission deadline:

April 13, 2011

Author notification:

May 29, 2011

Camera-ready paper versions due:

June 12, 2011

CALL FOR PAPERS

Available in text form and pdf.

SUBMISSION

Please submit your contributions via EasyChair. Submissions should be at most 15 pages long in the EPTCS LaTeX style, available at the EPTCS site.

PROGRAM COMMITTEE

Artur Boronat, University of Leicester, UK

Roberto Bruni, University of Pisa, Italy

Jordi Cabot, École des Mines de Nantes, France

Manuel Clavel, Imdea Software & Universidad Complutense de Madrid, Spain

Francisco Durán, University of Málaga, Spain (co-chair)

Martin Gogolla, University of Bremen, Germany

Alexander Knapp, Augsburg University, Germany

Juan de Lara, Universidad Autónoma de Madrid, Spain

José Meseguer, University of Illinois, Urbana-Champaign, USA

Pierre-Etienne Moreau, Ecole des Mines de Nancy & INRIA Nancy, France

Peter Ölveczky, University of Oslo, Norway

Vlad Rusu, IRISA-INRIA, Rennes, France (co-chair)

Gwen Salaün, Grenoble INP?INRIA? LIG. France

Martín Wirsing, Ludwig-Maximilians-Universität, München, Germany

http://www.lcc.uma.es/~duran/AMMSE11/#dates