[ecoop-info] it-fmeurope-events Digest Mon, 03 Apr 2017
it-fmeurope-events-request at lists.uu.se
it-fmeurope-events-request at lists.uu.se
Mon Apr 3 18:00:15 CEST 2017
it-fmeurope-events digest Mon, 03 Apr 2017
Table of contents:
* 1 - [FME Events] SEFM 2017 Final CFP (*DEADLINE EXTENSION*) - 15th
International Conference on Software Engineering and Formal Methods -
Alberto Griggio <griggio at fbk.eu>
* 2 - [FME Events] [iFM'17] Deadline Extension for the International
Conference on integrated Formal Methods 2017 - Ingrid Chieh Yu
<ingridcy at ifi.uio.no>
* 3 - [FME Events] First Call for Papers: PhD Symposium at iFM'17 - Silvia
Lizeth Tapia Tarifa <sltarifa at ifi.uio.no>
----------------------------------------------------------------------
Message-ID: <20170328135342.20E4515F5A4 at kyrene.fbk.eu>
Date: Tue, 28 Mar 2017 15:53:42 +0200
From: Alberto Griggio <griggio at fbk.eu>
Subject: [FME Events] SEFM 2017 Final CFP (*DEADLINE EXTENSION*) - 15th
International Conference on Software Engineering and Formal Methods
**************************************************************************
SEFM'17
*DEADLINE EXTENSION*
NEW DATES: Abstract submission: 6 April 2017
Paper submission: 13 April 2017
**************************************************************************
(Apologies for multiple copies.)
http://sefm17.fbk.eu/
The 15th International Conference on Software Engineering and Formal
Methods, SEFM 2017, will be held in Trento, Italy, September 4-8, 2017.
The conference aims to bring together leading researchers and
practitioners from academia, industry and government, to advance the state
of the art in formal methods, to facilitate their uptake in the software
industry, and to encourage their integration within practical software
engineering methods and tools.
The topics of interest for submission include, but are not limited to the
following aspects of software engineering and formal methods:
- New frontiers in software architecture: self-adaptive, service-oriented
and cloud computing systems; component, object and multi-agent systems;
real-time, hybrid and embedded systems; reconfigurable systems.
- Software verification and testing: model checking, theorem proving and
decision procedures; verification and validation; probabilistic
verification and synthesis; testing, re-engineering and reuse.
- Software development methods: requirement analysis, modeling,
specification and design; light-weight and scalable formal methods;
software evolution, maintenance and reuse.
- Application and technology transfer: case studies, best practices and
experience reports; tool integration; education; HCI, interactive
systems and human error analysis.
- Security and safety: security and mobility; safety-critical,
fault-tolerant and secure systems; software certification.
- Design principles: programming languages; domain specific languages;
type theory; abstraction and refinement.
Invited Speakers:
We are pleased to have three invited speakers for SEFM 2017:
- Marsha Chechik, University of Toronto, Canada
- Jeff Kramer, Imperial College London, UK
- Alberto Sangiovanni-Vincentelli, Berkeley University, USA
Important Dates (AOE, firm):
Abstract submission: *EXTENDED TO* 6 April 2017
Paper submission: *EXTENDED TO* 13 April 2017
Notification: 29 May 2017
Authors are invited to submit full research papers (up to 15 pages)
describing original research results, case studies and tools; and short
new ideas/work-in-progress papers (up to 6 pages) describing new
approaches, techniques and/or tools that are not fully validated yet. The
conference proceedings will be published by Springer-Verlag in the
Formal Methods subline of the Lecture Notes in Computer Science series.
Information about all committees can be found at
http://sefm17.fbk.eu/committees
Co-Chairs:
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Marjan Sirjani, Malardalen University, Sweden
------------------------------
Message-ID: <1C2E34C7-9A04-4954-A1FE-17B70ABD7F2F at ifi.uio.no>
Date: Fri, 31 Mar 2017 13:50:35 +0000
From: Ingrid Chieh Yu <ingridcy at ifi.uio.no>
Subject: [FME Events] [iFM'17] Deadline Extension for the International
Conference on integrated Formal Methods 2017
Due to a number of requests, we have generously extended the deadline
for iFM. Here are the new dates:
NEW Abstract submission: Tuesday, April 20, 2017
NEW Paper submission: Tuesday, April 27, 2017
NEW Notification: Friday, June 2, 2017
Please find the full updated call for papers below.
We are looking forward to receiving your contributions!
CALL FOR PAPERS - EXTENDED DEADLINES
13th International Conference on integrated Formal Methods (iFM 2017)
=====================================================================
Website: http://ifm2017.di.unito.it/
Twitter: https://twitter.com/iFMconf, @iFMconf
Submission: https://easychair.org/conferences/?conf=ifm2017
Important Dates
===============
NEW Abstract submission: Tuesday, April 20, 2017
NEW Paper submission: Tuesday, April 27, 2017
NEW Notification: Friday, June 2, 2017
Camera-ready copy: Tuesday, June 11, 2017
Conference: September 20-22, 2017
Deadlines expire at 23:59 American Samoa Time on the dates displayed above.
Objectives and Scope
====================
Applying formal methods may involve the usage of different formalisms and
different analysis techniques to validate a system, either because individual
components are most amenable to one formalism or technique, because one is
interested in different properties of the system, or simply to cope with the
sheer complexity of the system. The iFM conference series seeks to further
research into hybrid approaches to formal modeling and analysis; i.e., the
combination of (formal and semi-formal) methods for system development,
regarding both modeling and analysis. The conference covers all aspects from
language design through verification and analysis techniques to tools and
their
integration into software engineering practice.
Areas of interest include but are not limited to:
- Formal and semi-formal modeling notations
- Combining formal methods
- Integration of formal methods into software engineering practice
- Program verification, model checking, and static analysis
- Runtime analysis, monitoring, and testing
- Program synthesis
- Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or
concurrent systems
- Model learning
- Theorem proving, decision procedures, SAT and SMT solving
Submission Guidelines
=====================
iFM 2017 solicits high quality papers reporting research results and/or
experience reports related to the overall theme of method integration.
We solicit papers in the following categories:
- Research papers describe original scientific research results, validated by
experimental results where applicable. Submissions will be judged on the
basis of significance, relevance, correctness, originality, and clarity.
Limit: 15 pages.
- Case study papers report on applications of formal methods, preferably in a
real world setting. A case study paper need not introduce novel techniques
or
tools, but it must include a rigorous empirical evaluation and potentially
be
of interest to practitioners.
Limit: 15 pages.
- Regular tool papers present a new tool or novel extensions to an existing
tool. They should provide a short description of the theoretical
foundations,
while focusing on the tool's design and implementation concerns, as well as
empirical evaluation of its practical capabilities. Papers that present
extensions to existing tools should clearly focus on the improvements or
extensions with respect to previously published versions of the tool.
Authors
are strongly encouraged to make their tools publicly available, preferably
on
the web.
Limit: 15 pages.
- Tool demonstration papers focus on the usage aspects of tools. Foundations
and empirical evaluation are not required, but the paper should explain why
the tool is relevant for the community, and, in particular, for
practitioners. As with regular tool papers, authors are strongly encouraged
to make their tools publicly available, preferably on the web.
Limit: 8 pages.
Page limits include bibliography and any appendices. All submissions must be
original, unpublished, and not submitted for publication elsewhere. Each paper
will undergo a thorough review process.
Submissions should be made using the iFM 2017 Easychair website:
https://easychair.org/conferences/?conf=ifm2017
Submissions must be in PDF format, using the Springer LNCS style files; we
suggest to use the LaTeX2e package (the llncs.cls class file, available in
llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for
your contribution). The conference proceedings will be published in Springer's
Lecture Notes in Computer Science series.
All accepted papers must be presented at the conference. Their authors must be
prepared to sign a copyright transfer statement. At least one author of each
accepted paper must register to the conference by the early registration date,
to be indicated by the organizers, and present the paper.
Workshops and PhD Symposium
===========================
iFM 2017 will be accompanied by a series of workshops and a PhD Symposium.
Further information is available from the conference website:
http://ifm2017.di.unito.it/
Conference Location
===================
iFM 2017 is organized by the University of Turin and will take place in Turin,
Italy.
—
Ingrid Chieh Yu
Associate professor
Dept. of Informatics, University of Oslo
Tel + 47 2284 5525, email ingridcy at ifi.uio.no<mailto:ingridcy at ifi.uio.no>
------------------------------
Message-ID: <A18465C4-1084-40D2-8D3A-3F2FC21C5019 at ifi.uio.no>
Date: Fri, 31 Mar 2017 14:54:39 +0000
From: Silvia Lizeth Tapia Tarifa <sltarifa at ifi.uio.no>
Subject: [FME Events] First Call for Papers: PhD Symposium at iFM'17
[Apologies in case of multiple copies, please redistribute]
=============================================
Call for Papers
PhD Symposium at iFM'17 on
Formal Methods: Algorithms, Tools and Applications
(PhD-iFM'17)
Torino, Italy, September 19, 2017
http://ifm2017.di.unito.it/callForPhDSymposium.php
Paper submission: June 15, 2017
Author notification: July 7, 2017
=============================================
=== Scope ===
The theory, implementation, integration or application of
formal methods in a broad sense.
=== Who can submit? ===
PhD students and young researchers at an early
career stage (up to 2 years after PhD completion).
=== Why to submit? ===
Participants will have the possibility to give short
presentations about their research projects. Furthermore,
we are happy to announce an invited talk by Dr. Mike Nikolai,
RTD Manager at Siemens Industry Software NV.
- The doctoral symposium offers an excellent opportunity to
present your work in an international setting, and to get
feedback from senior researchers in the field.
- The doctoral symposium lets you exchange knowledge and
experiences with fellow PhD-students in a related topic.
- The best paper/presentation will be awarded.
- The selected contributions will be published as a technical
report of the University of Oslo, Norway.
=== What to submit? ===
You are welcome to submit an extended abstract of 1-3 pages,
describing your research project which you would
like to present. Co-authors are allowed, but you should be
the first author. The results may have been accepted or
even published elsewhere. Multiple submissions by one author
are not permitted. Submissions should be written in English
and follow the EasyChair formatting guidelines, available at
http://www.easychair.org/publications/for_authors
Please submit your abstract electronically in pdf via the
EasyChair page
https://easychair.org/conferences/?conf=phdifm17
The submitted abstracts will undergo a lightweight reviewing
process. A symposium proceedings containing the accepted
abstracts will be available as a technical report of
the University of Oslo.
=== Invited Presentation ===
Mike Nikolai (Siemens Industry Software NV, Belgium)
=== Symposium Co-Chairs ===
Erika Abraham (RWTH Aachen University, Germany), chair
S. Lizeth Tapia Tarifa (University of Oslo, Norway), chair
=== Program Committee ===
Stijn de Gouw (Open University, The Netherlands)
Marieke Huisman (University of Twente, The Netherlands)
Laura Kovacs (Vienna University of Technology, Austria)
Ralf Wimmer (Albert-Ludwigs-University Freiburg, Germany)
------------------------------
*********************************************
End of it-fmeurope-events Digest Mon, 03 Apr 2017
More information about the ecoop-info
mailing list