[Hol-info] [CfP] ASYDE workshop @SEFM'19 - Springer Special Issue and Keynote ready

[alexander . perucci]

[Apologies for multiple postings]

** Reminder: the ASYDE @SEFM'19 submission deadline is June 10th, 2019
** Keynote by Marjan Sirjani @ASYDE 2019, Mälardalen University
** Special Issue on Automated and Verifiable Internet Services and Applications 
Development - Springer Journal of Internet Services and Applications (JISA) is 
open and calling for exciting papers.

More on http://asyde2019.disim.univaq.it/

== KEYNOTE ==

- Marjan Sirjani, Mälardalen University

- TITLE: Reactive Systems: From Requirements to Verifiable Models to Code

- ABSTRACT: Software systems are complicated, and the scientific and 
engineering methodologies for software development are relatively young. We 
need robust methods for handling the ever-increasing complexity of software 
systems that are now in every corner of our lives. In this talk I will focus on 
asynchronous event-based reactive systems and show how we start from the 
requirements, move to actor-based models, verify the models for correctness, 
and build executable codes based on that. I show how we can use the 
architecture design and sequence diagrams to build the behavioral model, and 
the state diagrams to write the properties of interest, and then use model 
checking to check the properties. We then refine the verified models to develop 
the executable code. The natural mappings among the models for requirements, 
the formal models, and the executable code improve the effectiveness and 
efficiency of the approach. It also helps in runtime monitoring and adaptation.

== SPECIAL ISSUE ==

During the last three decades, automation in internet services and applications 
development has gone mainstream. Software development teams strive to automate 
as much of the software development activities as possible. Automation helps, 
in fact, to reduce development time and cost, as well as to concentrate 
knowledge by bringing quality into every step of the development process. 
Realizing high-quality internet services and applications requires producing 
software that is efficient, error-free, cost-effective, and that satisfies 
customer requirements. Thus, one of the most crucial factors impacting software 
quality concerns not only the automation of the development process but also 
the ability to verify the outcomes of each process activity and the goodness of 
the resulting software product as well.

This JISA Thematic Series aims at new automated software development methods 
and techniques, compositional verification theories, integration architectures, 
flexible and dynamic composition, and automated planning mechanisms.

We seek contributions at various levels: from foundational aspects to concrete 
application experiments; from modeling to verification and analysis; from 
deployment to execution; from (industrial) experience papers and case-studies, 
to tool demonstrations and visionary papers; papers describing novel research 
contributions and innovative applications are of particular interest

== IMPORTANT DATES ==

- Paper submissions: October 1st, 2019
- First response to authors: December 22nd, 2019 

== TOPICS OF INTEREST (although not limited to) ==

- Specification and design of services and applications
- Architecture and implementation of services and applications
- Services and applications verification models
- Formal methods for automated development of services and applications
- Model-driven development of services and applications
- Correct-by-construction development of services and applications
- Automated synthesis of software integration code
- Automated development and integration of services and applications
- Automated and verifiable software development
- Automated planning methods for software development
- Non-functional properties of services and applications
- Software quality assurance for automated software development
- Compositional theories for software development and its (dynamic) verification
- Dynamic verification and testing
- Service-oriented and component-based software development
- Machine learning techniques for the development of services and applications

JISA is an open access journal. Recent papers can be downloaded from 
https://jisajournal.springeropen.com/articles

== SUBMISSION INSTRUCTIONS ==

Prior to submission, authors should carefully read over the Instructions for 
Authors, which are located at 
https://jisajournal.springeropen.com/submission-guidelines. Prospective authors 
should submit an electronic copy of their complete manuscript through the 
SpringerOpen submission system at https://www.editorialmanager.com/jisa/ 
according to the submission schedule. Upon submitting, authors should choose 
the correct Thematic Series in the “sections” box by selecting “TS: Automated 
and Verifiable ISA Development”. In addition, they should specify the 
manuscript as a submission to the “Automated and Verifiable Internet Services 
and Applications Development” in the cover letter. If you have any difficulty 
in 

[Hol-info] [3rd Call for Papers] ASYDE 2019 @ SEFM 2019

[alexander . perucci]

 University (Tile and abstract to be announced)

== WEB CHAIR ==

- Amleto Di Salle, University of L'Aquila, Italy

== PUBLICITY CHAIR ==

- Alexander Perucci, University of L'Aquila, Italy


___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [2nd Call for Papers] ASYDE 2019 @ SEFM 2019

[alexander . perucci]

[Apologies for multiple postings]

--  Second Call for Papers --

ASYDE 2019: 1st International Workshop on on Automated and verifiable Software 
sYstem DEvelopment, co-located with the 17th International Conference on 
Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September 
16, 2019

During the last three decades, automation in software development has gone 
mainstream. Software development teams strive to automate as much of the 
software development activities as possible. Automation helps, in fact, to 
reduce development time and cost, as well as to concentrate knowledge by 
bringing quality into every step of the development process. Realizing 
high-quality software systems requires producing software that is efficient, 
errorfree, cost-effective, and that satisfies customer requirements. Thus, one 
of the most crucial factors impacting software quality concerns not only the 
automation of the development process but also the ability to verify the 
outcomes of each process activity and the goodness of the resulting software 
product as well.

ASYDE 2019 provides a forum for researchers and practitioners to propose and 
discuss on automated software development methods and techniques, compositional 
verification theories, integration architectures, flexible and dynamic 
composition, and automated planning mechanisms. ASYDE 2019 welcomes research 
papers, (industrial) experience papers and case-studies, tool demonstrations 
and visionary papers; nevertheless, papers describing novel research 
contributions and innovative applications are of particular interest. Details 
on workshop goals and themes can be found at: http://asyde2019.disim.univaq.it/

== IMPORTANT DATES ==

Abstract submission: June 3rd, 2019
Paper submission: June 10th, 2019
Notification: July 15th, 2019
Camera ready: July 22nd, 2019

== TOPICS OF INTEREST (although not limited to) ==

- Specification, architecture, and design of software and verification models
- Formal methods for automated software development
- Model-driven software development
- Correct-by-construction software development
- Automated synthesis of software integration code
- Automated software development and integration
- Automated and verifiable software development
- Automated planning methods
- Non-functional properties of software
- Software quality assurance for automated software development
- Compositional theories for software development and its (dynamic) verification
- Dynamic verification and testing
- Service-oriented and Component-based software development
- Machine learning techniques

== PAPER SUBMISSION ==

Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: 
https://sefm2019.inria.fr/cfp/
The submission Web page for ASYDE 2019 is 
https://easychair.org/conferences/?conf=asyde2019
Each submitted paper will undergo a process of formal peer review by at least 3 
PC members. Contributions can be:

- Regular papers (from 10 to 15 pages): In this category fall those 
contributions that propose novel research contributions, address challenging 
problems with innovative ideas, or offer practical contributions (e.g., 
industrial experiences and case-studies) in the application of FM and SE 
approaches for automated and verifiable software development. Regular papers 
must clearly describe the situation or problem tackled, the relevant state of 
the art, the proposed position or solution, and the potential benefits of the 
contribution. Authors of papers reporting industrial experiences are encouraged 
to make their experimental results available for use by reviewers.

- Short papers (from 6 to 8 pages): This category includes tool demonstrations, 
position papers, and visionary papers. Authors of tool demonstration papers 
should make their tool available for use by reviewers

== WORKSHOP CHAIRS ==

- Farhad Arbab, CWI, The Netherlands farhad.ar...@cwi.nl
- Marco Autili, University of L'Aquila, Italy marco.aut...@univaq.it
- Federico Ciccozzi, Malardalen University, Sweden federico.cicco...@mdh.se
- Pascal Poizat, Sorbonne Université, France pascal.poi...@lip6.fr
- Massimo Tivoli, University of L'Aquila, Italy, massimo.tiv...@univaq.it

== PROGRAM COMMITTEE ==

- Luciano Baresi, Politecnico di Milano
- Steffen Becker, University of Stuttgart
- Domenico Bianculli, SnT Centre - University of Luxembourg
- Antonio Brogi, University of Pisa
- Radu Calinescu, University of York
- Antinisca Di Marco, University of L'Aquila
- Amleto Di Salle, University of L'Aqula
- Schahram Dustdar, Vienna University of Technology
- Nikolaos Georgantas, INRIA
- Cristina Seceleanu, Mälardalen University
- Meng Sun, Peking University
- Apostolos Zarras, University of Ioannina

== WEB CHAIR ==

- Amleto Di Salle, University of L'Aquila, Italy

== PUBLICITY CHAIR ==

- Alexander Perucci, University of L'Aquila, Italy


___
hol-info mailing list
hol-info@lists.sourceforge.net
https

[Hol-info] [1st Call for Papers] ASYDE 2019 @ SEFM 2019

[alexander . perucci]

[Apologies for multiple postings]

--  First Call for Papers --

ASYDE 2019: 1st International Workshop on on Automated and verifiable Software 
sYstem DEvelopment, co-located with the 17th International Conference on 
Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September 
16, 2019

During the last three decades, automation in software development has gone 
mainstream. Software development teams strive to automate as much of the 
software development activities as possible. Automation helps, in fact, to 
reduce development time and cost, as well as to concentrate knowledge by 
bringing quality into every step of the development process. Realizing 
high-quality software systems requires producing software that is efficient, 
errorfree, cost-effective, and that satisfies customer requirements. Thus, one 
of the most crucial factors impacting software quality concerns not only the 
automation of the development process but also the ability to verify the 
outcomes of each process activity and the goodness of the resulting software 
product as well.

ASYDE 2019 provides a forum for researchers and practitioners to propose and 
discuss on automated software development methods and techniques, compositional 
verification theories, integration architectures, flexible and dynamic 
composition, and automated planning mechanisms. ASYDE 2019 welcomes research 
papers, (industrial) experience papers and case-studies, tool demonstrations 
and visionary papers; nevertheless, papers describing novel research 
contributions and innovative applications are of particular interest. Details 
on workshop goals and themes can be found at: http://asyde2019.disim.univaq.it/

== IMPORTANT DATES ==

Abstract submission: June 3rd, 2019
Paper submission: June 10th, 2019
Notification: July 15th, 2019
Camera ready: July 22nd, 2019

== TOPICS OF INTEREST (although not limited to) ==

- Specification, architecture, and design of software and verification models
- Formal methods for automated software development
- Model-driven software development
- Correct-by-construction software development
- Automated synthesis of software integration code
- Automated software development and integration
- Automated and verifiable software development
- Automated planning methods
- Non-functional properties of software
- Software quality assurance for automated software development
- Compositional theories for software development and its (dynamic) verification
- Dynamic verification and testing
- Service-oriented and Component-based software development
- Machine learning techniques

== PAPER SUBMISSION ==

Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: 
https://sefm2019.inria.fr/cfp/
The submission Web page for ASYDE 2019 is 
https://easychair.org/conferences/?conf=asyde2019
Each submitted paper will undergo a process of formal peer review by at least 3 
PC members. Contributions can be:

- Regular papers (from 10 to 15 pages): In this category fall those 
contributions that propose novel research contributions, address challenging 
problems with innovative ideas, or offer practical contributions (e.g., 
industrial experiences and case-studies) in the application of FM and SE 
approaches for automated and verifiable software development. Regular papers 
must clearly describe the situation or problem tackled, the relevant state of 
the art, the proposed position or solution, and the potential benefits of the 
contribution. Authors of papers reporting industrial experiences are encouraged 
to make their experimental results available for use by reviewers.

- Short papers (from 6 to 8 pages): This category includes tool demonstrations, 
position papers, and visionary papers. Authors of tool demonstration papers 
should make their tool available for use by reviewers

== WORKSHOP CHAIRS ==

- Farhad Arbab, CWI, The Netherlands farhad.ar...@cwi.nl
- Marco Autili, University of L'Aquila, Italy marco.aut...@univaq.it
- Federico Ciccozzi, Malardalen University, Sweden federico.cicco...@mdh.se
- Pascal Poizat, Sorbonne Université, France pascal.poi...@lip6.fr
- Massimo Tivoli, University of L'Aquila, Italy, massimo.tiv...@univaq.it

== PROGRAM COMMITTEE ==

[to be announced]

== WEB CHAIR ==

- Amleto Di Salle, University of L'Aquila, Italy

== PUBLICITY CHAIR ==

- Alexander Perucci, University of L'Aquila, Italy


___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things

[alexander . perucci]

 Call for Papers 

Springer Journal of Internet Services and Applications (JISA) - 


Thematic Series on Verification and Composition for the Internet of Services 
and Things - 



The Internet of Services and Things promotes a distributed computing 
environment that will be inhabited by a virtually infinite number of software 
services and things. Within this context, software systems will increasingly be 
built by reusing and composing together software services and things 
distributed over the Internet.

The Internet of Services and Things is thus radically changing the way software 
will be produced, verified and used, and calls for new software composition 
paradigms and patterns, flexible infrastructures and integration architectures, 
as well as novel modeling and verification methods. Despite the great interest 
in software composition and verification methods, when developing service- and 
thing-based software systems, strong challenges remain in place.

This JISA Thematic Series aims at new verification and composition techniques 
able to meet the requirements of modern applications, counteracting the 
specialization of traditional approaches in order to deal with heterogeneity, 
dynamicity, adaptation, large scale, mobility, security, etc. We seek 
contributions at various levels: from foundational aspects to concrete 
application experiments; from modeling to verification and analysis; from 
componentization to composition; and from deployment to execution. 

 Topics include, but are not limited to the following: 

Verification and Composition for the Internet of Services and Things
- Engineering Principles
- Requirement Engineering
- Development Processes
- Design and Programming
- Model Checking 
- Verification and Validation
- Model-Driven Development Methods and Tools 

Run-Time Support for Verifying and Composing Services and Things 
- Middleware (description, publication, discovery, access, etc.)
- Convergence and Integration
- Monitoring and Coordination 
- Scalability, Mobility, Heterogeneity

QoS Verification of Service- and Thing-based Systems
- Performance, Reliability and Availability Modeling and Evaluation 
- Security (vulnerabilities, malwares, countermeasures, etc.)
- Trust, Privacy, and Sustainability

Crosscutting Concerns
- Pervasiveness
- Context- and Resource-awareness
- Semantic-awareness
- Seamlessness
- Adaptation
- Decentralized vs. Centralized Service Composition Approaches 

Tools, Case studies, Use cases
- Smart grid, Smart house, Smart cities, Sustainable and Green Systems
- Killer applications 


JISA is an open access journal. Recent papers can be downloaded from 


 Submission instructions 
Prior to submission, authors should carefully read over the Submission 
Guidelines - . 
Manuscripts are typically 14 two-column pages in length, and should not exceed 
16 pages. Prospective authors should submit an electronic copy of their 
complete manuscript through the SpringerOpen submission system 
() according to the submission 
schedule. They should choose the correct Thematic Series in the "sections" box 
upon submitting. In addition, they should specify the manuscript as a 
submission to the "Thematic Series on Service Composition for the Future 
Internet" in the cover letter. If you
have any difficulty in paying the author processing charges (APC), please 
request a waiver from the editors.

 Important dates 
-   Paper submissions: September 18th, 2016
-   First response to authors: November 18th, 2016 

 Guest editors 
-   Marco Autili, University of L’Aquila, Italy
-   Massimo Tivoli, University of L’Aquila, Italy
-   Dimitra Giannakopoulou, NASA Ames Research Center, USA

 Please address queries related to this call to: 
- marco.aut...@univaq.it
- massimo.tiv...@univaq.it 
- dimitra.giannakopou...@nasa.gov 

--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal

[alexander . perucci]

, UK
- Carlo Bellettini, Università degli studi di Milano, Italy


== Web Chair & Publicity Chair ==

- Alexander Perucci, University of L'Aquila, Italy

== List of topics (not limited to) ==

- Specification and design of software composition models
- Formal verification and model checking of software integration code
- Service-oriented software composition
- Automated software composition and coordination
- Formal verification of self-adaptive systems
- Model-driven software composition
- Correct-by-construction software composition
- Communication middleware support for service oriented composition
- Formal verification and model checking of multi-agent systems

--
Find and fix application performance issues faster with Applications Manager
Applications Manager provides deep performance insights into multiple tiers of
your business applications. It resolves application problems quickly and
reduces your MTTR. Get your free trial!
https://ad.doubleclick.net/ddm/clk/302982198;130105516;z
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] DEADLINE APPROACHING - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal

[alexander . perucci]

arlo Bellettini, Università degli studi di Milano, Italy


== Web Chair & Publicity Chair ==

- Alexander Perucci, University of L'Aquila, Italy

== List of topics (not limited to) ==

- Specification and design of software composition models
- Formal verification and model checking of software integration code
- Service-oriented software composition
- Automated software composition and coordination
- Formal verification of self-adaptive systems
- Model-driven software composition
- Correct-by-construction software composition
- Communication middleware support for service oriented composition
- Formal verification and model checking of multi-agent systems

--
Find and fix application performance issues faster with Applications Manager
Applications Manager provides deep performance insights into multiple tiers of
your business applications. It resolves application problems quickly and
reduces your MTTR. Get your free trial!
https://ad.doubleclick.net/ddm/clk/302982198;130105516;z
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [VeryComp 2016] - 2nd CfP and Dedicated Thematic Series on Springer JISA Journal

[alexander . perucci]

egli studi di Milano, Italy


== Web Chair & Publicity Chair ==

- Alexander Perucci, University of L'Aquila, Italy

== List of topics (not limited to) ==

- Specification and design of software composition models
- Formal verification and model checking of software integration code
- Service-oriented software composition
- Automated software composition and coordination
- Formal verification of self-adaptive systems
- Model-driven software composition
- Correct-by-construction software composition
- Communication middleware support for service oriented composition
- Formal verification and model checking of multi-agent systems

--
Transform Data into Opportunity.
Accelerate data analysis in your applications with
Intel Data Analytics Acceleration Library.
Click to learn more.
http://pubads.g.doubleclick.net/gampad/clk?id=278785471=/4140
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [VeryComp 2016] - 1st Call for Paper

[alexander . perucci]

[Apologies for multiple postings]

==  FIRST CALL FOR PAPERS ==

1st International Workshop on Formal to Practical Software Verification and 
Composition (VeryComp 2016)

Co-located event of STAF 2016 (http://staf2016.conf.tuwien.ac.at/) 
Wien, Austria - July 4th 2016

Web site: verycomp2016.disim.univaq.it

== IMPORTANT DATES ==

Paper submissions: April 18, 2016
Notification of authors: May 25, 2016
Camera-ready copies: June 20, 2016

== THEMES AND OBJECTIVES ==

Nowadays, modern applications are increasingly realized as distributed systems 
composing existing pieces of software that autonomically cooperates to achieve 
a common goal. As a matter of fact, this calls for new software composition 
paradigms, and patterns, modeling and verification methods that are practical 
and usable on one hand and formal on the other. Despite the great interest in 
practical Software Composition and Formal Verification in their isolation, no 
common and integrated approaches have been established yet. VeryComp promotes 
contributions related to the subject at different levels: from modelling and 
verification to analysis, from componentization to composition. Foundational 
contributions as well as concrete application experiments are sought.

VeryComp 2016 welcomes research papers, experience papers and tool 
presentations; nevertheless, papers describing novel research contributions and 
innovative applications are of particular interest. Details on workshop goals 
and themes can be found at: http://verycomp2016.disim.univaq.it

All accepted papers will be published as part of a Springer LNCS Proceedings 
Volume (Lecture Notes in Computer Science): http://www.springer.com/lncs

Furthermore, selected participants will be invited to submit an extended 
version of their papers after the workshop to a Thematic Series of the Springer 
JISA journal on Verification and Composition for the Internet of Services and 
Things (to appear soon on Springer).

Each submitted paper will undergo a formal peer review process by at least 3 PC 
members. Contributions can be:

- Regular papers (maximum 12 pages): In this category fall those contributions 
which propose novel research contributions, address challenging problems with 
innovative ideas, or offer practical contributions in the application of FM and 
SE approaches for building FI applications via software composition. Regular 
papers should clearly describe the situation or problem tackled, the relevant 
state of the art, the position or solution suggested and the potential benefits 
of the contribution.

- Short papers (maximum 8 pages): This category includes tool demonstrations, 
position papers, industrial experiences and case-studies, and visionary papers. 
Authors of papers reporting industrial experiences are encouraged to make their 
experimental results available for use by reviewers. Similarly, authors of tool 
demonstration papers should make their tool available for use by reviewers.


== Workshop Chairs ==

- Marco Autili, University of L’Aquila, Italy,
marco.aut...@univaq.it
- Massimo Tivoli, University of L’Aquila, Italy,
massimo.tiv...@univaq.it
- Luca Ferrucci, ISTI-CNR, Italy,
ferru...@isti.cnr.it
- Manuel Mazzara, Innopolis University, Russia,
m.mazz...@innopolis.ru
- Davide Bresolin, DISI - Universitu of Bologna, Italy,
davide.breso...@unibo.it
- Marcello Bersani, DEIB - Politecnico di Milano, Italy,
marcellomaria.bers...@polimi.it
- Marisol Garcia-Valls, University Carlos III, Spain,
mva...@it.uc3m.es

 == Program Committee ==
 
- Domenico Bianculli, Universitè du Luxembourg
- Stéphane Demri, NewYork University & CNRS, France
- Silvio Ghilardi, UniversitaΜ€ degli studi di Milano, Italy
- Nafees Qamar, Vanderbilt University, USA
- David Miguel Ramalho Pereira, Polytechnical School of Porto, Portugal
- Cesar Sanchez, IMDEA Software Institute, Spain
- Vincenzo Ciancia, ISTI-CNR, Italy
- Gwen Salaun, INRIA, Grenoble-Rhone-Alpes, France
- Guglielmo De Angelis, CNR-IASI/ISTI, Italy
- Paola Inverardi, University of L’Aquila, Italy
- Ivica Crnkovic, MaIardalen University, Sweden
- Radu Calinescu, University of York, UK
- Schahram Dustdar, University of Technology Wien, Austria
- Luciano Baresi, Politecnico di Milano, Italy
- Mauro Caporuscio, Linnaeus University, Sweden
- Nikolaos Georgantas, INRIA, France
- Salvatore Distefano, UniversitΓ  di Messina, Italy
- Victor Rivera, Innopolis University, Russia
- Pascal Poizat, Paris Ouest University and LIP6, France
- Saad Mubeen, MΓ€lardalen University, Sweden
- Hernan Melgratti, Universidad de Buenos Aires, Argentina
- Julio Medina, Universidad de Cantabria, Spain
- Patricia Lago, VU University Amsterdam, Nederland
- Carlo Ghezzi, Politecnico di Milano, Italy
- Antonio Bucchiarone, FBK-IRST, Italy
- Antonio Brogi, UniversitΓ  di Pisa, Italy
- Amel Bennaceur, The Open University, UK
- Carlo Bellettini, UniversitΓ  degli studi di Milano, Italy


== Web Chair & Publicity Chair ==

- Alexander Perucci, Un

[Hol-info] FOCLASA 2015 - Call for Participation

[alexander . perucci]

[Apologies for multiple postings]

-- FOCLASA 2015 Call for Participation --
 
FOCLASA 2015: 14th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems
 
http://foclasa.lcc.uma.es/
 
5 September 2015, Madrid (Spain)
In conjunction with CONCUR 2015
==
 
FOCLASA 2015 is a workshop colocated with the 25th International
Conference on Concurrency Theory (CONCUR 2015 -
http://mafalda.fdi.ucm.es/concur2015). The goal of the FOCLASA workshop
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.

This year FOCLASA has a joint programme with the International Symposium on
Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015 -
http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php). The programme is
available below.

== WS-FM/BEAT programme on Friday ==

14:30 - 16:00 Session 1
14:30 - 14:45 Opening
14:45 - 16:00 Static Analysis of Unbounded Networks with Behavioural
Types. Cosimo Laneve (invited talk).

16:00 - 16:30 Break

16:30 - 18:45 Session 2
16:30 - 17:15 Type Inference for Session Types in the Pi-Calculus.
Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hόttel, Mathias
Ormstrup Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl.
17:15 - 18:00 Type checking purpose-based access control policies in
the pi-calculus. Eleni Kokkinofta and Anna Philippou.
18:00 - 18:45 On honest interactions among untrusted services.
Massimo Bartoletti and Roberto Zunino.



== WS-FM/BEAT and FOCLASA joint programme on Saturday ==

08:50 - 10:30 Session 1
08:50 - 09:00 Opening
09:00 - 09:45 A Context-Oriented Extension of F#.
Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta.
09:45 - 10:30 Specifying Finite-State Actors.
Jonathan Schuster, Stephen Chang and Matthias Felleisen.

10:30 - 11:00 Break

11:00 - 13:00 Session 2
11:00 - 11:45 On the Automated Synthesis of Enterprise Integration
Patterns to Adapt Choreography-based Distributed Systems.
Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli.
11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario
Bravetti (invited talk).

13:00 - 14:45 Lunch

14:45 - 16:00 Session 3
Title to be announced. Javier Esparza (invited talk)

16:00 - 16:30 Break

16:30 - 18:15 Session 4
16:30 - 17:15 A Constraint-based Approach for Generating
Transformation Patterns. Asma Cherif and Abdessamad Imine.
17:15 - 18:00 Service Choreography, SBVR, and Time. Nurulhuda A.
Manaf, Sotiris Moschoyiannis and Paul Krause.
18:00 - 18:15 Closing


== PROGRAM COMMITTEE CHAIRS ==

* Jose Proenca
  iMinds-Distrinet, KU Leuven, Belgium and
  HASLab/INESC TEC, University of Minho, Portugal
  jose.proe...@cs.kuleuven.be
 
* Massimo Tivoli
  University of L'Aquila, L'Aquila, Italy
  massimo.tiv...@univaq.it

== PUBLICITY CHAIR ==
 
* Alexander Perucci, University of L'Aquila, Italy
 
== PROGRAM COMMITTEE ==
 
* Farhad Arbab, CWI, The Netherlands
* Marco Autili, Univ. of L'Aquila, Italy
* Luis Barbosa, Universidade do Minho, Portugal
* Steffen Becker, University of Paderborn, Germany
* Javier Camara, Carnegie Mellon University, USA
* Carlos Canal, University of Malαga, Spain
* Carlos Cuesta, Rey Juan Carlos University, Spain
* David Garlan, Carnegie Mellon University, USA
* Alfredo Goldmann, University of Sγo Paulo, Brazil
* Keijo Heljanko, Aalto University, Finland
* Jean-Marie Jacquet, University of Namur, Belgium
* Christian Krause, SAP Innovation Center, Germany
* Sun Meng, Peking University, China
* Liliana Pasquale, University of Limerick, Ireland
* Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium
* Marjan Sirjani, Reykjavik University, Iceland
* Carolyn Talcott, SRI International, USA
* Massimo Tivoli, University of L'Aquila, Italy
* Mirko Viroli, University of Bologna, Italy

== STEERING COMMITTEE ==
 
* Farhad Arbab, CWI, The Netherlands
* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Malαga, Spain
* Jean-Marie Jacquet, University of Namur, Belgium
* Ernesto Pimentel, University of Malαga, Spain
* Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France

--
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] FOCLASA 2015 - 3rd Call for Papers - Submission deadline extended

[alexander . perucci]

 devoted to FOCLASA 2015. 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. In the last few editions of FOCLASA, a
special issue of Science of Computer Programming has been dedicated to
this workshop.

== INVITED TALK ==

* Mario Bravetti (http://www.cs.unibo.it/~bravetti/)

Title:
Towards Dynamic Updates in Service Composition

Abstract:
We survey our work on choreographies and behavioural contracts in multiparty 
interactions. In particular theories of behavioural contracts are presented 
which enable reasoning about correct service composition (contract compliance) 
and service substitutability (contract refinement preorder) under different 
assumptions concerning service communication: synchronous communication with 
patient non-preemptable or impatient invocations, or asynchronous 
communication. Correspondingly, relations concerning behavioural contracts and 
choreographic descriptions are considered, where a contract for each 
communicating party is, e.g., derived by projection.
Contract refinement relations are induced as the maximal preoders which 
preserve contract compliance and global traces. The obtained preorders are then 
characterized in terms of a new form of testing, called compliance testing 
(where not only tests must succeed but also the system under test), and 
compared with classical preorders. Moreover, recent work about adaptable 
choreographies and behavioural contracts is presented, where the theory above 
is extended to update mechanisms allowing choreographies/contracts to be 
modified at run-time by internal (self-adaptation) or external intervention.

== PROGRAM COMMITTEE CHAIRS ==

* Jose Proenca
  iMinds-Distrinet, KU Leuven, Belgium and
  HASLab/INESC TEC, University of Minho, Portugal
  jose.proe...@cs.kuleuven.be
 
* Massimo Tivoli
  University of L'Aquila, L'Aquila, Italy
  massimo.tiv...@univaq.it

== PUBLICITY CHAIR ==
 
* Alexander Perucci, University of L'Aquila, Italy
 
== PROGRAM COMMITTEE ==
 
* Farhad Arbab, CWI, The Netherlands
* Marco Autili, Univ. of L'Aquila, Italy
* Luis Barbosa, Universidade do Minho, Portugal
* Steffen Becker, University of Paderborn, Germany
* Javier Camara, Carnegie Mellon University, USA
* Carlos Canal, University of Malαga, Spain
* Carlos Cuesta, Rey Juan Carlos University, Spain
* David Garlan, Carnegie Mellon University, USA
* Alfredo Goldmann, University of Sγo Paulo, Brazil
* Keijo Heljanko, Aalto University, Finland
* Jean-Marie Jacquet, University of Namur, Belgium
* Christian Krause, SAP Innovation Center, Germany
* Sun Meng, Peking University, China
* Liliana Pasquale, University of Limerick, Ireland
* Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium
* Marjan Sirjani, Reykjavik University, Iceland
* Carolyn Talcott, SRI International, USA
* Massimo Tivoli, University of L'Aquila, Italy
* Mirko Viroli, University of Bologna, Italy

== STEERING COMMITTEE ==
 
* Farhad Arbab, CWI, The Netherlands
* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Malαga, Spain
* Jean-Marie Jacquet, University of Namur, Belgium
* Ernesto Pimentel, University of Malαga, Spain
* Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France

--
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers

[alexander . perucci]

[Apologies for multiple postings]

--  Call for Papers --

SCART 2015: 1st International Workshop on the ART of Software Composition, 
co-located with SEFM 2015 – York, UK.

SCART 2015 (http://scart2015.disim.univaq.it/) provides the opportunity for 
discussing how the FI affects the traditional SE methods and tools, and how 
facing its complexity in terms of scalability, heterogeneity, and dinamicity 
promotes the integration of FM within SE practices. We seek answers on how the 
rigorousness of FM assists software engineers while designing, developing, 
validating and operating software systems for the FI, which are build via 
correct-by-construction service composition. The workshop constitutes a forum 
for scientists and engineers in academia and industry to present and discuss 
their latest research and development.

SCART 2015 welcomes research papers, experience papers and tool presentations; 
nevertheless, papers describing novel research contributions and innovative 
applications are of particular interest. Details on workshop goals and themes 
can be found at: http://scart2015.disim.univaq.it.

Keynote by Paola Inverardi (Title and abstract to be announced) - 
http://scart2015.disim.univaq.it/?page_id=139

A thematic series on Service Composition for the Future Internet in the 
Springer Journal of Internet Services and Applications (JISA - 
http://www.jisajournal.com/about/update/SCFI) is devoted to SCART 2015. 
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 thematic series.

== IMPORTANT DATES ==

Paper submissions: May 22, 2015
Notification of authors: June 19, 2015
Camera-ready copies: July 3, 2015

== PAPER SUBMISSION ==

Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: 
http://www.cs.york.ac.uk/sefm2015/

Each submitted paper will undergo a formal peer review process by at least 3 PC 
members. Contributions can be:

Regular papers (maximum 12 pages): In this category fall those contributions 
which propose novel research contributions, address challenging problems with 
innovative ideas, or offer practical contributions in the application of FM and 
SE approaches for building FI applications via software composition. Regular 
papers should clearly describe the situation or problem tackled, the relevant 
state of the art, the position or solution suggested and the potential benefits 
of the contribution.

Short papers (maximum 8 pages): This category includes tool demonstrations, 
position papers, industrial experiences and case-studies, well-pondered and 
sufficiently documented visionary papers. Authors of papers reporting 
industrial experiences are strongly encouraged to make their experimental 
results available for use by reviewers. Similarly, case-study papers should 
describe significant case-studies and the complete development should be made 
available for use by reviewers. Tool demonstration papers should explain 
enhancements made in comparison to previously published work. Authors of tool 
demonstration papers should make their tool available for use by reviewers.

== Workshop Chairs ==

- Marco Autili, University of L'Aquila, Italy marco.aut...@univaq.it 
- Alfredo Goldman, University of Sγo Paulo, Brazil g...@ime.usp.br 
- Massimo Tivoli, University of L'Aquila, Italy, massimo.tiv...@univaq.it

== Program Committee ==

- Domenico Bianculli, Univ. du Luxembourg
- Gwen Salaόn, INRIA, Grenoble-Rhone-Alpes, France
- Guglielmo De Angelis, CNR-IASI/ISTI, Italy
- Ivica Crnkovic, Mδlardalen University, Sweden
- Joni da Silva Fraga, UFSC, Brazil (pending)
- Kelly Rosa Braghetto, Univ. of Sγo Paulo, Brazil
- Luciano Baresi, Politecnico di Milano, Italy
- Mauro Caporuscio, Politecnico di Milano, Italy
- Miriam Capretz, Faculty of Western Eng., Canada
- Nelson Souto Rosa, UFPE, Brazil
- Nikolaos Georgantas, INRIA, Paris, France
- Paola Inverardi, Univ. of L'Aquila, Italy
- Pascal Poizat, Univ. Paris Ouest, France 
- Radu Calinescu, Univ. of York, UK
- Schahram Dustdar, Univ. of Technology Wien, Austria

== Publicity Chair ==

- Alexander Perucci, University of L'Aquila, Italy

== Web Chair ==

- Amleto Di Salle, University of L'Aquila, Italy

== List of topics (although not limited to) ==

- Specification, architecture, and design of software composition models
- Software quality assurance for software composition 
- Verification and testing of software integration code
- Adaptive software composition 
- Formal methods for automated software composition
- Service-oriented and Component-based software composition
- Non-functional properties of software composition
- Automated software composition and coordination
- Correct-by-construction software composition
- Automated synthesis of software integration code
- Model-driven software composition
- Compositional theories

[Hol-info] FOCLASA 2015 @ CONCUR 2015 - 2nd Call For Papers

[alexander . perucci]

. 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. In the last few editions of FOCLASA, a
special issue of Science of Computer Programming has been dedicated to
this workshop.

== INVITED TALK ==

* Mario Bravetti (http://www.cs.unibo.it/~bravetti/)

Title:
Towards Dynamic Updates in Service Composition

Abstract:
We survey our work on choreographies and behavioural contracts in multiparty 
interactions. In particular theories of behavioural contracts are presented 
which enable reasoning about correct service composition (contract compliance) 
and service substitutability (contract refinement preorder) under different 
assumptions concerning service communication: synchronous communication with 
patient non-preemptable or impatient invocations, or asynchronous 
communication. Correspondingly, relations concerning behavioural contracts and 
choreographic descriptions are considered, where a contract for each 
communicating party is, e.g., derived by projection.
Contract refinement relations are induced as the maximal preoders which 
preserve contract compliance and global traces. The obtained preorders are then 
characterized in terms of a new form of testing, called compliance testing 
(where not only tests must succeed but also the system under test), and 
compared with classical preorders. Moreover, recent work about adaptable 
choreographies and behavioural contracts is presented, where the theory above 
is extended to update mechanisms allowing choreographies/contracts to be 
modified at run-time by internal (self-adaptation) or external intervention.

== PROGRAM COMMITTEE CHAIRS ==

* Jose Proenca
  iMinds-Distrinet, KU Leuven, Belgium and
  HASLab/INESC TEC, University of Minho, Portugal
  jose.proe...@cs.kuleuven.be
 
* Massimo Tivoli
  University of L'Aquila, L'Aquila, Italy
  massimo.tiv...@univaq.it

== PUBLICITY CHAIR ==
 
* Alexander Perucci, University of L'Aquila, Italy
 
== PROGRAM COMMITTEE ==
 
* Farhad Arbab, CWI, The Netherlands
* Marco Autili, Univ. of L'Aquila, Italy
* Luis Barbosa, Universidade do Minho, Portugal
* Steffen Becker, University of Paderborn, Germany
* Javier Camara, Carnegie Mellon University, USA
* Carlos Canal, University of Malαga, Spain
* Carlos Cuesta, Rey Juan Carlos University, Spain
* David Garlan, Carnegie Mellon University, USA
* Alfredo Goldmann, University of Sγo Paulo, Brazil
* Keijo Heljanko, Aalto University, Finland
* Jean-Marie Jacquet, University of Namur, Belgium
* Christian Krause, SAP Innovation Center, Germany
* Sun Meng, Peking University, China
* Liliana Pasquale, University of Limerick, Ireland
* Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium
* Marjan Sirjani, Reykjavik University, Iceland
* Carolyn Talcott, SRI International, USA
* Massimo Tivoli, University of L'Aquila, Italy
* Mirko Viroli, University of Bologna, Italy

== STEERING COMMITTEE ==
 
* Farhad Arbab, CWI, The Netherlands
* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Malαga, Spain
* Jean-Marie Jacquet, University of Namur, Belgium
* Ernesto Pimentel, University of Malαga, Spain
* Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France

--
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [ERRATA CORRIGE] SCART 2015 at SEFM 2015 - Submission Deadline Extended - Springer JISA Thematic Series Invited Papers

[alexander . perucci]

[Apologies for multiple postings]

--  Call for Papers --

SCART 2015: 1st International Workshop on the ART of Software Composition, 
co-located with SEFM 2015 – York, UK.

SCART 2015 (http://scart2015.disim.univaq.it/) provides the opportunity for 
discussing how the FI affects the traditional SE methods and tools, and how 
facing its complexity in terms of scalability, heterogeneity, and dinamicity 
promotes the integration of FM within SE practices. We seek answers on how the 
rigorousness of FM assists software engineers while designing, developing, 
validating and operating software systems for the FI, which are build via 
correct-by-construction service composition. The workshop constitutes a forum 
for scientists and engineers in academia and industry to present and discuss 
their latest research and development.

SCART 2015 welcomes research papers, experience papers and tool presentations; 
nevertheless, papers describing novel research contributions and innovative 
applications are of particular interest. Details on workshop goals and themes 
can be found at: http://scart2015.disim.univaq.it.

Keynote by Paola Inverardi (Title and abstract to be announced) - 
http://scart2015.disim.univaq.it/?page_id=139

A thematic series on Service Composition for the Future Internet in the 
Springer Journal of Internet Services and Applications (JISA - 
http://www.jisajournal.com/about/update/SCFI) is devoted to SCART 2015. 
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 thematic series.

== IMPORTANT DATES ==

Paper submissions:  June 7, 2015
Notification of authors: June 24, 2015
Camera-ready copies: July 5, 2015

== PAPER SUBMISSION ==

Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: 
http://www.cs.york.ac.uk/sefm2015/

Each submitted paper will undergo a formal peer review process by at least 3 PC 
members. Contributions can be:

Regular papers (maximum 12 pages): In this category fall those contributions 
which propose novel research contributions, address challenging problems with 
innovative ideas, or offer practical contributions in the application of FM and 
SE approaches for building FI applications via software composition. Regular 
papers should clearly describe the situation or problem tackled, the relevant 
state of the art, the position or solution suggested and the potential benefits 
of the contribution.

Short papers (maximum 8 pages): This category includes tool demonstrations, 
position papers, industrial experiences and case-studies, well-pondered and 
sufficiently documented visionary papers. Authors of papers reporting 
industrial experiences are strongly encouraged to make their experimental 
results available for use by reviewers. Similarly, case-study papers should 
describe significant case-studies and the complete development should be made 
available for use by reviewers. Tool demonstration papers should explain 
enhancements made in comparison to previously published work. Authors of tool 
demonstration papers should make their tool available for use by reviewers.

== Workshop Chairs ==

- Marco Autili, University of L'Aquila, Italy marco.aut...@univaq.it 
- Alfredo Goldman, University of Sγo Paulo, Brazil g...@ime.usp.br 
- Massimo Tivoli, University of L'Aquila, Italy, massimo.tiv...@univaq.it

== Program Committee ==

- Domenico Bianculli, Univ. du Luxembourg
- Gwen Salaόn, INRIA, Grenoble-Rhone-Alpes, France
- Guglielmo De Angelis, CNR-IASI/ISTI, Italy
- Ivica Crnkovic, Mδlardalen University, Sweden
- Joni da Silva Fraga, UFSC, Brazil (pending)
- Kelly Rosa Braghetto, Univ. of Sγo Paulo, Brazil
- Luciano Baresi, Politecnico di Milano, Italy
- Mauro Caporuscio, Politecnico di Milano, Italy
- Miriam Capretz, Faculty of Western Eng., Canada
- Nelson Souto Rosa, UFPE, Brazil
- Nikolaos Georgantas, INRIA, Paris, France
- Paola Inverardi, Univ. of L'Aquila, Italy
- Pascal Poizat, Univ. Paris Ouest, France 
- Radu Calinescu, Univ. of York, UK
- Schahram Dustdar, Univ. of Technology Wien, Austria

== Publicity Chair ==

- Alexander Perucci, University of L'Aquila, Italy

== Web Chair ==

- Marco Autili, University of L’Aquila, Italy

== List of topics (although not limited to) ==

- Specification, architecture, and design of software composition models
- Software quality assurance for software composition 
- Verification and testing of software integration code
- Adaptive software composition 
- Formal methods for automated software composition
- Service-oriented and Component-based software composition
- Non-functional properties of software composition
- Automated software composition and coordination
- Correct-by-construction software composition
- Automated synthesis of software integration code
- Model-driven software composition
- Compositional theories

[Hol-info] SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers

[alexander . perucci]

[Apologies for multiple postings]

--  Call for Papers --

SCART 2015: 1st International Workshop on the ART of Software Composition, 
co-located with SEFM 2015 – York, UK.

SCART 2015 (http://scart2015.disim.univaq.it/) provides the opportunity for 
discussing how the FI affects the traditional SE methods and tools, and how 
facing its complexity in terms of scalability, heterogeneity, and dinamicity 
promotes the integration of FM within SE practices. We seek answers on how the 
rigorousness of FM assists software engineers while designing, developing, 
validating and operating software systems for the FI, which are build via 
correct-by-construction service composition. The workshop constitutes a forum 
for scientists and engineers in academia and industry to present and discuss 
their latest research and development.

SCART 2015 welcomes research papers, experience papers and tool presentations; 
nevertheless, papers describing novel research contributions and innovative 
applications are of particular interest. Details on workshop goals and themes 
can be found at: http://scart2015.disim.univaq.it.

Keynote by Paola Inverardi (Title and abstract to be announced) - 
http://scart2015.disim.univaq.it/?page_id=139

A thematic series on Service Composition for the Future Internet in the 
Springer Journal of Internet Services and Applications (JISA - 
http://www.jisajournal.com/about/update/SCFI) is devoted to SCART 2015. 
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 thematic series.

== IMPORTANT DATES ==

Paper submissions: May 22, 2015
Notification of authors: June 19, 2015
Camera-ready copies: July 3, 2015

== PAPER SUBMISSION ==

Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: 
http://www.cs.york.ac.uk/sefm2015/

Each submitted paper will undergo a formal peer review process by at least 3 PC 
members. Contributions can be:

Regular papers (maximum 12 pages): In this category fall those contributions 
which propose novel research contributions, address challenging problems with 
innovative ideas, or offer practical contributions in the application of FM and 
SE approaches for building FI applications via software composition. Regular 
papers should clearly describe the situation or problem tackled, the relevant 
state of the art, the position or solution suggested and the potential benefits 
of the contribution.

Short papers (maximum 8 pages): This category includes tool demonstrations, 
position papers, industrial experiences and case-studies, well-pondered and 
sufficiently documented visionary papers. Authors of papers reporting 
industrial experiences are strongly encouraged to make their experimental 
results available for use by reviewers. Similarly, case-study papers should 
describe significant case-studies and the complete development should be made 
available for use by reviewers. Tool demonstration papers should explain 
enhancements made in comparison to previously published work. Authors of tool 
demonstration papers should make their tool available for use by reviewers.

== Workshop Chairs ==

- Marco Autili, University of L'Aquila, Italy marco.aut...@univaq.it 
- Alfredo Goldman, University of Sγo Paulo, Brazil g...@ime.usp.br 
- Massimo Tivoli, University of L'Aquila, Italy, massimo.tiv...@univaq.it

== Program Committee ==

- Domenico Bianculli, Univ. du Luxembourg
- Gwen Salaόn, INRIA, Grenoble-Rhone-Alpes, France
- Guglielmo De Angelis, CNR-IASI/ISTI, Italy
- Ivica Crnkovic, Mδlardalen University, Sweden
- Joni da Silva Fraga, UFSC, Brazil (pending)
- Kelly Rosa Braghetto, Univ. of Sγo Paulo, Brazil
- Luciano Baresi, Politecnico di Milano, Italy
- Mauro Caporuscio, Politecnico di Milano, Italy
- Miriam Capretz, Faculty of Western Eng., Canada
- Nelson Souto Rosa, UFPE, Brazil
- Nikolaos Georgantas, INRIA, Paris, France
- Paola Inverardi, Univ. of L'Aquila, Italy
- Pascal Poizat, Univ. Paris Ouest, France 
- Radu Calinescu, Univ. of York, UK
- Schahram Dustdar, Univ. of Technology Wien, Austria

== Publicity Chair ==

- Alexander Perucci, University of L'Aquila, Italy

== Web Chair ==

- Amleto Di Salle, University of L'Aquila, Italy

== List of topics (although not limited to) ==

- Specification, architecture, and design of software composition models
- Software quality assurance for software composition 
- Verification and testing of software integration code
- Adaptive software composition 
- Formal methods for automated software composition
- Service-oriented and Component-based software composition
- Non-functional properties of software composition
- Automated software composition and coordination
- Correct-by-construction software composition
- Automated synthesis of software integration code
- Model-driven software composition
- Compositional theories

[Hol-info] Projects Showcase at STAF'15 - Deadline Extension

[alexander . perucci]

Dear Colleague,
we extended the submission deadline for our Project Showcase at STAF'15 to May 
17th, 2015 - http://www.disim.univaq.it/staf2015/projects-showcase/.

The success of the showcase depends on the submissions we receive, and you 
might be a very important part of this endeavour.

We would really appreciate if you could contribute with a paper towards making 
the project showcase a successful event!

Please, let us know if you have any further questions.

Cheers,
- Marco, Tom, Andrey, Massimo, Alexander

--
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CfP REMINDER - SCFI 2015 at IEEE SERVICES 2015

[alexander . perucci]

=== CfP REMINDER - SCFI 2015 at IEEE SERVICES 2015 ===

IEEE Service 2015 Visionary Track on Service Composition for the Future 
Internet (SCFI 2015) Theme

SCFI 2015 (http://scfi2015.disim.univaq.it/) visionary track theme aims at 
providing innovative contributions to the research and development of novel 
Service Composition approaches to assist the design, development, validation 
and execution of service-oriented applications for the Future Internet.

SCFI 2014 constitutes a forum for scientists and engineers in academia and 
industry to present and discuss their latest ongoing research as well as 
radical new research directions that represent challenging innovations, which 
can advance the status quo of Service Composition when projected to the Future 
Internet. 

Details on key aims of the visionary track can be found at: 
http://scfi2015.disim.univaq.it.

Keynote by Paola Inverardi (Title and abstract to be announced) - 
http://scfi2015.disim.univaq.it/?page_id=130

A thematic series on Service Composition for the Future Internet in the 
Springer Journal of Internet Services and Applications (JISA - 
http://www.jisajournal.com/about/update/SCFI) is devoted to SCFI 2015. Selected 
participants will be invited to submit an extended version of their papers 
after the visionary track. These extended versions will be reviewed by an 
international program committee, which will decide on their final publication 
on the thematic series.

== IMPORTANT DATES ==

Submission Due Date (for all Paper types): April 19, 2015
Decision Notification on papers (Electronic): May 04, 2015
Camera-Ready Copy: May 10, 2015 

== PAPER SUBMISSION ==

All accepted papers will be included in the Proceedings of the IEEE 11th World 
Congress on Services (SERVICES 2015), which will be published by the IEEE 
Computer Society. 

Selected papers will be invited for extension and inclusion in a special issue 
of a related journal.

We invite high-quality English-language submissions of regular papers, 
roadmaps, visionary papers, experience reports, industrial/academic 
reflections, and tool demos. Submissions should follow the IEEE Computer 
Society proceedings style as per IEEE 8.5 x 11 manuscript guidelines and 
accepted manuscripts must be under 4 or 8 pages. At least one author of each 
accepted paper is required to attend SCFI track and present the paper. 

== Workshop Chairs ==

- Marco Autili, University of L’Aquila, Italy marco.aut...@univaq.it 
- Alfredo Goldman, University of Sγo Paulo, Brazil g...@ime.usp.br 
- Massimo Tivoli, University of L’Aquila, Italy, massimo.tiv...@univaq.it 

== Program Committee ==

- Alex Norta, Tallinn University of Technology, Estonia
- Alexander Jungmann, University of Paderborn, Germany
- Amel Bennaceur, The Open University, UK
- Andre Ludwig, University Leipzig, Germany
- Animesh Pathak, INRIA Paris, France
- Antonio Bucchiarone, FBK, Italy
- Carlos Canal, University of Malaga, Spain
- Dimitris Dranidis, University of Munich, Germany
- Elisabetta Di Nitto, Politecnico di Milano, Italy
- Federico Ciccozzi, Mδlardalen University, Sweden
- Gwen Salaun, INRIA Rhone Alpes, France
- Lionel Seinturier, University Lille 1, France
- Maria-Eugenia Iacob, University of Twente, Netherlands
- Pengwei Wang, University of Pisa, Italy
- Salvatore Di Stefano, Politecnico di Milano, Italy
- Steffen Becker, University of Paderborn, Germany
- Valerio Schiavoni, UNINE, Switzerland
- Vincenzo Ciancia, CNR, Italy
- Zachary Oster, University of Wisconsin-Whitewater, US

== Publicity Chair ==

- Alexander Perucci, University of L’Aquila, Italy

== Web Chair ==

- Amleto Di Salle, University of L’Aquila, Italy

== List of topics (although not limited to) ==

Service Composition Methods and Practices for FI applications
- Engineering Principles
- Development Processes
- Requirement Elicitation and Analysis
- Design and Programming
- Verification and Validation
- Model-Driven Development Methods and Tools

Run-Time Support for Composing Services in the FI
- Middleware (description, publication, discovery, access, etc.)
- Convergence and Integration of Centralized and/or Decentralized Approaches
- Support for Scalability, Mobility, Heterogeneity

Quality of FI Service Compositions
- Performance, Reliability and Availability Modeling and Evaluation
- Security (vulnerabilities, malwares, countermeasures, etc.)
- Trust and Privacy
- Sustainability

FI Crosscutting Concerns
- Pervasiveness
- Context- and Resource-awareness
- Semantic-awareness
- Seamlessness
- Adaptation
- Decentralized vs. Centralized Service Composition Approaches

Tools, Case studies, Use cases
- Smart grid, Smart house, Smart cities, Sustainable and Green systems
- FI Killer applications

--
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM

[Hol-info] Projects Showcase at STAF'15 - Call for Paper

[alexander . perucci]

** Projects Showcase at STAF'15 - Call for Paper **

--- Goals and Scope
During the last decade a number of national and international financial 
instruments have been funding research, innovation and development programmes. 
From local to global scales, many projects have been funded delivering research 
and industrial innovation through reinforcing the excellence of science, 
speeding up the industrial leadership, and supporting the growth of new 
markets. These initiatives have been driving economic growth and creating 
employment opportunities, by addressing societal challenges, boosting 
productivity and securing competitiveness. 

The Projects Showcase event at STAF'15 
(http://www.disim.univaq.it/staf2015/projects-showcase/) is dedicated to 
national and international projects dissemination and cooperation. The event 
provides the opportunity for researchers and practitioners (from both academia 
and industry) involved in completed, to be started or ongoing research projects 
related to Software Technologies - Applications and Foundations, and hence to 
the topics of the leading conferences federated by STAF'15 and other co-located 
events.

The Projects Showcase welcomes contributions disseminating the objectives of 
the project, outcomes of specific deliverables, the final outcome of the 
project, as well as, advances beyond the state of the art, overall innovation 
potential, exploitation approach and (expected) impact, marketing value, 
barriers and obstacles. Thus, the Projects Showcase at STAF'15 represents a 
concrete opportunities for participants to share experience, ideas, on-going 
work, and knowledge that can lead to fruitful collaborations and cross-sectoral 
concertations among projects.


--- Paper Organization
Each submission should follow the following structure and clearly indicate:

- name and acronym of the project;
- source and amount of funding as well as overall total budget (if possible);
- consortium of the project or involved people;
- link to the official project web site (if available);
- current status of the project and its duration; 
- brief description of the project overall; 
- objectives of the projects overall;
- final (expected) outcomes of the project overall;
- the following information (or part of):
o description of the (expected) outcomes of specific work package(s);
o description of the (expected) outcomes of specific task(s);
o description of the (expected) outcomes of specific deliverable(s); 
o (expected) advances beyond the state of the art; 
o overall (expected) innovation potential; 
o exploitation approach and (expected) impact; 
o barriers and obstacles, and (expected) marketing value;
- references to related work and related projects;


--- Paper Format
Each submission must be a (max) 8-pages paper formatted according to the 
Springer LNCS formatting instructions 
(http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), be in PDF, and 
should include the authors' names, affiliations and contact details.

All submissions must be in English. All submissions will be peer reviewed by 
three members of the international Program Committee of the Projects Showcase 
track. The reviewers will assess the completeness, the quality of and the 
relevance of the submission for the target audience. 


--- Submission
Please submit via EasyChair 
https://easychair.org/conferences/?conf=projectsshowcaseatst 

Each accepted submission will be part of the Projects Showcase proceedings. At 
least one author of the accepted submission has to register at the conference 
and present the accepted submission during the Projects Showcase track.


--- Important Dates
- Abstract submission: 24 April 2015
- Paper submission:  8 May 2015
- Author notification: 5 June 2015
- Camera-ready version: 19 June 2015


--- Chairs
- Marco Autili - www.di.univaq.it/marco.autili 
- Tom Ritter - http://www.fokus.fraunhofer.de/usr/tom.ritter 
- Andrey Sadovykh - https://fr.linkedin.com/in/sadovykh 
- Massimo Tivoli - http://www.di.univaq.it/tivoli 


--- Program Committee
- Nikolaos Georgantas, INRIA, Paris - Rocquencourt, France
- Rocco Oliveto, University of Molise, Italy
- Valerie Issarny, INRIA, Paris - Rocquencourt, France
- Paolo Falcarin, University of East London, UK
- Luciano Baresi, Politecnico di Milano, Italy
- Antonio Brogi, University of Pisa, Italy
- Massimiliano Di Penta, University of Sannio, Italy
- Apostolos Zarras, University of Ioannina, Greece 
- Geir Horn, University of Oslo, Norway
- Sebastien Gerard, CEA List, France
- Holger Giese, HPI, University of Potsdam, Germany
- Reda Bendraou, UniversitΓ© Pierre et Marie Curie, France
- Alexander Viehl, FZI, Germany

--
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all

[Hol-info] SCART 2015 - 1st Call for Papers (at SEFM 2015)

[Alexander Perucci]

[Apologies for multiple postings] 




-- First Call for Papers -- 




SCART 2015: 1st International Workshop on the ART of Software Composition, 
co-located with SEFM 2015 – York, UK. 




SCART 2015 ( http://scart2015.disim.univaq.it/ ) provides the opportunity for 
discussing how the FI affects the traditional SE methods and tools, and how 
facing its complexity in terms of scalability, heterogeneity, and dinamicity 
promotes the integration of FM within SE practices. We seek answers on how the 
rigorousness of FM assists software engineers while designing, developing, 
validating and operating software systems for the FI, which are build via 
correct-by-construction service composition. The workshop constitutes a forum 
for scientists and engineers in academia and industry to present and discuss 
their latest research and development. 




SCART 2015 welcomes research papers, experience papers and tool presentations; 
nevertheless, papers describing novel research contributions and innovative 
applications are of particular interest. Details on workshop goals and themes 
can be found at: http://scart2015.disim.univaq.it . 




At SCART 2015 we will have a Keynote by Paola Inverardi (Tile and abstract to 
be announced) - http://scart2015.disim.univaq.it/?page_id=139 




== IMPORTANT DATES == 




Paper submissions: May 22, 2015 
Notification of authors: June 19, 2015 
Camera-ready copies: July 3, 2015 




== PAPER SUBMISSION == 




Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: 

http://www.cs.york.ac.uk/sefm2015/ 




Each submitted paper will undergo a formal peer review process by at least 3 PC 
members. Contributions can be: 




Regular papers (maximum 12 pages): In this category fall those contributions 
which propose novel research contributions, address challenging problems with 
innovative ideas, or offer practical contributions in the application of FM and 
SE approaches for building FI applications via software composition. Regular 
papers should clearly describe the situation or problem tackled, the relevant 
state of the art, the position or solution suggested and the potential benefits 
of the contribution. 




Short papers (maximum 8 pages): This category includes tool demonstrations, 
position papers, industrial experiences and case-studies, well-pondered and 
sufficiently documented visionary papers. Authors of papers reporting 
industrial experiences are strongly encouraged to make their experimental 
results available for use by reviewers. Similarly, case-study papers should 
describe significant case-studies and the complete development should be made 
available for use by reviewers. Tool demonstration papers should explain 
enhancements made in comparison to previously published work. Authors of tool 
demonstration papers should make their tool available for use by reviewers. 




== Workshop Chairs == 




• Marco Autili, University of L’Aquila, Italy marco.aut...@univaq.it 
• Alfredo Goldman, University of São Paulo, Brazil g...@ime.usp.br 
• Massimo Tivoli, University of L’Aquila, Italy, massimo.tiv...@univaq.it 




== Program Committee == 




• Domenico Bianculli, Univ. du Luxembourg 
• Gwen Salaün, INRIA, Grenoble-Rhone-Alpes, France 
• Guglielmo De Angelis, CNR-IASI/ISTI, Italy 
• Ivica Crnkovic, Mälardalen University, Sweden 
• Joni da Silva Fraga, UFSC, Brazil (pending) 
• Kelly Rosa Braghetto, Univ. of São Paulo, Brazil 
• Luciano Baresi, Politecnico di Milano, Italy 
• Mauro Caporuscio, Politecnico di Milano, Italy 
• Miriam Capretz, Faculty of Western Eng., Canada 
• Nelson Souto Rosa, UFPE, Brazil 
• Nikolaos Georgantas, INRIA, Paris, France 
• Paola Inverardi, Univ. of L’Aquila, Italy 
• Pascal Poizat, Univ. Paris Ouest, France 
• Radu Calinescu, Univ. of York, UK 
• Schahram Dustdar, Univ. of Technology Wien, Austria 




== Publicity Chair == 




• Alexander Perucci, University of L’Aquila, Italy 




== Web Chair == 




• Amleto Di Salle, University of L’Aquila, Italy 




== List of topics (although not limited to) == 




• Specification, architecture, and design of software composition models 
• Software quality assurance for software composition 
• Verification and testing of software integration code 
• Adaptive software composition 
• Formal methods for automated software composition 
• Service-oriented and Component-based software composition 
• Non-functional properties of software composition 
• Automated software composition and coordination 
• Correct-by-construction software composition 
• Automated synthesis of software integration code 
• Model-driven software composition 
• Compositional theories for software composition 
• Patterns and frameworks for software composition engineering 
• Tools and methods for software composition engineering 
• Industrial experience in software composition 
• Empirical studies in software composition

[Hol-info] FOCLASA 2015 - 1st Call For Papers

[Alexander Perucci]

 
massimo.tiv...@univaq.it 

== PUBLICITY CHAIR == 

* Alexander Perucci, University of L'Aquila, Italy 

== PROGRAM COMMITTEE == 

* Farhad Arbab, CWI, The Netherlands 
* Marco Autili, Univ. of L'Aquila, Italy 
* Luis Barbosa, Universidade do Minho, Portugal 
* Steffen Becker, University of Paderborn, Germany 
* Javier Camara, Carnegie Mellon University, USA 
* Carlos Canal, University of Malága, Spain 
* Carlos Cuesta, Rey Juan Carlos University, Spain 
* David Garlan, Carnegie Mellon University, USA 
* Alfredo Goldmann, University of São Paulo, Brazil 
* Keijo Heljanko, Aalto University, Finland 
* Jean-Marie Jacquet, University of Namur, Belgium 
* Christian Krause, SAP Innovation Center, Germany 
* Sun Meng, Peking University, China 
* Liliana Pasquale, University of Limerick, Ireland 
* Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium 
* Marjan Sirjani, Reykjavik University, Iceland 
* Carolyn Talcott, SRI International, USA 
* Massimo Tivoli, University of L'Aquila, Italy 
* Mirko Viroli, University of Bologna, Italy 

== STEERING COMMITTEE == 

* Farhad Arbab, CWI, The Netherlands 
* Antonio Brogi, University of Pisa, Italy 
* Carlos Canal, University of Malága, Spain 
* Jean-Marie Jacquet, University of Namur, Belgium 
* Ernesto Pimentel, University of Malága, Spain 
* Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France 

--
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration  more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=190641631iu=/4140/ostg.clktrk___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info