Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] FOCLASA 2017 - First Call for Papers


view this post on Zulip Email Gateway (Aug 22 2022 at 15:18):

From: Foclasa Workshop <foclasa2017@gmail.com>
[Apologies in case of multiple posting]

------ FOCLASA 2017: First Call for Papers ------

15th International Workshop on Foundations
of Coordination Languages and Self-Adaptive Systems

http://foclasa.lcc.uma.es

September 4-10, 2017 (precise date TBA), Trento (Italy)
Colocated with SEFM 2017 - http://sefm17.fbk.eu

Follow us on Twitter: @foclasa2017

------------------------------------------------------

FOCLASA 2017 is a workshop colocated with the 15th International
Conference on Software Engineering and Formal Methods (SEFM 2017).
The goal of FOCLASA is to put together researchers and
practitioners to share and identify common problems, and to devise
general solutions in the context of coordination languages and
self-adaptive systems.

------ IMPORTANT DATES ------

June 2, 2017: Deadline for abstract submission
June 9, 2017: Deadline for paper submission
July 7, 2017: Notifications
July, 2017: Final versions (precise date TBA)
September 4-10, 2017: Workshop in Trento (precise date TBA)

------ TOPICS OF INTEREST ------

In particular, practice, experience and methodologies from the
following areas are solicited as well:

Survey works analysing and comparing literature on the topics of
FOCLASA are also welcome.

------ PAPER SUBMISSION ------

Submissions must describe authors' original research work and their
results. Description of work-in-progress with concrete results is also
encouraged. The contributions should not exceed 15 pages in LNCS style
and should be submitted as Portable Document Format (PDF) files using
the EasyChair submission site:

http://www.easychair.org/conferences/?conf=foclasa2017

All submissions will be reviewed by an international program committee
who will make a selection among the submissions based on the novelty,
soundness and applicability of the presented ideas and results.
Concurrent submission to other venues (conferences, workshops or
journal) and submission of papers under consideration elsewhere is
not allowed.

All accepted papers will be included in the LNCS Workshop Proceedings of
SEFM 2017, to be published by Springer after the workshop. Additionally,
and following the tradition of past editions, a special issue of Science
in Computer Programming (SCP, Elsevier) will be devoted to the best papers
accepted at FOCLASA 2017. Selected participants will be invited to submit
an extended version of their papers after the workshop. These extended
versions will be reviewed by an international program committee, which
will decide on their final publication on the special issue.

------ PROGRAM COMMITTEE CHAIRS ------

------ PROGRAM COMMITTEE ------

------ PUBLICITY CHAIR ------

------ WEB CHAIR ------

------ STEERING COMMITTEE ------


Last updated: Mar 29 2024 at 08:18 UTC