[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

This is a reminder that the submission deadline for AMMSE 2011 is April 13.
Please receive our apologies for multiple postings. 

AMMSE'11 2nd International Workshop on Algebraic Methods in Model-Based 
Software Engineering 
A satellite event of the TOOLS'11 Conference 
Zurich, Switzerland, June 30, 2011 


Aims and Scope: 

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. 

Program Committee: 

Artur Boronat, University of Leicester, UK 
Roberto Bruni, University of Pisa, Italy 
Jordi Cabot, Ecole des Mines de Nantes, France 
Manuel Clavel, Imdea Software & Universidad Complutense de Madrid, Spain 
Francisco Duran, University of Malaga, Spain (co-chair) 
Martin Gogolla, University of Bremen, Germany 
Alexander Knapp, Augsburg University, Germany 
Juan de Lara, Universidad Autonoma de Madrid, Spain 
Jose Meseguer, University of Illinois, Urbana-Champaign, USA
Pierre-Etienne Moreau, Ecole des Mines de Nancy & INRIA Nancy Grand-Est, France
Peter Csaba Olveczky, University of Oslo, Norway 
Vlad Rusu, INRIA Lille Nord-Europe, France (co-chair) 
Gwen Salaun, Grenoble INP/INRIA/LIG. France 
Martin Wirsing, Ludwig-Maximilians-Universitat, Munchen, Germany 

Paper Submissions: 

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


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. 

Important Dates:  

Paper submission:  April 13, 2011  
Author notiÞcation:  May 29, 2011  
Final versions:  June 12, 2011  
Workshop:  June 30, 2011  


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

Reply via email to