[TYPES/announce] extended deadline - April 20 - AMMSE 2001 - Algebraic Methods in Model-Based Software Engineering

Vlad Rusu vlad.rusu at inria.fr
Tue Apr 12 10:13:06 EDT 2011

(Apologies for multiple copies)

AMMSE 2011
2nd International Workshop on Algebraic Methods in Model-Based Software

A satellite event of the TOOLS'11 Conference

Zurich, Switzerland, June 30th, 2011


Over the  past years  there has been  quite a lot of activity  in the
algebraic  community  about  using  algebraic  methods  for  providing
support  to model-driven software  engineering.

The  aim of  this workshop  is to  gather researchers  working  on the
development and  application of algebraic methods  to provide rigorous
support to model-based software engineering.

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, ...)

The 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.


Paper submission deadline (extended)
April 20, 2011

Author notification:
May 29, 2011

Camera-ready paper versions due:
June 12, 2011

June 30, 2011


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 Grand-Est, France
Peter Olveczky, University of Oslo, Norway
Vlad Rusu, INRIA Lille Nord-Europe, France (co-chair)
Gwen Salaün, Grenoble INP–INRIA– LIG. France
Martín Wirsing, Ludwig-Maximilians-Universität, München, Germany


The selected papers will be published in the Electronic Proceedings in
Theoretical  Computer Science (EPTCS).The  organizers of  TOOLS'11 are
negotiating  for an LNCS  volume comprising  extended versions  of the
best papers of all the TOOLS'11 satellite events.


Please submit your contributions via

Submissions should be at most 15 pages long in the
EPTCS LaTeX style, available at http://style.eptcs.org/


Francisco Duran duran at lcc.uma.es
Vlad Rusu vlad.rusu at inria.fr

More information about the Types-announce mailing list