[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS AMMSE 2011 2nd International 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. 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. 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, É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 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 du...@lcc.uma.es Vlad Rusu vlad.r...@inria.fr ----