[ecoop-info] it-fmeurope-events Digest Mon, 08 May 2017

it-fmeurope-events-request at lists.uu.se it-fmeurope-events-request at lists.uu.se
Mon May 8 18:00:18 CEST 2017

it-fmeurope-events digest Mon, 08 May 2017

Table of contents:

* 1 - [FME Events] MSE at SEFM 2017 - Workshop Call for Papers - Manuel Mazzara
  <m.mazzara at innopolis.ru>
* 2 - [FME Events] AVoCS: special track on formal methods for robotics - Ana
  Cavalcanti <ana.cavalcanti at york.ac.uk>
* 3 - [FME Events] CAV 2017: Call for participation - mikael.mayer at epfl.ch


Message-ID: <1e2b7260328f4219ad2f72f6c1a68121 at innopolis.ru>
Date: Tue, 2 May 2017 14:46:39 +0000
From: Manuel Mazzara <m.mazzara at innopolis.ru>
Subject: [FME Events] MSE at SEFM 2017 - Workshop Call for Papers

*MSE at SEFM 2017 -  Call For Papers*

The 15th International Conference on Software Engineering and Formal Methods
(SEFM 2017) will be held in Trento, Italy, September 4-8, 2017.

The *MSE – “Microservices: Science and Engineering” Workshop* constitutes a
forum for scientists and engineers in academia and industry to present and
discuss their latest ongoing research as well as radical new research
directions that represent challenging innovations, which can advance the
status quo and the understanding in the microservices area and its
applications, in particular in the IoT where the scaling in the small approach
is of major importance.

SEFM attendees might be interested in attending this workshop because of the
relevance of its themes and goals to the SE. Also industry partners and mobile
developers are particularly welcome, thanks to their more practical approach,
hopefully bringing some real scenario examples.

This workshop aims at bringing together contributions by scientists and
practitioners to shed light on the development of scientific concepts,
technologies, engineering techniques and tools for a service-based society.
In particular, the focus is on Microservices, i.e., the use of services beyond
the traditional cross-organizational B2B approach and the implementation of
the model inside of applications, scaling in the small the concepts previously
seen in the large. In Microservices, each component of a software is a service
with the related issues of scalability and distribution of responsibility.

Topics of interest include (but not limited to):

- Design and implementation of Service-oriented Architectures and
- Software engineering techniques for Microservices
- Security in Microservices
- Formal models and analyses of Microservice systems
- Verification techniques for Microservices
- Coordination models for Microservices
- Empirical studies on services and Microservices
- Programming languages for Microservices
- Static analysis of Microservices
- Testing of Microservice systems

*Workshop Chairs*

- Marcello Maria Bersani - Politecnico di Milano, Italy
- Antonio Bucchiarone -  FBK, Trento, Italy
- Nicola Dragoni - Technical University of Denmark (DTU), Denmark
- Luca Ferrucci - ISTI-CNR, Italy
- Manuel Mazzara - Innopolis University, Russia
- Fabrizio Montesi - University of Southern Denmark

*Important Dates*

June 15, 2017: Paper submission deadline July 6, 2017: Notification of
acceptance September 4, 2017: Workshop co-located with SEFM 2017

We seek for both full and short papers. Full papers will be submitted as PDF
files, using the SPRINGER LNCS proceedings format that it is possible to find
here, with a page limit of 15 pages. Short paper should be limited to 8 pages.
All papers will be reviewed by at least 3 technical committee members.
Accepted papers will be published by the format for all SEFM Workshop,
SPRINGER LNCS Post-Proceedings.
You can submit the paper through EasyChair using this link:


MSE is a workshop at SEFM 2017, the 15th International Conference on Software
Engineering and Formal Methods (SEFM 2017) that will be held in Trento, Italy,
September 4-8, 2017

Message-ID: <CAH_UeZR5pH4AZQ=xu66=B3rRV2VTQgTXs7yjJS
 +OWPv=7mOOcg at mail.gmail.com>
Date: Fri, 5 May 2017 13:09:55 +0100
From: Ana Cavalcanti <ana.cavalcanti at york.ac.uk>
Subject: [FME Events] AVoCS: special track on formal methods for robotics

all for Papers: International Workshop on Formal Methods for Industrial
Critical Systems (FMICS) and Automated Verification of Critical Systems


18-20 September 2017
University of Torino, Italy

The conference is co-located with 13th International Conference on
integrated Formal Methods (iFM 2017) <http://ifm2017.di.unito.it>. All
information regarding the venue, registration and accommodation can be
found on iMF 2017 website <http://ifm2017.di.unito.it>.
Call for Papers

The aim of the FMICS workshop series is to provide a forum for researchers
who are interested in the development and application of formal methods in

The aim of the AVoCS workshop series is to contribute to the interaction
and exchange of ideas among members of the international research community
on tools and techniques for the verification of critical systems.

FMICS and AVoCS combine their themes on formal methods and automated
verification in the joint workshop FMICS-AVoCS 2017. For FMICS, this will
be the 22nd edition, for AVoCS the 17th.

In particular, FMICS-AVoCS 2017 aims to bring together scientists and
engineers that are active in the area of formal methods, develop tools and
techniques for the automated verification of critical systems, and are
interested in exchanging their experiences in the industrial usage of these
methods and tools.
NEW for FMICS-AVoCS 2017

In 2017, the workshop will also host a special track and tool

   - *Special Track on “Formal methods for mobile and autonomous robots”*:
   We invite submissions describing novel research results, applications and
   industrial case-studies, experience reports connected to the design and
   implementation of mobile and autonomous robots based on formal methods. The
   accepted papers will be published in LNCS, Springer, together with papers
   submitted to the regular track.
   - *Tool Demonstrators*: We invite 2 page abstract submissions of tool
   demos for tools / IDE using formal methods, which have been applied to
   model and verify industrial systems or autonomous systems. A brief
   description of the tool and demo should be included.


Abstract submission for full papers:

May 14, 2017

Submission of full papers:

May 21, 2017

Notification for full papers:

June 26, 2017

Camera ready due:

July 9, 2017

Submission of tool demo abstracts and research ideas:

May 28, 2017

Notification tool demo abstracts and research ideas:

July 4, 2017

FMICS-AVoCS Workshop:

September 18-20, 2017

include (but are not limited to):
*Regular track*

   - Design, specification, refinement, code generation and testing of
      critical systems based on formal methods
      - Methods, techniques and tools to support automated analysis,
      certification, debugging, learning, optimization and transformation of
      critical systems, in particular distributed, real-time systems
and embedded
      - Automated verification (model checking, theorem proving, SAT/SMT
      constraint solving, abstract interpretation, etc.) of critical systems
      - Verification and validation methods that address shortcomings of
      existing methods with respect to their industrial applicability (e.g.,
      scalability and usability issues)
      - Tools for the development of formal design descriptions
      - Case studies and experience reports on industrial applications of
      formal methods, focusing on lessons learned or identification of new
      research directions
      - Impact of the adoption of formal methods on the development process
      and associated costs
      - Application of formal methods in standardization and industrial

*Special track: Formal methods for mobile and autonomous robots*

   - Formal domain-specific languages for robotics
      - Verification of robotic applications: model checking, theorem
      proving, and others
      - Requirements analysis and validation of robotic applications
      - Probabilistic models and analysis for robotic applications
      - Formal approaches to safety and security of robotic applications.


FMICS-AVoCS 2017 accepts submissions in the following categories:

-          **Full paper submissions (regular and special track)** must
describe authors’ original research work and results. Submitted papers must
not have previously appeared in a journal or conference with published
proceedings and must not be concurrently submitted to any other
peer-reviewed workshop, symposium, conference or archival journal. Any
partial overlap with any such published or concurrently submitted paper
must be clearly indicated.

Full paper submissions should clearly demonstrate relevance to industrial
application. Case study papers should identify lessons learned, validate
theoretical results (such as scalability of methods) or provide specific
motivation for further research and development.

Full paper submissions (regular and special track) should not exceed 15
pages formatted according to the LNCS style (Springer). All submissions
will be reviewed by the Program Committee who will make a selection among
the submissions based on the novelty, soundness and applicability of the
presented ideas and results.

-          **Research ideas/position papers**: FMICS-AVoCS encourages the
submissions of research ideas/position papers in order to stimulate
discussions at the workshop. Reports on ongoing work, research vision, or
surveys on work published elsewhere are welcome. The Program Committee will
select research ideas/position papers on the basis of submitted abstracts
according to their significance and general interest.

Abstracts of research ideas should not exceed 3 pages and they will not be
part of the published proceedings.

-          **Tool demo abstracts**: FMICS-AVoCS 2017 encourages the
submission of 2-page abstracts describing tool demos of
formal-methods-based tools that have been applied to model and verify
industrial systems or autonomous systems. A brief description of the tool
and demo should be included.

Full papers, research ideas/position papers and tool demo abstracts must be
written in English and should be submitted as Portable Document Format
(PDF) files using the EasyChair submission site:


The workshop proceedings will be published by Springer in their LNCS
series, while authors of the best full papers will be invited to submit
extended versions to a special issue of the International Journal on
Software Tools for Technology Transfer.
*Invited Speakers  *

Parosh Abdulla, Uppsala University, Sweden <http://user.it.uu.se/%7Eparosh/>

Kerstin Eder, University of Bristol, UK

*PC Chairs*

*Laure Petrucci (Université Paris 13, France)
<https://lipn.univ-paris13.fr/%7Epetrucci/index-en.html>Cristina Seceleanu
<http://www.es.mdh.se/staff/173-Cristina_Seceleanu> (Mälardalen University,
*Special track Chair*

Ana Cavalcanti <https://www-users.cs.york.ac.uk/%7Ealcc/> (University of
York, UK)
*PC Members*

María Alpuente (Universitat Politècnica de València, Spain)
Jiří Barnat (Masaryk University, Czech Republic)
Michael Dierkes (Rockwell Collins, France)
Kerstin Eder (University of Bristol, UK)
Alessandro Fantechi (Università di Firenze, Italy)
Francesco Flammini (Ansaldo STS, Naples, Italy)
Michael Fisher (University of Liverpool, UK)
María Del Mar Gallardo (University of Málaga, Spain)
Michael Goldsmith (University of Oxford, UK)
Gudmund Grov (Heriot-Watt University, UK)
Matthias Güdemann (Diffblue ltd., Oxford, UK)
Marieke Huisman (University of Twente, The Netherlands)
Gerwin Klein (NICTA and University of New South Wales, Australia)
Lars Kristensen (Bergen University College, Norway)
Peter Gorm Larsen (Aarhus University, Denmark)
Thierry Lecomte (ClearSy, Aix-en-Provence, France)
Anna-Lena Lamprecht (University of Limerick, Ireland)
Radu Mateescu (INRIA Grenoble – Rhône-Alpes, France)
David Mentré (Mitsubishi Electric R&D Centre Europe, Rennes, France)
Stephan Merz (INRIA Nancy, France)
Manuel Núñez (Universidad Complutense de Madrid, Spain)
Peter Ölveczky (University of Oslo, Norway)
Charles Pecheur (Université catholique de Louvain, Belgium)
Marielle Petit-Doche (Systerel, Aix-en-Provence, France)
Ralf Pinger (Siemens AG, Braunschweig, Germany)
Jaco van de Pol (University of Twente, The Netherlands)
Markus Roggenbach (Swansea University, UK)
Matteo Rossi (Politecnico di Milano, Italy)
Marco Roveri (FBK-irst, Italy)
Thomas Santen (Microsoft Research Advanced Technology Labs Europe, Germany)
Bernhard Steffen (University of Dortmund, Germany)
Jun Sun (University of Technology and Design, Singapore)
Maurice ter Beek (CNR Pisa, Italy)
Helen Treharne (University of Surrey, UK)
Xavier Urbain (Université Claude Bernard Lyon 1, France)
*Web Chair*

Leo Hatvani (Mälardalen University, Sweden)

Message-ID: <CAC-4j3-DsYMHn42q
 +CKh45zfGSBfuAd8vMLFH4dfe_dA9_V5rg at mail.gmail.com>
Date: Fri, 5 May 2017 06:37:42 -0700
From: mikael.mayer at epfl.ch
Subject: [FME Events] CAV 2017: Call for participation


                   CALL FOR PARTICIPATION

Computer-Aided Verification, 29th International Conference
                         CAV 2017

              Heidelberg, Germany, 22-28 July 2017



TL;DR   Early registration: June 14, 2017; Hotel booking deadlines: early
June, 2017
We hope to welcome you at CAV -- we have an exciting program!


CAV 2017 is the 29th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for hardware
software systems.  The conference covers the spectrum from theoretical
results to
concrete applications, with an emphasis on practical verification tools and
the algorithms
and techniques that are needed for their implementation. Along with the main
conference, CAV will feature eight workshops (including a special workshop
in honor
of David Dill) and tutorials.

-- WORKSHOPS (22-23 July)
-- SPECIAL WORKSHOP Dill at 60 in Honor of David Dill (24 July)
-- MAIN CONFERENCE (24-28 July)


  * Chris Hawblitzel, Microsoft Research
  * Marta Kwiatkowska, Oxford
  * Viktor Vafeiadis, MPI-SWS

  * Winner of the CAV award (to be announced at the conference)


  * Loris D’Antoni, University of Wisconsin-Madison: The power of symbolic
automata and transducers
  * Mayur Naik, University of Pennsylvania: Maximum Satisfiability in
Software Analysis: Applications and Techniques

-- PUBLIC LECTURE ``Logic Lounge'' in memory of Helmut Veith

  * Fabiana Zollo: Social Dynamics in the Post-Truth Society: How the
Confirmation Bias is Changing the Public Discourse


See the list of accepted papers at the conference website.

-- SATELLITE EVENTS (22-23 July) --

7 satellite workshops will take place before CAV 2017.

Check their calls for papers and consider contributing!

        • SYNT – Sixth Workshop on Synthesis (July 22)
        • DARS – Design and Analysis of Robust Systems (July 22)

        • NSV/Rise4CPS – Numerical Software Verification and Formal Methods
for Rigorous Systems Engineering of Cyber-Physical Systems (July 22-23)
        • SMT – Satisfiability Modulo Theories (July 22-23)
        • VSTTE – Verified Software: Theories, Tools, and Experiment (July

        • VMW – Verification Mentoring Workshop (July 23)
        • FEVER – Formal Approaches to Explainable VERification (July 23)


Early registration is until
        Wednesday, June 14, 2017 (AOE).


-- VENUE --

Workshops will be organized at the Crowne Plaza hotel in Heidelberg City
The conference will be organized at the beautiful Heidelberg Stadthalle by
the River Neckar.


The organizers have negotiated special rates from several hotels in

To benefit from those, follow the instructions on the conference
website. The offers expire on different dates on or before the early

Heidelberg is a busy tourist destination in July. It is important to book
hotel as soon as possible!


Heidelberg is a picturesque city one the river Neckar at the heart of the
'Rhine-Neckar Triangle' in western Germany.
It is renowned for its medieval castle, its old university (founded in
1386) and "Philosopher's Walk,"
and its historic old town. It is a cosmopolitan and vibrant college town
with a rich academic and cultural tradition
(including a 16th century Student Jail for mischievous students :-o).

July is warm and sunny for the most part. It is also high tourist season.


We hope to welcome you to CAV 2017!

Viktor Kuncak (EPFL)
Rupak Majumdar (MPI-SWS)



End of it-fmeurope-events Digest Mon, 08 May 2017

More information about the ecoop-info mailing list