caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Announcements of FME events <events@fmeurope.org>
To: "events@fmeurope.org" <events@fmeurope.org>
Subject: [Caml-list] Call for participation: COMPASS Summer School
Date: Sun, 9 Mar 2014 22:13:55 +0100	[thread overview]
Message-ID: <mailman.434.1394434916.1439.events@fmeurope.org> (raw)

++++++++++++++++++++++++++++++++++++++++++++++++++

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

                 reply	other threads:[~2014-03-10  7:09 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=mailman.434.1394434916.1439.events@fmeurope.org \
    --to=events@fmeurope.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).