[TYPES/announce] MeTRiD @ ETAPS 2019: Call for papers

Simon Bliudze simon.bliudze at inria.fr
Mon Oct 15 12:13:26 EDT 2018


**********************************************************************
(satellite workshop of ETAPS 2019)

                           CALL FOR PAPERS

                    2nd International Workshop on
             Methods and Tools for Rigorous System Design
                             MeTRiD 2019

                 Prague, Czech Republic, 6 April 2019

    https://conf.researchr.org/track/etaps-2019/metrid-2019-papers
                   https://project.inria.fr/metrid/

**********************************************************************

-- ABOUT MeTRiD --

MeTRiD 2019 is the second edition of the MeTRiD international workshop
focusing on the theoretical foundations, tools and applications of the
Rigorous System Design (RSD) approach.

The term "Rigorous System Design" denotes the design approach that
is based on a formal, accountable and iterative process for deriving
trustworthy and optimised implementations from models of application
software, its execution platform and its external environment.  In
particular, a system implementation is derived from a set of
appropriate high-level models by applying a sequence of semantics-
preserving transformations, thereby as much as possible striving for
achieving correctness by construction.

The goal of the workshop is to promote cross-fertilisation between
theoretical research in academia and practical applications in the
industry.  On one hand, we hope that, through the publication of
research and tool papers, the workshop will contribute to raising
awareness of the methods and tools available among the industrial
players.  On the other hand, presentation and exchange of realistic
case studies should allow academic researchers to better fit their
tools to industrial needs, thereby improving the dissemination of
results.

This year, we broaden the scope of MeTRiD workshop with contributions
on the design of systems for increased autonomy in vehicles, the
Internet of Things and elsewhere. The key concern in such systems is
their ability to handle knowledge and adaptively respond to
environment changes, while the ultimate challenge is preserving
rigorousness despite the fact that essential properties cannot be
guaranteed at design time.


-- INVITED SPEAKERS --

   * TBA
   * TBA


-- IMPORTANT DATES --
(all dates are 23:59 AoE)

   * Abstract submission:       20 January 2019
   * Paper submission:          27 January 2019
   * Decision notification:     01 March   2019
   * Pre-proceedings version:   17 March   2019
   * Final camera-ready:        28 April   2019

-- SCOPE --

The workshop will solicit contributions of three types:

   * Regular papers, presenting original research

   * Case study papers, reporting the evaluation of existing
     modelling, analysis, transformation and code generation
     formalisms and tools on realistic examples of significant size

   * Tool papers, describing new tool prototypes supporting the RSD
     flow and enhancements of existing ones

The authors of accepted tool papers will be expected to give a live
demonstration at the workshop.

Topics of interest include, but are not limited to the following:

   * models and formalisms for specifying user requirements,
     functional behaviour of application components, coordination and
     interaction protocols, execution platform architectures, resource
     utilisation policies etc.
   * reference models and architectures for systems of autonomous
     agents
   * model transformation techniques integrating models
   * design-time and run-time knowledge generation/transformation for
     system adaptivity
   * analysis techniques for establishing correctness properties at
     all stages of the design process 
   * case studies exemplifying potential applications of the RSD
     approach
   * prototype tools supporting various stages of the RSD flow
   * tool integration experiences


-- LIGHTWEIGHT DOUBLE-BLIND POLICY --

All submitted papers will be reviewed by at least three independent
reviewers under a lightweight double-blind policy.  The authors would
be expected to invest reasonable effort into concealing their
identities.  However, the main goal is to allow for unbiased review:
anonymisation should not affect the quality of submissions, nor in any
way hamper their evaluation.  In particular, references to technical
reports, case study models or tool distributions are acceptable and
should be provided where necessary.


-- PAPER SUBMISSION AND PUBLISHING  --

Papers of all types will be made available before the workshop on the
MeTRiD website and will be published as post-proceedings in the
open-access series Electronic Proceedings in Theoretical Computer
Science (EPTCS). 

Submitted papers must be in English, presenting original work.  They
must be unpublished and not submitted for publication elsewhere.

All submissions must adhere to the EPTCS formatting style
(http://style.eptcs.org/) and are limited to 12 pages (not counting
the appendices), but shorter extended abstracts are welcome.

Tool papers should provide the URL of the tool (if available) and
illustrate the maturity and robustness of the tool.  They must also
comprise an appendix of reasonable length (roughly 6 pages, although
minor deviations will be tolerated, if necessary) with the description
of the demonstration, including screenshots.  As usual, appendices
will be used for evaluation purposes only and will not be included for
publication.

Contributions must be submitted electronically in PDF through the
EasyChair author interface:

https://easychair.org/conferences/?conf=metrid2019

Submissions not adhering to the specified format and length may be
rejected immediately.


-- ORGANIZERS --

Simon Bliudze (INRIA Lille - Nord Europe, France)
Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)


All queries can be sent to: metrid2019 at easychair.org


-- PROGRAM COMMITTEE --

Farhad Arbab (CWI and Leiden University, The Netherlands)
Paul Attie (American University of Beirut, Lebanon)
Ezio Bartocci (TU Wien, Austria)
Stylianos Basagiannis (United Technologies Research Centre, Ireland)
Saddek Bensalem (Verimag / University Grenoble Alpes, France)
Simon Bliudze (INRIA Lille - Nord Europe, France)
Marius Bozga (Verimag / CNRS, France)
Tomas Bures (Charles University, Czech Republic)
Wenceslas Godard (Airbus Group, France)
Marieke Huisman (University of Twente, The Netherlands)
Mohamad Jaber (American University of Beirut, Lebanon)
Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)
Igor Konnov (TU Wien, Austria)
Axel Legay (IRISA, France)
Tiziana Margaria (University of Limerick and Lero, Ireland)
Anastasia Mavridou (NASA Ames, US)
Claire Pagetti (ONERA / IRIT-ENSEEIHT, France)
Yiannis Papadopoulos (University of Hull, UK)
Yvonne-Anne Pignolet (ABB Corporate Research, Switzerland)
Harald Ruess (fortiss, Germany)
Martina Seidl (Johannes Kepler University, Austria)
Joseph Sifakis (Verimag / CNRS, France)
Paola Spoletini (Kennesaw State University, USA)
Janos Sztipanovits (Vanderbilt University, USA)
Marcel Verhoef (European Space Agency, The Netherlands)
Andras Voros (Budapest University of Technology & Economics, Hungary)
Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany)
Wang Yi (Uppsala University, Sweden)


-- HOST INSTITUTION --

MeTRiD is a satellite workshop of ETAPS 2019, which will be hosted
by Charles University in Prague.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181015/970ea8c3/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0xC5B0880B215E4DF6.asc
Type: application/pgp-keys
Size: 1769 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181015/970ea8c3/attachment-0001.skr>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181015/970ea8c3/attachment-0001.asc>


More information about the Types-announce mailing list