From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q229KPrc019958; Fri, 2 Mar 2012 10:20:25 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AukLAHeQUE+TYAFaXWdsb2JhbABDtCgYFwsKBxUngX4BBR0dAgFMUR8kFIgfsRuJI48BYwSNF44nhR6HVYFVBhE X-IronPort-AV: E=Sophos;i="4.73,517,1325458800"; d="scan'208";a="133988911" Received: from hierro.sim.ucm.es ([147.96.1.90]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Mar 2012 10:20:19 +0100 X-IronPort-AV: E=Sophos;i="4.73,517,1325458800"; d="scan'208";a="115564990" Received: from unknown (HELO ULISES.sim.ucm.es) ([10.150.1.31]) by hierro.sim.ucm.es with ESMTP; 02 Mar 2012 10:20:19 +0100 Received: from aeris.sip.ucm.es (aeris.sip.ucm.es [147.96.80.67]) by ULISES.sim.ucm.es (Sun Java System Messaging Server 6.2-8.04 (built Feb 28 2007)) with ESMTPA id <0M090084J39T9210@ULISES.sim.ucm.es>; Fri, 02 Mar 2012 10:20:19 +0100 (CET) Date: Fri, 02 Mar 2012 10:20:16 +0100 From: WADT 2012 In-reply-to: <7C87D8ED-E605-4E4F-ABCF-76FAB168A4DA@fdi.ucm.es> To: wadt2012@fdi.ucm.es Message-id: <29817E5A-B8F1-468B-8468-80109F60250C@fdi.ucm.es> MIME-version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) Content-type: text/plain; charset=us-ascii References: <7C87D8ED-E605-4E4F-ABCF-76FAB168A4DA@fdi.ucm.es> Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q229KPrc019958 X-Validation-by: wadt2012@fdi.ucm.es Subject: [Caml-list] WADT 2012: Second Call for Papers (We apologize for multiples copies) ====================================================================== SECOND CALL FOR PAPERS WADT 2012 21st International Workshop on Algebraic Development Techniques http://maude.sip.ucm.es/wadt2012 June 7-10, 2012, Salamanca, Spain ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Thursday to Sunday, at Colegio Mayor Arzobispo Fonseca in the center of Salamanca. Presentations will be selected on the basis of submitted abstracts. Three talks will be given by invited speakers. INVITED SPEAKERS Roberto Bruni. Universita di Pisa, Italy Francisco Duran. Universidad de Malaga, Spain Kim G. Larsen. Aalborg University, Denmark IMPORTANT DATES Submission deadline for abstracts: April 2, 2012 Notification of acceptance: April 20, 2012 Final abstract due: May 18, 2012 Workshop in Salamanca: June 7-10, 2012 SUBMISSIONS The scientific program of the workshop will include presentations of recent results and ongoing research. The presentations will be selected on the basis of the submitted abstracts according to originality, significance, and general interest. The abstracts have to be submitted electronically according to the instructions published on the workshop homepage. PROCEEDINGS The final versions of the selected abstracts will be included in a flash drive for the workshop participants. After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3, and is sponsored by IFIP TC1, Universidad Complutense de Madrid, Universidad de Salamanca, Ministerio de Economia y Competitividad, and IMDEA Software. WADT STEERING COMMITTEE Michel Bidoit (France) Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) [chair] Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Narciso Marti Oliet (Spain) Miguel Palomino Tarjuelo (Spain) Gustavo Santos Garcia (Spain) CONTACT INFORMATION Email: wadt2012 at fdi.ucm.es Homepage: http://maude.sip.ucm.es/wadt2012