Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Foclasa 2018 : deadline extensions


view this post on Zulip Email Gateway (Aug 22 2022 at 17:05):

From: jean-marie.jacquet@unamur.be
======================================================================

FOCLASA 2018

16th International Workshop on Foundations of
Coordination Languages and Self-adaptive systems

Toulouse, France,
June 26, 2018

http://foclasa.lcc.uma.es/

======================================================================

PUBLICATIONS

* Publication of the proceedings in the Lecture Notes of
Computer Science of Springer-Verlag, following the collective
volumes published by STAF

* Publication of extended versions of selected work is
planned in a special issue of an international journal
as in previous issues of FOCLASA

IMPORTANT DATES

* Submission of abstract: April 22, 2018
(strict deadline)

* Submission of papers: April 30, 2018
(strict deadline)

* Notification of acceptance: May 20, 2018
* Final version: June 10, 2018
* Workshop: June 26, 2018

WORKSHOP GOALS

Nowadays software systems are distributed, concurrent, mobile, and
often involve the composition of heterogeneous components and
stand-alone services. Service coordination and self-adaptation
constitute the core character istics of distributed and
service-oriented systems. Coordination languages and formal
approaches to modelling and reasoning about self-adaptive behaviour
help to simplify the development of complex distributed service-based
systems, enable functional correctness proofs and improve reusability
and maintainability of such systems. The goal of the FOCLASA workshop
is to gather researchers and practitioners of the aforementioned
fields, to share and identify common problems, and to devise general
solutions in the context of coordination languages and self-adaptive
systems.

Topics of interest include (but are not limited to):

Practice, experience and methodologies from the following areas are
solicited as well:

The conference proceedings will be published by Springer, in the
Lecture Notes in Computer Science (LNCS) series.

Extended versions of a selection of the best papers is planned to be
published in a special issue of an international journal as in
previous issues of FOCLASA.

SUBMISSION INSTRUCTIONS

Papers must be submitted electronically in PostScript or PDF by using
a two-phase online submission process. Registration of information and
and abstract (max. 250 words) of papers must be completed before April
22, 2018. Final submission of papers is due no later than April 30,
2018. All submissions will be handled through the EasyChair conference
management system, accessible from the conference web site:

http://pages.di.unipi.it/foclasa

Contributions must be written in English and report on original,
unpublished work not submitted for publication elsewhere. Full papers
should be 15 pages long, including figures and references, and
prepared by using Springer's LNCS style. Short papers (6 pages long)
describing preliminary results or work-in-progress are encouraged as
well. Submissions not adhering to the above specified constraints may
be rejected without any review. Papers should be submitted as PDF or
PS via EasyChair.

PROGRAM COMMITTEE

Co-Chairs

Jean-Marie Jacquet University of Namur, Belgium
Jean-Marie.Jacquet@unamur.be
http://staff.info.unamur.be/jmj

Jacopo Soldani University of Pisa
soldani@di.unipi.it
http://pages.di.unipi.it/soldani/

Members

Gul Agha, University of Illinois at Urbana-Champaign, USA
Pedro Alvarez, Universidad de Zaragoza, Spain
Farhad Arbab, CWI, The Netherlands
Simon Bliudze, INRIA Lille - Nord Europe, France
Radu Calinescu, University of York, UK
Javier Camara, Carnegie Mellon University, USA
Flavio De Paoli, University of Milano, Italy
Francisco J. Duran, Universidad de Malaga, Spain
Erik de Vink, Eindhoven University of Technology, The Netherlands
Schahram Dustdar, TU Wien, Austria
Letterio Galletta, IMT Lucca, Italy
Eva Kuhn, Vienna University of Technology, Austria
Alberto Lluch Lafuente, Technical University of Denmark
Sun Meng, Peking University, China
Hernan C. Melgratti, University of Buenos Aires, Argentina
Mohammad Mousavi, Halmstad University, Sweden
Pascal Poizat, Universite Paris Ouest, France
Jose Proenca, INESC TEC & Universidade do Minho, Portugal
Gwen Salaun, University of Grenoble, France
Michael Sheng, University of Adelaide, Australia
Marjan Sirjani, Reykjavik University, Iceland
Carolyn Talcott, SRI International, USA
Massimo Tivoli, University of L'Aquila, Italy
Emilio Tuosto, University of Leicester, UK
Lina Ye, CentraleSupelec, France
Gianluigi Zavattaro, University of Bologna, Italy


Last updated: Mar 28 2024 at 12:29 UTC