From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7202 Path: news.gmane.org!not-for-mail From: Marco Bernardo Newsgroups: gmane.comp.lang.caml.inria,gmane.science.mathematics.categories,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.petri-nets,gmane.comp.science.types.announce Subject: SFM-12:MDE in Bertinoro -- second call for participation Date: Mon, 13 Feb 2012 11:13:56 +0100 (CET) Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: dough.gmane.org 1329143027 29610 80.91.229.3 (13 Feb 2012 14:23:47 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 13 Feb 2012 14:23:47 +0000 (UTC) Cc: Vittorio Cortellessa , Alfonso Pierantonio To: agents@cs.umbc.edu, , , , , , , , , , , , , , , , , , , , , , , , , , , Original-X-From: caml-list-owner@inria.fr Mon Feb 13 15:23:38 2012 Return-path: Envelope-to: gclci-caml-list@gmane.org Original-Received: from mail1-relais-roc.national.inria.fr ([192.134.164.82]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Rwwoa-0007Mi-L5 for gclci-caml-list@gmane.org; Mon, 13 Feb 2012 15:23:36 +0100 X-IronPort-AV: E=Sophos;i="4.73,412,1325458800"; d="scan'208";a="144028741" Original-Received: from walapai.inria.fr ([128.93.30.24]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Feb 2012 15:23:29 +0100 Original-Received: from walapai.inria.fr (localhost [127.0.0.1]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1DENTtT008186; Mon, 13 Feb 2012 15:23:29 +0100 Original-Received: (from sympa@localhost) by walapai.inria.fr (8.13.6/8.12.10/Submit) id q1DENRpC008175; Mon, 13 Feb 2012 15:23:27 +0100 X-Authentication-Warning: walapai.inria.fr: sympa set sender to caml-list-owner@inria.fr using -f X-Sympa-To: caml-list@inria.fr Original-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 q1DAEQKi031035 for ; Mon, 13 Feb 2012 11:14:27 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhMHANDhOE/BzQKH/2dsb2JhbABEDp8pAZBIgQeBdAYBARodLgEBDyg5XQGIEQazLos/DwcbAQMKAw8EEAIgAQUHBgaDbAMECFYFgzQEmy6MMTg X-IronPort-AV: E=Sophos;i="4.73,411,1325458800"; d="scan'208";a="131112207" Original-Received: from unknown (HELO raffaello.sti.uniurb.it) ([193.205.2.135]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Feb 2012 11:14:21 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by raffaello.sti.uniurb.it (Postfix) with ESMTP id 337C15EB7F; Mon, 13 Feb 2012 11:14:17 +0100 (CET) Original-Received: from raffaello.sti.uniurb.it (raffaello.sti.uniurb.it [192.168.1.1]) by raffaello.sti.uniurb.it (Postfix) with ESMTP id 503055EB06; Mon, 13 Feb 2012 11:13:56 +0100 (CET) X-Virus-Scanned: by AMaViS snapshot-20020222 X-Validation-by: bernardo@sti.uniurb.it X-Loop: caml-list@inria.fr X-Sequence: 3309 Errors-to: caml-list-owner@inria.fr Precedence: list List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Xref: news.gmane.org gmane.comp.lang.caml.inria:54086 gmane.science.mathematics.categories:7202 gmane.science.mathematics.logic.coq.club:7847 gmane.science.mathematics.petri-nets:3052 gmane.comp.science.types.announce:2776 Archived-At: *********************************************************** * * * SFM-12:MDE * * * * 12th International School on * * Formal Methods for the Design of * * Computer, Communication and Software Systems: * * Model-Driven Engineering * * * * Bertinoro (Italy), 18-23 June 2012 * * * * http://www.sti.uniurb.it/events/sfm12mde/ * * * *********************************************************** * CALL FOR PARTICIPATION * * (deadline: 21 March 2012) * *********************************************************** GENERAL INFORMATION ABOUT SFM ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field. This year SFM is devoted to model-driven engineering and covers topics such as modeling languages, model transformations, functional and performance modeling and analysis, and model evolution. COURSES AND LECTURERS ^^^^^^^^^^^^^^^^^^^^^ The school features the following lectures and lab sessions: "MDE Basics with a UML Focus" Bran Selic (Malina Software Corporation, CA) "MDE Basics with a DSL Focus" Mark van den Brand (Tech. Univ. Eindhoven, NL) "The Object Constraint Language" Jordi Cabot (Ecole de Mines de Nantes, FR) "Model Transformations" Alfonso Pierantonio (Univ. L'Aquila, IT) "Graph Transformations" Holger Giese (Univ. Potsdam, DE) "Abstractions for Behavior Validation" Sebastian Uchitel (Imperial College London, UK) "Software Performance Modeling" Dorina Petriu (Carleton Univ. Ottawa, CA) "Model Transformations in Non-Functional Analysis" Steffen Becker (Univ. Paderborn, DE) "Performance Antipatterns: Modeling and Analysis" Vittorio Cortellessa (Univ. L'Aquila, IT) "Model Versioning" Gerti Kappel (Tech. Univ. Wien, AT) "Model Evolution Management" Krzysztof Czarnecki (Univ. Waterloo, CA) "Formal Specification and Testing of Model Transformations" Antonio Vallecillo (Univ. Malaga, ES) All participants will receive a copy of a tutorial book published by Springer as a volume in the Lecture Notes in Computer Science series. LOCATION ^^^^^^^^ SFM-12:MDE will be held in the medieval hilltop town of Bertinoro. This town is in Emilia Romagna, about 70 km south-east of Bologna, at an elevation of about 230 m. It can be reached in a couple of hours from the international airport "G. Marconi" of Bologna by shuttle (from the airport to the railway station) + train (from Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro). The closest airport is the "L. Ridolfi" airport of Forli`, which is 13 km away. Bertinoro is close to many splendid locations such as Urbino, Gradara, San Leo, and the Republic of San Marino, as well as some less well-known locations like the thermal springs of Fratta Terme. Bertinoro can also be a base for visiting some of the better-known Italian locations such as Bologna, Rimini, Ravenna, Ferrara, Venezia, Padova, Verona, Firenze, Pisa, and Siena. Bertinoro itself is picturesque, with its narrow streets and walkways winding around the central peak. The school will be held at the Centro Residenziale Universitario (CRU), an ex-episcopal fortress that has been converted by the University of Bologna into a modern conference center with computing facilities and Internet access. From the fortress, it is possible to enjoy a beautiful vista stretching from the Apennines to the Adriatic coast and the Alps over the Po Valley. ORGANIZATION ^^^^^^^^^^^^ Scientific directors: * Marco Bernardo (University of Urbino, IT) * Vittorio Cortellessa (University of L'Aquila, IT) * Alfonso Pierantonio (University of L'Aquila, IT) Secretary: * Monica Michelacci (CRU Bertinoro, IT) APPLICATION ^^^^^^^^^^^ Prospective participants should send by 21 March 2012 the application form, available on the school web site, to the two e-mail addresses below: Marco Bernardo bernardo AT sti.uniurb.it Monica Michelacci mmichelacci AT ceub.it The registration fee is 600 euros and includes the school material. The accommodation fee is 350 euros and covers the period June 17-24 (7 nights) in double room (to share with another participant), half board (breakfast and lunch, dinner of June 17 included, lunch of June 24 excluded). The reduced accommodation fee for the participants who do not need a room is 100 euros and covers the period June 18-23 (6 lunches). A very limited number of grants is available to cover part of the registration fee (no grant can be requested to cover the accommodation fee or the travel expenses). Notification of accepted/rejected applications and grant requests will be communicated by March 31. Registration to the school is due by April 20. No refund is possible for cancellation after May 15. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs