From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EFCD87F86A for ; Mon, 10 Mar 2014 08:09:17 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@kruisbes.hosting.west.nl) identity=helo; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="postmaster@kruisbes.hosting.west.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkAFAOBkHVPBVEO1dGdsb2JhbABaKIMZwUSBaBYOAQwVCDyCJwEFAQEaHQwDBxsDDgMBAgYCQAgIAwEjNhMFDwiHYQm0Aps0F415EQGDBQ+BewSZd5AYhBE8gTU X-IPAS-Result: AkAFAOBkHVPBVEO1dGdsb2JhbABaKIMZwUSBaBYOAQwVCDyCJwEFAQEaHQwDBxsDDgMBAgYCQAgIAwEjNhMFDwiHYQm0Aps0F415EQGDBQ+BewSZd5AYhBE8gTU X-IronPort-AV: E=Sophos;i="4.97,622,1389740400"; d="scan'208";a="51942406" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Mar 2014 08:09:10 +0100 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 3621C6F858; Mon, 10 Mar 2014 08:09:05 +0100 (CET) Date: Sun, 9 Mar 2014 22:13:55 +0100 To: "events@fmeurope.org" Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) X-Spam-Report: * -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at http://www.dnswl.org/, * medium trust * [130.238.7.73 listed in list.dnswl.org] * -1.7 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on kruisbes.hosting.west.nl X-Mailman-Approved-At: Mon, 10 Mar 2014 08:01:55 +0100 Message-ID: From: Announcements of FME events X-BeenThere: events@fmeurope.org X-Mailman-Version: 2.1.13 Reply-To: events@fmeurope.org List-Id: Announcements of FME events List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: events-bounces@fmeurope.org Errors-To: events-bounces@fmeurope.org X-Virus-Scanned: clamav-milter 0.97.8 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] Call for participation: COMPASS Summer School ++++++++++++++++++++++++++++++++++++++++++++++++++ COMPASS Summer School: New Developments in Model-Based Systems of Systems Engineering June 16-20 2014, Newcastle University, UK http://www.compass-research.eu/summerschool.html ++++++++++++++++++++++++++++++++++++++++++++++++++ * Call for Participation: Deadline 14 March 2014 * We invite PhD students and post-doctoral researchers to participate in the COMPASS Summer School. The focus of the School will be the new developments in modelling and analysis of Systems of Systems (SoSs), both in architectural modelling and formal specification. COMPASS (Comprehensive Modelling for Advanced Systems of Systems) is a consortium of researchers and companies collaborating on model-based techniques for developing and maintaining SoSs, through methods and tools that promote the construction and early analysis of models. The techniques provide different levels of description, starting with a graphical view (in a notation such as SysML) linked to an underlying formal notation, the COMPASS Modelling Language (CML), accessible to stakeholders trained in formal specification. CML provides features for specifying state, functionality and reactive behaviour of constituent systems, and is the first language developed specifically for SoS modelling. * Objective * The objective of the Summer School is to encourage the growth and development of a community of researchers around the COMPASS technology, and to engage interest in a community which includes experts in Model-Based Design, Architectural Modelling and Meta-Modelling, Systems Engineering and Formal Specification. We will achieve this with an intensive five days of tutorials on the COMPASS technologies and tools, and case-study based group exercises. * Content * Participants will be initially trained in the core approach of model-based SoS Engineering, followed by specialised training in either architectural modelling frameworks or formal specification and verification using CML. This will be followed by group exercises combining both these aspects on a small SoS development case study. * Who is the Summer School aimed at? * We welcome applications from PhD students and post-doctoral researchers with a background in a discipline such as Systems of Systems, Systems Engineering, Formal Specification, Component-Based Development, Model-Based Systems Engineering or related areas. * How to Apply * Please apply for participation using the online form at http://www.compass-research.eu/summerschool.html In addition, you will need to send a draft poster summarising your background and research interest to the Summer School coordinator, Steve Riddle (Steve.Riddle@ncl.ac.uk). We will inform successful applicants before the end of March. * Dates * Deadline for applications and posters: Friday 14 March Notification of successful application: Friday 28 March COMPASS Summer School: 16 - 20 June * Cost * Attendance at the workshop is free. Attendees will need to pay for their own travel and accommodation. Organising Committee: John Fitzgerald, Steve Riddle (Newcastle University); Peter Gorm Larsen (Aarhus University); Jim Woodcock (University of York) * Further information * Web: www.compass-research.eu Twitter: @compass_sos email: Steve.Riddle@ncl.ac.uk _______________________________________________ events mailing list events@fmeurope.org http://fmeurope.hosting.west.nl/mailman/listinfo/events