posted by user: szschaler || 5415 views || tracked by 12 users: [display]

AMMSE 2011 : 2nd Intl. Workshop on Algebraic Methods in Model-Based Software Engineering

FacebookTwitterLinkedInGoogle

 
When Jun 30, 2011 - Jun 30, 2011
Where Zurich
Submission Deadline Apr 13, 2011
Notification Due May 29, 2011
Final Version Due Jun 12, 2011
Categories    software engineering   model-driven development   formal methods   algebraic specifications
 

Call For Papers

CALL FOR PAPERS
AMMSE 2011 - 2nd Intl. Workshop on Algebraic Methods in Model-Based Software Engineering

A satellite event of the TOOLS'11 Conference
Zurich, Switzerland, June 30th, 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.

IMPORTANT DATES
Paper submission deadline: April 13, 2011
Author notification: May 29, 2011
Camera-ready paper versions due: June 12, 2011
Workshop: June 30, 2011

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

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

SUBMISSIONS
Please submit your contributions via https://www.easychair.org/conferences/?conf=ammse2011
Submissions should be at most 15 pages long in the EPTCS LaTeX style, available at http://style.eptcs.org/

CONTACT INFORMATION
Francisco Duran duran@lcc.uma.es
Vlad Rusu vlad.rusu@inria.fr

Related Resources

ICFEM 2024   International Conference on Formal Engineering Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
CONISOFT 2024   12th International Conference on Software Engineering Research and Innovation
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
LOPSTR 2024   LOPSTR 2024 -- Preliminary Call for Papers
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
Electronics : Special Issue 2024   Combining Model-Based and Data-Driven Methods in Human–Computer Interaction
FM 2024   Formal Methods