[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
----------------------------------------------------------------------------------------
ABOUT FM 2018
=============
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.
WORKSHOP PROPOSALS
===================
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.
SUBMISSION INFORMATION
======================
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:
http://www.floc2018.org/workshops/
Contact the FM Workshops Chairs to discuss prospective workshops:
Helen Treharne (h.treharne at surrey.ac.uk <mailto:npaspallis at uclan.ac.uk>)
and
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
http://www.safecomp.org
http://safecomp17.fbk.eu
===========================================================
REGISTRATION PAGE
http://safecomp17.fbk.eu/registration
EARLY REGISTRATION DEADLINE: 2 July 2017
KEYNOTE SPEAKERS:
* 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"
ACCEPTED PAPERS
http://safecomp17.fbk.eu/accepted
CO-LOCATED EVENTS:
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
ABOUT SAFECOMP
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
networking.
COMMITTEES
EWICS TC7 Chair
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)
http://www.sbc.org.br/sbmf2017
27th of November to 1st of December, 2017
Recife, Pernambuco, Brazil
======== SBMF ======= SBMF ======= SBMF ======= SBMF =======
IMPORTANT DATES
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
INTRODUCTION
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.
SCOPE AND TOPICS
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.
PAPER SUBMISSION
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
challenges.
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:
https://easychair.org/conferences/?conf=sbmf2017
ABOUT RECIFE
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.
KEYNOTE SPEAKERS
To be announced
PROGRAM COMMITTEE CHAIRS
José Fiadeiro (Royal Holloway, University of London, UK)
Simone Cavalheiro (UFPel, Brazil)
PROGRAM COMMITTEE
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)
STEERING COMMITTEE
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)
News:
(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,
Berkeley).
(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
Applications
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
Systems.
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
Programming.
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)
Organizers
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