[ecoop-info] it-fmeurope-events Digest Mon, 19 Jun 2017

it-fmeurope-events-request at lists.uu.se it-fmeurope-events-request at lists.uu.se
Mon Jun 19 18:00:05 CEST 2017

it-fmeurope-events digest Mon, 19 Jun 2017

Table of contents:

* 1 - [FME Events] FM 2018: final call for workshop proposals - Maurice ter
  Beek <maurice.terbeek at isti.cnr.it>
* 2 - [FME Events] SAFECOMP17 Call for Participation - Stefano Tonetta
  <tonettas at fbk.eu>
* 3 - [FME Events] Brazilian Symposium on Formal Methods (SBMF 2017) - CFP -
  Simone Cavalheiro <simone.cavalheiro at gmail.com>
* 4 - [FME Events] Final call of SETTA 2017 - Naijun Zhan <znj at ios.ac.cn>


Message-ID: <6f014127-01ec-cdc7-6404-8beb7973f63d at isti.cnr.it>
Date: Thu, 15 Jun 2017 10:39:48 +0200
From: Maurice ter Beek <maurice.terbeek at isti.cnr.it>
Subject: [FME Events] FM 2018: final call for workshop proposals


FM 2018: 23^rd International Symposium on Formal Methods

Oxford, 14-16 July, 2018

---------------: FINAL CALL FOR WORKSHOP PROPOSALS  :---------------


Deadline for workshop proposals: June 19, 2017

Notification of decision on workshops: July 31, 2017




The 23rd International Symposium on Formal Methods (FM 2018)

will take place at the University of Oxford, 14-16 July 2018, as part

of the Federated LogicConference (FLoC) 2018. FM 2018 is the

latest in a series of symposia organised by Formal Methods Europe,

an independent association that encourages the use of, and research

on, formal methods for the engineering of computer-based systems

and software. The symposia have been notably successful in bringing

together researchers and industrial users around a programme of

original papers on research and industrial experience, workshops,

tutorials, reports on tools, projects, and ongoing doctoral work.



For this major event, we are now inviting proposals for workshops

that will complement the main FM Symposium. Being part of FLoC

moreover provides an opportunity to link more widely with other

conferences, such as LICS and CAV (see: http://www.floc2018.org/).

The purpose of the FM workshops is to provide an informal setting

for participants to discuss technical issues, exchange research ideas,

and to discuss and/or demonstrate applications. These workshops

may be driven by fundamental academic interests or by needs from

specific application domains. We encourage a diversity of workshops

relating to different varieties of formal methods and applications.

One day FM workshops can be held immediately before the main
symposium, on 13 July 2018, or directly after the symposium, on

17^July 2018. Two day FM workshops will be held directly after the

main symposium, on 17 and 18 July 2018. FM thus supports both

mid and post FLoC proposals.



Researchers and practitioners wishing to organise an FM workshop

are invited to submit proposals for FM workshops in two parts, as

outlined on the general FLoC call for workshops webpage:

Contact the FM Workshops Chairs to discuss prospective workshops:
Helen Treharne (h.treharne at surrey.ac.uk <mailto:npaspallis at uclan.ac.uk>)
Maurice ter Beek (maurice.terbeek at isti.cnr.it
<mailto:maurice.terbeek at isti.cnr.it>).

[An attachment of type application/force-download was included here]

Message-ID: <20170616211125.GA13802 at fbk.eu>
Date: Fri, 16 Jun 2017 23:11:25 +0200
From: Stefano Tonetta <tonettas at fbk.eu>
Subject: [FME Events] SAFECOMP17 Call for Participation

(We apologize if you receive multiple copies of this announcement)
SAFECOMP 2017 Call for participation
The 36th International Conference on Computer Safety, Reliability and Security
12 - 15 September 2017
Trento, Italy




* Radu Grosu (Vienna University of Technology, AT)
"CPS/IoT: Drivers of the Next IT Revolution"

* John McDermid (University of York, UK)
"Safety of Autonomy: Challenges and Strategies"

* Marcel Verhoef (European Space Agency, NL)
"From Documents to Models: Towards Digital Continuity"


SAFECOMP Workshops:
 12 September 2017
IMBSA (International Symposium on Model-Based Safety Assessment):
 11-13 September 2017
SEFM (Intern. Conference on Software Engineering and Formal Methods):
 5-8 September 2017

SAFECOMP was established in 1979 by the European Workshop on
Industrial Computer Systems, Technical Committee 7 on Reliability,
Safety and Security (EWICS TC7). Since then, it has contributed to the
progress of the state-of-the-art in dependable application of
computers in safety-related and safety-critical systems.
SAFECOMP is an annual event covering the state-of-the-art, experience
and new trends in the areas of safety, security and reliability of
critical computer applications.
SAFECOMP provides ample opportunity to exchange insights and
experience on emerging methods, approaches and practical solutions. It
is a single track conference without parallel sessions, allowing easy


Francesca Saglietti (Univ. of Erlangen-Nuremberg, DE)

General and Program Co-Chairs
Erwin Schoitsch (AIT Austrian Institute of Technology, AT)
Stefano Tonetta (FBK, IT)

Publication Chair
Friedemann Bitsch (Thales, DE)

Local Organizing Committee
Annalisa Armani (FBK, IT)
Silvia Malesardi (FBK, IT)

Workshop Chair
Erwin Schoitsch (AIT Austrian Institute of Technology, AT)

International Program Committee
Thomas Arts (Quviq, SE)
Peter Bishop (Adelard, UK)
Friedemann Bitsch (Thales, DE)
Jean-Paul Blanquart (Airbus Defence and Space, FR)
Sandro Bologna (AIIC, IT)
Andrea Bondavalli (University of Florence, IT)
Jens Braband (Siemens, DE)
António	Casimiro (University of Lisbon, PT)
Peter Daniel (EWICS TC7, UK)
Ewen Denney (SGT/NASA Ames, US)
Felicita Di Giandomenico (ISTI-CNR, IT)
Wolfgang Ehrenberger (HS Fulda, DE)
John Favaro (Intecs, IT)
Alberto	Ferrari (UTRC, IT)
Francesco Flammini (Ansaldo STS, IT)
Barbara	Gallina (Mälardalen University, SE)
Ilir Gashi (City University London, UK)
Janusz Gorski (Gdansk University of Technology, PL)
Jérémie	Guiochet (LAAS-CNRS, FR)
Wolfgang Halang (Fernuniversität in Hagen, DE)
Maritta	Heisel (University of Duisburg-Essen, DE)
Chris Johnson (University of Glasgow, UK)
Bernhard Kaiser (Berner&Mattner, DE)
Karama Kanoun (LAAS-CNRS, FR)
Joost-Pieter Katoen (RWTH Aachen University, DE)
Tim Kelly (University of York, UK)
John Knight (University of Virginia, US)
Floor Koornneef (TU Delft, NL)
Timo Latvala (Space Systems Finland, FI)
Silvia Mazzini (Intecs, IT)
John McDermid (University of York, UK)
Frank Ortmeier (Otto-von-Guericke-Universitaet Magdeburg, DE)
Philippe Palanque (University of Toulouse, FR)
Michael	Paulitsch (Thales Austria, AT)
Holger Pfeifer (fortiss, DE)
Thomas Pfeiffenberger (Salzburg Research, AT)
Peter Popov (City University London, UK)
Laurent	Rioux (Thales R&T, FR)
Alexander Romanovsky (Newcastle University, UK)
Matteo Rossi (Politecnico di Milano, IT)
Kristin Yvonne Rozier (Iowa State University, US)
John Rushby (SRI International, US)
Francesca Saglietti (University of Erlangen-Nuremberg, DE)
Christoph Schmitz (Zühlke Engineering, CH)
Erwin Schoitsch (AIT Austrian Institute of Technology, AT)
Christel Seguin (ONERA, FR)
Amund Skavhaug (NTNU, NO)
Oleg Sokolsky (University of Pennsylvania, US)
Wilfried Steiner (TTTech, AT)
Mark-Alexander Sujan (University of Warwick, UK)
Stefano	Tonetta (FBK, IT)
Martin Törngren (KTH, SE)
Mario Trapp (Fraunhofer, DE)
Elena Troubitsyna (Aabo Akademi, FI)
Tullio Vardanega (University of Padua, IT)
Marcel Verhoef (European Space Agency, NL)
Helene Waeselynck (LAAS-CNRS, FR)


Message-ID: <CAJ2u9xenVyE8N9n6rWyb-
 =CnPggAcOFD=zxi6TpDHKXd9Ppbag at mail.gmail.com>
Date: Wed, 14 Jun 2017 11:31:57 -0300
From: Simone Cavalheiro <simone.cavalheiro at gmail.com>
Subject: [FME Events] Brazilian Symposium on Formal Methods (SBMF 2017) - CFP

                       [Apologies should you receive multiple copies of
this call.]

======== SBMF ======= SBMF ======= SBMF ======= SBMF =======

                                                 CALL FOR PAPERS

                       20th Brazilian Symposium on Formal Methods (SBMF)


                            27th of November to 1st of December, 2017
                                          Recife, Pernambuco, Brazil

======== SBMF ======= SBMF ======= SBMF ======= SBMF =======


Abstract Submission Deadline: *7th of July, 2017*
Paper Submission Deadline: *14th of July, 2017*
Paper Acceptance Notification: 1st of September, 2017
Paper Camera-ready Version: 8th of September, 2017


SBMF 2017 is the twentieth of a series of events devoted to the
development, dissemination and use of formal methods for the construction
of high-quality computational systems. It is now a well-established event,
with an international reputation.

In 2017, SBMF will take place in Recife, the capital of the state
Pernambuco, which is located in the northeast Brazil. It is the 9th city by
population in Brazil, with over 1.5 million inhabitants, and it receives
more than 5 million tourists from Brazil and abroad per year.


The aim of SBMF is to provide a venue for the presentation and discussion
of high-quality work in formal methods. The topics include, but are not
limited to, the following:

* techniques and methodologies, such as method integration; software and
hardware co-design; model-driven engineering; formal aspects of popular
methodologies; formal design; development methodologies with formal
foundations; software evolution based on formal methods;

* specification and modelling languages, such as well-founded specification
and design languages; formal aspects of popular languages; logics and
semantics for programming and specification languages; code generation;
formal methods and models for objects, aspects, component-based, real-time,
hybrid, critical, and service-oriented systems;

* theoretical foundations, such as domain theory; type systems and category
theory; computational complexity of methods and models; computational
models; term rewriting; models of concurrency, security and mobility;

* verification and validation, such as abstraction, modularisation and
refinement techniques; program and test synthesis; correctness by
construction; model checking; theorem proving; static analysis; formal
techniques for software testing; software certification; formal techniques
for software inspection;

* education, such as teaching of, for and with formal methods;

* applications, such as experience reports on the use of formal methods;
industrial case studies; tool support.


Papers with a strong emphasis on Formal Methods, whether practical or
theoretical, are invited for submission. They should present unpublished
and original work that has a clear contribution to the state of the art on
the theory and practice of formal methods. They should not be
simultaneously submitted elsewhere.

Papers will be judged by at least three reviewers on the basis of
originality, relevance, technical soundness and presentation quality and
should contain sound theoretical or practical results. Industry papers
should emphasize practical application of formal methods or report on open

Contributions should be written in English and be prepared using Springer’s
Lecture Notes in Computer Science (LNCS) format. Papers may not exceed 16
pages (including figures, references and appendix). Accepted papers will be
published, after the conference, in a *volume of* *LNCS*.  Also, a special
issue of *Science of Computer Programming (Elsevier) *is going to be
published for the very best papers.

Every accepted paper MUST have at least one author registered in the
symposium by the time the camera-ready copy is submitted; the registered
author is also expected to  attend the symposium and present the paper.

Papers can be submitted via the following link:


Recife stands out as a major tourist attraction, both for its beaches and
for its historic sites, dating back to both the Portuguese and the Dutch
colonisation of the region. The Boa Viagem beach is one of the most famous
urban beaches in Brazil. Visitors get enchanted by the sandy beaches with
warm green waters, and also by the complete infrastructure of hotels,
restaurants and services which surrounds it. The beach of Porto de
Galinhas, 60 kilometers south of Recife, has been repeatedly awarded the
title of best beach in Brazil. The historic centre of Olinda, 7 kilometers
north of Recife, was declared a UNESCO World Heritage site in 1982, and
both cities’ Carnival are among the world's most famous.

Recife is also considered the first gastronomic hub of the northeastern
region, the second medical centre in Brazil, besides housing the greatest
technological park in the country, known as Porto Digital. In Recife, you
will find culture, history, food and fun all in one place.


To be announced


José Fiadeiro (Royal Holloway, University of London, UK)
Simone Cavalheiro (UFPel, Brazil)


Aline Andrade (UFBA. Brazil)

Luis Barbosa (Universidade do Minho, Portugal)

Christiano Braga (UFF, Brazil)

Michael Butler (University of Southampton, UK)

Sergio Campos (UFMG, Brazil)

Ana Cavalcanti (University of York, UK)

Simone Cavalheiro  (UFPel, Brazil) - PC co-chair

Márcio Cornélio (UFPE, Brazil)

Andrea Corradini (Universita’ di Pisa, Italy)

Jim Davies (University of Oxford, UK)

David Deharbe (ClearSy, France)

Ewen Denney (RIACS/NASA, USA)

Clare Dixon (University of Liverpool, UK)

Rachid Echahed (CNRS at University of Grenoble, France)

Jose Fiadeiro (Royal Holloway, University of London, UK) - PC co-chair

Luciana Foss (UFPel, Brazil)

Rohit Gheyi (UFCG, Brazil)

Stefan Hallerstede (Aarhus University, Denmark)

Reiko Heckel (University of Leicester, UK)

Rolf Hennicker (Ludwig-Maximilians-Universität München, Germany)

Juliano Iyoda (UFPE, Brazil)

Thierry Lecomte (ClearSy, France)

Michael Leuschel (Universität Düsseldorf, Germany)

Patricia Machado (UFCG, Brazil)

Rodrigo Machado (UFRGS, Brazil)

Marcelo Maia  (UFU, Brazil)

Narciso Marti-Oliet (Universidad Complutense de Madrid, Spain)

Tiago Massoni (UFCG, Brazil)

Ana Melo (USP, Brazil)

Anamaria Moreira (UFRJ, Brazil)

Alvaro Moreira (UFRGS, Brazil)

Alexandre Mota (UFPE, Brazil)

Arnaldo Moura (UNICAMP, Brazil)

David Naumann (Stevens Institute of Technology, USA)

Daltro Nunes (UFRGS, Brazil)

Jose Oliveira (Universidade do Minho, Portugal)

Marcel Oliveira (UFRN, Brazil)

Fernando Orejas (UPC, Spain)

Arend Rensink (University of Twente, Netherlands)

Leila Ribeiro (UFRGS, Brazil)

Augusto Sampaio (UFPE, Brazil)

Leila Silva (UFS, Brazil)

Adenilso Simao (ICMC/USP, Brazil)

Neeraj Singh (McMaster University, Canada)

Sofiene Tahar (Concordia University, Canada)

Jim Woodcock (University of York, UK)


Christiano Braga (UFF, Brazil)
Márcio Cornélio (UFPE, Brazil)
Thierry Lecomte (ClearSy, France)
Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain)
Leila Ribeiro (UFRGS, Brazil)
Bill Roscoe (University of Oxford, UK)

Message-ID: <9AB95794084B4E2AB0904D2B9DB3EBFF at NaijunZhanPC>
Date: Mon, 12 Jun 2017 14:57:10 +0800
From: Naijun Zhan <znj at ios.ac.cn>
Subject: [FME Events] Final call of SETTA 2017

SETTA 2017 Call for Papers
(The Fourth Round)

(1) Extension of Paper Submission: June 21, 2017.
(2) Keynotes: Cliff Jones (Newcastle University), Rupak Majumdar (Max Planck
Institute for Software Systems), Sanjit Seshia (University of California,
(3) Springer will support Best Paper Award of SETTA 2017.
(4) Selected papers will be invited to submit extended versions to Elsevier’s
Science of Computer Programming.

SETTA 2017
The 3rd Symposium on Dependable Software Engineering: Theories, Tools and
October 23-25, 2017
Changsha, China

Contact email: setta2017 at ios.ac.cn
Website: http://lcs.ios.ac.cn/setta2017/

The aim of the symposium is to bring together international researchers and
practitioners in the field of software technology. Its focus is on formal
methods and advanced software technologies, especially for engineering
complex, large-scale artifacts like cyber-physical systems, networks of
things, enterprise systems, or cloud-based services. Contributions relating to
formal methods or integrating them with software engineering, as well as
papers advancing scalability or widening the scope of rigorous methods to new
design goals are especially welcome. SETTA 2017 is planning to organize a
special thematic section, namely Dependability of Smart Cyber-Physical

Topics of interest include, but are not limited to:

. Requirements specification and analysis
. Formalisms for modeling, design and implementation
. Model checking, theorem proving, and decision procedures
. Scalable approaches to formal system analysis
. Formal approaches to simulation and testing
. Integration of formal methods into software engineering practice
. Contract-based engineering of components, systems, and systems of systems
. Formal and engineering aspects of software evolution and maintenance
. Parallel and multi-core programming
. Embedded, real-time, hybrid, and cyber-physical systems
. Mixed-critical applications and systems
. Formal aspects of service-oriented and cloud computing
. Safety, security, reliability, robustness, and fault-tolerance
. Dependability of smart software and systems
. Empirical analysis techniques and integration with formal methods
. Applications and industrial experience reports
. Tool integration
Paper Submission

Authors are invited to submit papers on original research, industrial
applications, or position papers proposing challenges in fundamental research
and technology. The latter two types of submissions are expected to contribute
to the development of formal methods either by substantiating the advantages
of integrating formal methods into the development cycle or through
delineating need for research by demonstrating weaknesses of existing
technologies, especially when addressing new application domains.

Submissions can take the form of either regular or short papers. Short papers
can discuss ongoing research at an early stage, including PhD projects. Papers
should be written in English. Regular Papers should not exceed 16 pages and
Short Papers should not exceed 6 pages in LNCS format. The proceedings will be
published as a volume in Springer's LNCS series, as that of the past editions.
The authors of a selected subset of accepted papers will be invited to submit
extended versions of their papers to appear in Elsevier’s Science of Computer

Springer will support Best Paper Award of SETTA 2017.

Submission Site: https://easychair.org/conferences/?conf=setta2017

Important Dates

. Abstract & Paper Submission (Extended): June 21, 2017 (AoE)
. Notification to authors (Extended): July 25, 2017 (AoE)
. Camera Ready Version (Extended): August 10, 2017 (AoE)
. Conference Date: October 23-25, 2017

Invited Speakers

. Cliff Jones (Newcastle University)
. Rupak Majumdar (Max Planck Institute for Software Systems)
. Sanjit Seshia (University of California, Berkeley)

General chair: Xiangke Liao, National University of Defense Technology, China

Program Chairs:
. Kim G. Larsen, Aalborg University, Denmark
. Oleg Sokolsky, University of Pennsylvania, USA
. Ji Wang, National University of Defense Technology, China

Publicity Chair:
. Fu Song, ShanghaiTech University, China
Local Organization Chair:
. Wei Dong, National University of Defense Technology, China

PC Members:
. Erika Abraham, RWTH Aachen University, Germany
. Farhad Arbab, CWI and Leiden University, Netherlands
. Sanjoy Baruah, University of North Carolina, USA
. Michael Butler, University of Southampton, UK
. Yunxin Deng, ECNU, China
. Deepak D'Souza, Indian Institute of Science, India
. Xinyu Feng, University of Science and Technology of China, China
. Martin Fraenzle, University of Oldenburg, Germany
. Goran Frehse, University of Grenoble Alpes-Laboratoire Verimag, France
. Lindsay Groves, University of Wellington, New Zealand
. Dimitar Guelev, Bulgarian Academy of Sciences, Bulgaria
. Fei He, Tsinghua University, China
. Deepak Kapur, University of New Mexico, USA
. Kim Larsen, University of Aalborg, Denmark
. Axel Legay, IRISA/INRIA, France
. Xuandong Li, Nanjing University, China
. Shaoying Liu, Hosei University, Japan
. Zhiming Liu, Southwest University, China
. Xiaoguang Mao, NUDT, China
. Markus Muller-Olm, Westfalische Wilhelms-Universitat Munster, Germany
. Raja Natarajan, TIFR, India
. Jun Pang, University of Luxembourg, Luxembourg
. Shengchao Qin, Teesside University, UK
. Stefan Ratschan, Czech Academy of Sciences, Czech
. Sriram Sankaranarayanan, University of Colorado, USA
. Oleg Sokolsky, University of Pennsylvania, USA
. Martin Steffen, University of Oslo, Norway
. Zhendong Su, UC Davis, USA
. Cong Tian, Xidian University, China
. Tarmo Uustalu, Tallinn University of Technology, Estonia
. Chao Wang, University of Southern California, USA
. Farn Wang, National Taiwan University, TW, China
. Ji Wang, NUDT, China.
. Heike Wehrheim, University of Paderborn, Germany
. Michael Whalen, University of Minnesota, USA
. Wang Yi, Uppsala University, Sweden
. Naijun Zhan, ISCAS, China
. Lijun Zhang, ISCAS, China
. Qirun Zhang, UC Davis, USA
. Haibo Zeng, Virginia Tech University, USA



End of it-fmeurope-events Digest Mon, 19 Jun 2017

More information about the ecoop-info mailing list