CONCUR 2009: Call for Affiliated Workshops

CONCUR 2009: Call for Affiliated Workshops

[Mario Bravetti]

CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it/

*Call for Affiliated Workshops*

Conference Dates:  September 1-4, 2009
Affiliated Workshop Dates:  August 31, 2009 and September 5, 2009

The 20th Conference on Concurrency Theory will be held this coming
summer in Bologna, Italy, and will be co-locate with the
7th Conference on Computational Methods in Systems Biology (CMSB) and
the 6th International Workshop on Web Service and Formal Methods
(WS-FM).

Researchers and practitioners are invited to submit proposals for
workshops on topics related to concurrency theory and its applications.
Example topics include, semantics, logics, verification techniques
for concurrent systems, and cross-fertilization between industry and
academia. Past CONCUR conferences have been accompanied by successful
workshops on a variety of topics, like formal and foundational methods,
models of systems (biological, timed), security issues, semantical
issues, and verification methods.

The purpose of the workshops is to provide participants with a friendly,
interactive atmosphere for presenting novel ideas and discussing their
application.

Proposals should include:

* The name and the preferred date of the proposed workshop.
* A very brief cv of the chairperson(s) or a link to some web page
including such information.
* A short scientific summary of the topic, its scope and significance
(and possibly a description of past versions of the workshop, including,
e.g., dates, organizers, submission and acceptance counts, and
attendance).
* Procedures for selecting papers, plans for dissemination (for example,
proceedings and special issues of journals), and the expected number of
participants.

Important Dates:

Workshop proposals due November 15th, 2008.
Notification of acceptance: December 1st, 2008.
Submissions to: concur09@cs.unibo.it

The CONCUR organization offers:

* Link from CONCUR and Workshop web sites.
* Setup of meeting space, and related equipment.
* Coffee-breaks.
* On-line and on-site registration to the workshop.

The main responsibility of organizing a workshop goes to the
workshop chairperson(s), including:

* Workshop publicity (possibly including call for papers,
submission and review process).
* Scheduling workshop activities in collaboration with the CONCUR
local organizers.

Please contact the CONCUR organizers (Mario Bravetti and
Gianluigi Zavattaro) for any further details at the address:
concur09@cs.unibo.it

CONCUR 2009: Call for Papers

[Mario Bravetti]

================================================================
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
*CALL FOR PAPERS*
Abstract submission: April 3, 2009
Paper submission: April 10, 2009
================================================================

CONCUR 09, the 20th International Conference on Concurrency
Theory, will take place in Bologna, on September 1-4, 2009.
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance the
theory of concurrency, and promote its applications.

The list of invited speakers at CONCUR 09 currently includes:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, University of Bonn, Germany
- Corrado Priami, University of Trento and CoSBi, Italy

Furthermore, there will be the following collocated events:
- 7th Int. Conf. on Computational Methods in Systems Biology
- 6th Int. Workshop on Web Services and Formal Methods

and the following satellite workshops:
Express, FMWS, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.

The overall event will take place at the University of Bologna
on August 31-September 5, 2009.

TOPICS OF INTERESTS:

Submissions are solicited in all areas of semantics, logics,
verification and analysis of concurrent systems. The principal
topics include (but are not limited to):
- BASIC MODELS OF CONCURRENCY
such as abstract machines, domain theoretic models, game
theoretic models, process algebras, and Petri nets;
- LOGICS FOR CONCURRENCY
such as modal logics, probabilistic and stochastic logics,
temporal logics, and resource logics;
- MODELS OF SPECIALIZED SYSTEMS
such as biology-inspired systems, circuits, hybrid systems,
mobile and collaborative systems, multi-core processors,
probabilistic systems, real time systems, service oriented
computing, and synchronous systems;
- VERIFICATION AND ANALYSIS TECHNIQUES FOR CONCURRENT SYSTEMS
such as abstract interpretation, atomicity checking,
model checking, race detection, pre-order and equivalence
checking, run-time verification, state-space exploration,
static analysis, synthesis, testing, theorem proving, and
type systems;
- RELATED PROGRAMMING MODELS
such as distributed, component-based, object-oriented, and
web services.

SUBMISSION GUIDELINES:

The CONCUR 2009 conference solicits high quality papers
reporting research results and/or experience reports related
to the topics mentioned above. All papers must be original,
unpublished, and not submitted for publication elsewhere.
Contributions should be submitted electronically as PDF,
using the Springer LNCS style. Papers should not exceed 15
pages in length. If necessary, the paper may be supplemented
with a clearly marked appendix, which will be reviewed at the
discretion of the program committee. Each paper will undergo
a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series.
Proceedings will be made available at the conference.

Selected papers will be invited to a special issue of the
Information and Computation journal.

IMPORTANT DATES:

Abstract Submission: April 3, 2009
Paper Submission: April 10, 2009
Notification: May 25, 2009
Final version due: June 12, 2009

PROGRAM COMMITTEE:

Luca Aceto, Reykjavik University, Iceland
Jos C.M. Baeten, Eindhoven Univ. of Technology, The Netherlands
Michele Boreale, University of Florence, Italy
Mario Bravetti, University of Bologna, Italy (co-chair)
Luis Caires, Universidade Nova de Lisboa, Purtugal
Philippe Darondeau, INRIA Rennes - Bretagne Atlantique, France
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Cedric Fournet, Microsoft Research, Cambridge, UK
Robert J. van Glabbeek, Kensington Res. Lab., Sydney, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Holger Hermanns, Saarland University, Germany
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Jane Hillston, University of Edinburgh, UK
Barbara Koenig, University of Duisburg-Essen, Germany
Francois Laroussinie, Universite Paris Diderot-Paris 7, France
Ugo Montanari, University of Pisa, Italy
Uwe Nestmann, Technische Universitaet Berlin, Germany
Manuel Nunez, Universidad Complutense de Madrid , Spain
Catuscia Palamidessi, Ecole Polytechnique, Palaiseau, France
Joachim Parrow, Uppsala University, Sweden
Shaz Qadeer, Microsoft Research, Redmond, USA
Julian Rathke, University of Southampton, UK
Philippe Schnoebelen, Ecole Normale Superieure de Cachan, France
Nobuko Yoshida, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, Italy (co-chair)

STEERING COMMITTEE:

Roberto Amadio, Universite Paris Diderot, France
Jos Baeten, Eindhoven University of Technology, the Netherlands
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Kim Larsen, Aalborg University, Denmark
Ugo Montanari, University of Pisa, Italy
Scott Smolka, SUNY at Stony Brook, USA

CONCUR 2009: 2nd Call for Papers

[Mario Bravetti]

================================================================
2nd Call for Papers:
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
** NEWS with respect to the 1st CfP **

To celebrate 20 years of International Conference on Concurrency
Theory the conference program will include:
- an additional invited talk given by Robin Milner
- a special session jointly organized by the IFIG Working Groups
1.8 "Concurrency Theory" and 2.2 "Formal Description of
Programming Concepts" (contact persons: Jos Baeten and Davide
Sangiorgi).

Deadlines postponed:
--------------------
- Abstract Submission: April 8, 2009
- Paper Submission: April 13, 2009

Electronic submission is now open:
----------------------------------
http://www.easychair.org/conferences/?conf=concur09
================================================================

CONCUR 09, the 20th International Conference on Concurrency
Theory, will take place in Bologna, on September 1-4, 2009.
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance the
theory of concurrency, and promote its applications.

The list of invited speakers at CONCUR 09 currently includes:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, University of Bonn, Germany
- Robin Milner, University of Cambridge, UK
- Corrado Priami, University of Trento and CoSBi, Italy

Furthermore, there will be the following collocated events:
- 7th Int. Conf. on Computational Methods in Systems Biology
- 6th Int. Workshop on Web Services and Formal Methods

and the following satellite workshops:
Express, FMWS, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.

The overall event will take place at the University of Bologna
on August 31-September 5, 2009.

TOPICS OF INTERESTS:

Submissions are solicited in all areas of semantics, logics,
verification and analysis of concurrent systems. The principal
topics include (but are not limited to):
- BASIC MODELS OF CONCURRENCY
such as abstract machines, domain theoretic models, game
theoretic models, process algebras, and Petri nets;
- LOGICS FOR CONCURRENCY
such as modal logics, probabilistic and stochastic logics,
temporal logics, and resource logics;
- MODELS OF SPECIALIZED SYSTEMS
such as biology-inspired systems, circuits, hybrid systems,
mobile and collaborative systems, multi-core processors,
probabilistic systems, real time systems, service oriented
computing, and synchronous systems;
- VERIFICATION AND ANALYSIS TECHNIQUES FOR CONCURRENT SYSTEMS
such as abstract interpretation, atomicity checking,
model checking, race detection, pre-order and equivalence
checking, run-time verification, state-space exploration,
static analysis, synthesis, testing, theorem proving, and
type systems;
- RELATED PROGRAMMING MODELS
such as distributed, component-based, object-oriented, and
web services.

SUBMISSION GUIDELINES:

The CONCUR 2009 conference solicits high quality papers
reporting research results and/or experience reports related
to the topics mentioned above. All papers must be original,
unpublished, and not submitted for publication elsewhere.
Contributions should be submitted electronically as PDF,
using the Springer LNCS style. Papers should not exceed 15
pages in length. If necessary, the paper may be supplemented
with a clearly marked appendix, which will be reviewed at the
discretion of the program committee. Each paper will undergo
a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series.
Proceedings will be made available at the conference.

Selected papers will be invited to a special issue of the
Information and Computation journal.

IMPORTANT DATES:

Abstract Submission: April 8, 2009
Paper Submission: April 13, 2009
Notification: May 25, 2009
Final version due: June 12, 2009

PROGRAM COMMITTEE:

Luca Aceto, Reykjavik University, Iceland
Jos C.M. Baeten, Eindhoven Univ. of Technology, The Netherlands
Michele Boreale, University of Florence, Italy
Mario Bravetti, University of Bologna, Italy (co-chair)
Luis Caires, Universidade Nova de Lisboa, Portugal
Philippe Darondeau, INRIA Rennes - Bretagne Atlantique, France
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Cedric Fournet, Microsoft Research, Cambridge, UK
Robert J. van Glabbeek, Kensington Res. Lab., Sydney, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Holger Hermanns, Saarland University, Germany
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Jane Hillston, University of Edinburgh, UK
Barbara Koenig, University of Duisburg-Essen, Germany
Francois Laroussinie, Universite Paris Diderot-Paris 7, France
Ugo Montanari, University of Pisa, Italy
Uwe Nestmann, Technische Universitaet Berlin, Germany
Manuel Nunez, Universidad Complutense de Madrid , Spain
Catuscia Palamidessi, Ecole Polytechnique, Palaiseau, France
Joachim Parrow, Uppsala University, Sweden
Shaz Qadeer, Microsoft Research, Redmond, USA
Julian Rathke, University of Southampton, UK
Philippe Schnoebelen, Ecole Normale Superieure de Cachan, France
Nobuko Yoshida, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, Italy (co-chair)

STEERING COMMITTEE:

Roberto Amadio, Universite Paris Diderot, France
Jos Baeten, Eindhoven University of Technology, the Netherlands
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Kim Larsen, Aalborg University, Denmark
Ugo Montanari, University of Pisa, Italy
Scott Smolka, SUNY at Stony Brook, USA

CONCUR 2009: Final Call for Papers

[Mario Bravetti]

================================================================
Final Call for Papers:
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
** NEWS with respect to the 1st and 2nd CfP **

In addition to the Information and Computation journal special issue,
papers relating to distributed computing will be considered for
publication on the Springer Distributed Computing journal.

Paper Submission deadline postponed: April 15, 2009
================================================================

CONCUR 09, the 20th International Conference on Concurrency
Theory, will take place in Bologna, on September 1-4, 2009.
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance the
theory of concurrency, and promote its applications.

To celebrate 20 years of CONCUR the conference program will include
a special session organized by IFIP WGs 1.8 Concurrency Theory and
2.2 Formal Description of Programming Concepts.

The list of invited speakers at CONCUR 09 is:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, University of Bonn, Germany
- Robin Milner, University of Cambridge, UK
- Corrado Priami, University of Trento and CoSBi, Italy

Furthermore, there will be the following co-located events:
- 7th Int. Conf. on Computational Methods in Systems Biology
- 6th Int. Workshop on Web Services and Formal Methods

and the following satellite workshops:
Express, FMWS, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.

The overall event will take place at the University of Bologna
on August 31-September 5, 2009.

TOPICS OF INTEREST:

Submissions are solicited in all areas of semantics, logics,
verification and analysis of concurrent systems. The principal
topics include (but are not limited to):
- BASIC MODELS OF CONCURRENCY
such as abstract machines, domain theoretic models, game
theoretic models, process algebras, and Petri nets;
- LOGICS FOR CONCURRENCY
such as modal logics, probabilistic and stochastic logics,
temporal logics, and resource logics;
- MODELS OF SPECIALIZED SYSTEMS
such as biology-inspired systems, circuits, hybrid systems,
mobile and collaborative systems, multi-core processors,
probabilistic systems, real time systems, service oriented
computing, and synchronous systems;
- VERIFICATION AND ANALYSIS TECHNIQUES FOR CONCURRENT SYSTEMS
such as abstract interpretation, atomicity checking,
model checking, race detection, pre-order and equivalence
checking, run-time verification, state-space exploration,
static analysis, synthesis, testing, theorem proving, and
type systems;
- RELATED PROGRAMMING MODELS
such as distributed, component-based, object-oriented, and
web services.

SUBMISSION GUIDELINES:

The CONCUR 2009 conference solicits high quality papers
reporting research results and/or experience reports related
to the topics mentioned above. All papers must be original,
unpublished, and not submitted for publication elsewhere.
Contributions should be submitted electronically as PDF,
using the Springer LNCS style. Papers should not exceed 15
pages in length. If necessary, the paper may be supplemented
with a clearly marked appendix, which will be reviewed at the
discretion of the program committee. Each paper will undergo
a thorough process of review and the conference proceedings
will be published by Springer-Verlag in the LNCS series.
Proceedings will be made available at the conference.

Selected papers will be invited to a special issue of the
Information and Computation journal. Moreover, papers relating
to distributed computing will be considered for publication on
the Springer Distributed Computing journal.

IMPORTANT DATES:

Abstract Submission: April 8, 2009
Paper Submission: April 15, 2009
Notification: May 25, 2009
Final version due: June 10, 2009

PROGRAM COMMITTEE:

Luca Aceto, Reykjavik University, Iceland
Jos C.M. Baeten, Eindhoven Univ. of Technology, The Netherlands
Michele Boreale, University of Florence, Italy
Mario Bravetti, University of Bologna, Italy (co-chair)
Luis Caires, Universidade Nova de Lisboa, Portugal
Philippe Darondeau, INRIA Rennes - Bretagne Atlantique, France
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Cedric Fournet, Microsoft Research, Cambridge, UK
Robert J. van Glabbeek, Kensington Res. Lab., Sydney, Australia
Matthew Hennessy, Trinity College Dublin, Ireland
Holger Hermanns, Saarland University, Germany
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Jane Hillston, University of Edinburgh, UK
Barbara Koenig, University of Duisburg-Essen, Germany
Francois Laroussinie, Universite Paris Diderot-Paris 7, France
Ugo Montanari, University of Pisa, Italy
Uwe Nestmann, Technische Universitaet Berlin, Germany
Manuel Nunez, Universidad Complutense de Madrid , Spain
Catuscia Palamidessi, Ecole Polytechnique, Palaiseau, France
Joachim Parrow, Uppsala University, Sweden
Shaz Qadeer, Microsoft Research, Redmond, USA
Julian Rathke, University of Southampton, UK
Philippe Schnoebelen, Ecole Normale Superieure de Cachan, France
Nobuko Yoshida, Imperial College London, UK
Gianluigi Zavattaro, University of Bologna, Italy (co-chair)

STEERING COMMITTEE:

Roberto Amadio, Universite Paris Diderot, France
Jos Baeten, Eindhoven University of Technology, the Netherlands
Eike Best, Carl von Ossietzky Universitaet Oldenburg, Germany
Kim Larsen, Aalborg University, Denmark
Ugo Montanari, University of Pisa, Italy
Scott Smolka, SUNY at Stony Brook, USA

CONCUR 2009: Call for Participation

[Mario Bravetti]

================================================================
CALL FOR PARTICIPATION:
CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
** EARLY REGISTRATION IS OPEN UNTIL JULY 31**
----------------------------------------------------------------

CONCUR 09, the 20th International Conference on Concurrency
Theory, will take place in Bologna, on September 1-4, 2009.
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance the
theory of concurrency, and promote its applications.

To celebrate 20 years of International Conference on Concurrency
Theory the conference program will include a special session
jointly organized by the IFIG Working Groups 1.8 "Concurrency
Theory" and 2.2 "Formal Description of Programming Concepts".

The CONCUR 09 programme includes also invited talks given by:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, University of Bonn, Germany
- Robin Milner, University of Cambridge, UK
- Corrado Priami, University of Trento and CoSBi, Italy

Furthermore, there will be the following colocated events:
- 7th Int. Conf. on Computational Methods in Systems Biology
- 6th Int. Workshop on Web Services and Formal Methods
and the following satellite workshops:
Express, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.

CONCUR 2009: Second Call for Participation

[Mario Bravetti]

================================================================
CALL FOR PARTICIPATION:
CONCUR 2009: 20th International Conference on Concurrency Theory
and colocated events/satellite workshops
August 31 - September 5, 2009
Bologna, Italy
http://concur09.cs.unibo.it
----------------------------------------------------------------
** EARLY REGISTRATION IS OPEN UNTIL JULY 31 **
** SPECIAL ROOM RATES FOR HOTELS CLOSE TO
    CONFERENCE VENUE GUARANTEED UNTIL JULY 31 **
----------------------------------------------------------------

CONCUR 09, the 20th International Conference on Concurrency
Theory, will take place in Bologna, on September 1-4, 2009.
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance the
theory of concurrency, and promote its applications.

To celebrate 20 years of International Conference on Concurrency
Theory the conference program will include a special session
jointly organized by the IFIG Working Groups 1.8 "Concurrency
Theory" and 2.2 "Formal Description of Programming Concepts".

The CONCUR 09 invited talks will be given by:
- Martin Abadi, UCSC and Microsoft Research Silicon Valley, USA
- Christel Baier, Technical University of Dresden, Germany
- Robin Milner, University of Cambridge, UK (joint with WS-FM)
- Corrado Priami, Univ. of Trento/CoSBi, Italy (joint with CMSB)
The 20 years of CONCUR session will include invited talks by:
- Robert van Glabbeek, Kensington Res. Lab., Australia
- Bill Roscoe, University of Oxford, UK
- Davide Sangiorgi, University of Bologna, Italy

Furthermore, there will be the following colocated events:
- 7th Int. Conf. on Computational Methods in Systems Biology
- 6th Int. Workshop on Web Services and Formal Methods
and the following satellite workshops:
Express, ICE, Infinity, MecBIC, SecCo, SOS, and Young
Researchers Worshop.

The invited speakers of the colocated events are:
CMSB
- Rita Casadio, University of Bologna, Italy
- John K. Heath, University of Birmingham, UK
- Corrado Priami, Univ. of Trento/CoSBi, Italy
WS-FM
- Maurizio Lenzerini, University Sapienza of Rome, IT
- Robin Milner, University of Cambridge, UK

The invited speakers of the satellite workshops are:
Express
- Samson Abramsky, University of Oxford, UK
- Davide Sangiorgi, University of Bologna, Italy
ICE
- Farhad Arbab, CWI, The Netherlands
- Doron Peled, Bar Ilan University, Israel
Infinity
- Byron Cook, Microsoft Research, UK
- Martin Leucker, Technical Univ. Munich, Germany
MecBIC
- Luca Cardelli, Microsoft Research, Cambridge, UK
SecCo
- Riccardo Focardi, University Ca' Foscari, Italy
SOS
- Robert van Glabbeek, Kensington Res. Lab., Australia
- Paul Blain Levy, University of Birmingham, UK

CFP WS-FM 2010 - Formal aspects of service oriented and cloud computing

[Mario Bravetti]

========================================================================
WS-FM 2010
7th International Workshop on Web Services and Formal Methods:
Formal aspects of service oriented and cloud computing

September 16-17, 2010
New Jersey, USA

http://www.cs.ucsb.edu/~vlab/ws-fm10/
------------------------------------------------------------------------
*CALL FOR PAPERS*
Abstract Submission: May 28, 2010
Paper Submission: June 4, 2010
========================================================================


WS-FM 2010 will be held at the Stevens Institute of Technology, Hoboken,
New Jersey, USA, on September 16-17, 2010 and will be co-located with:
8th Int. Conference on Business Process Management (BPM 2010)
http://www.bpm2010.org/

Service Oriented Computing (SOC) provides standard mechanisms and
protocols for describing, locating and invoking services over the
Internet. Although there are existing SOC infrastructures that support
specification of service interfaces, access policies, behaviors and
compositions, there are still many active research areas in SOC such as
the support and management of interactions with stateful and
long-running services, large farms of services and quality of service
delivery. Moreover, emerging paradigm of cloud computing provides a new
platform for service delivery, enabling the development of services that
are configurable based on client requirements, service level guarantee
mechanisms, and extended services based on virtualization (Software as a
Service, Platform as a Service, Infrastructure as a Service). The
convergence of SOC and cloud computing is accelerating the adoption of
both of these technologies, making the service dependability and
trustworthiness a crucial and urgent problem.

Formal methods can play a fundamental role in this research area. They
can help us define unambiguous semantics for the languages and protocols
that underpin existing web service infrastructures, and provide a basis
for checking the conformance and compliance of bundled services. They
can also empower dynamic discovery and binding with compatibility checks
against behavioral properties and quality of service requirements.
Formal analysis of security properties and performance is also essential
in cloud computing and in application areas including e-science,
e-commerce, workflow, business process management, etc. Moreover, the
challenges raised by this new area can offer opportunities for extending
the state of the art in formal techniques.

The aim of the WS-FM workshop series is to bring together researchers
working on SOC, cloud computing and formal methods in order to catalyze
fruitful collaboration. The scope of the workshop is not only limited to
technological aspects. In fact, the WS-FM series has a strong tradition
of attracting submissions on formal approaches to enterprise systems
modeling in general, and business process modeling in particular.
Potentially, this could have a significant impact on the on-going
standardization efforts for SOC and cloud computing technologies.

TOPICS OF INTEREST

Main topics of interest include (but are not limited to):

     * Trust and Dependability in service oriented and cloud computing
     * Multi-tenancy, Adaptability and Evolvability in cloud systems
     * Formal approaches to service-oriented analysis and design
     * Formal approaches to enterprise modeling and business process
       modeling
     * Model-driven development, testing, and analysis of web
       services/clouds
     * Web services for business process management
     * Security, performance and quality of web services/clouds
     * Web service coordination and transactions
     * Web service ontologies and semantic description
     * Goal-driven discovery and composition of web services
     * Complex event processing in service-oriented architectures
     * Semi-structured data management and XML technology
     * Types and logics for web services/clouds
     * Innovative application scenarios for web services/clouds
     * Data services
     * Data centric process modeling

SUBMISSION GUIDELINES

Submissions must be original and should not have been published
previously nor be under consideration for publication while being
evaluated for this workshop. All papers must be submitted at the
following submission site, handled by EasyChair,

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

using the Springer LNCS style. Papers should not exceed 15 pages in
length. If necessary, the paper may be supplemented with a clearly
marked appendix, which will be reviewed at the discretion of the program
committee. The workshop proceedings will be published as a volume
in Springer's Lecture Notes in Computer Science (LNCS).

INVITED SPEAKERS

The list of invited speakers currently includes:

- Rick Hull, IBM Watson Research Center, USA
- Shriram Krishnamurthi, Brown University, USA

IMPORTANT DATES

Abstract Submission: May 28, 2010
Paper Submission: June 4, 2010
Notification: July 14, 2010
Final version due: July 23, 2010

PROGRAM COMMITTEE

Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Matteo Baldoni, University of Torino, Italy
Samik Basu, Iowa State University, USA
Karthikeyan Bhargavan, Microsoft Research-INRIA Joint Centre, France
Mario Bravetti, University of Bologna, Italy (co-chair)
Tevfik Bultan, Univ. of California at Santa Barbara, USA (co-chair)
Nicola Dragoni, Technical University of Denmark, Denmark
Marlon Dumas, University of Tartu, Estonia
Schahram Dustdar, Technical University of Wien, Austria
José Luiz Fiadeiro, University of Leicester, UK
Howard Foster, Imperial College London, UK
Xiang Fu, Hofstra University, USA
Stefania Gnesi, ISTI-CNR, Italy
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Kohei Honda, Queen Mary, University of London, UK
Manuel Mazzara, University of Newcastle, UK
Manuel Nunez, Universidad Complutense de Madrid , Spain
Gwen Salaün, Grenoble INP - INRIA - LIG, France
Jianwen Su, University of California at Santa Barbara, USA
Karsten Wolf, University of Rostock, Germany
Gianluigi Zavattaro, University of Bologna, Italy

STEERING COMMITTEE

Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Mario Bravetti, University of Bologna, Italy
Marlon Dumas, University of Tartu, Estonia
José Luiz Fiadeiro, University of Leicester, UK
Gianluigi Zavattaro, University of Bologna, Italy

2nd CFP WS-FM 2010 - Formal aspects of service oriented and cloud computing

[Mario Bravetti]

========================================================================
WS-FM 2010
7th International Workshop on Web Services and Formal Methods:
Formal aspects of service oriented and cloud computing

September 16-17, 2010
New Jersey, USA

http://www.cs.ucsb.edu/~vlab/ws-fm10/
------------------------------------------------------------------------
*2nd CALL FOR PAPERS*
Abstract Submission: May 28, 2010
Paper Submission: June 4, 2010
========================================================================


WS-FM 2010 will be held at the Stevens Institute of Technology, Hoboken,
New Jersey, USA, on September 16-17, 2010 (Hoboken is located across the 
Hudson river from Manhattan and easily accessible by subway, ferry, or 
bus from New York) and will be co-located with:
8th Int. Conference on Business Process Management (BPM 2010)
http://www.bpm2010.org/

Service Oriented Computing (SOC) provides standard mechanisms and
protocols for describing, locating and invoking services over the
Internet. Although there are existing SOC infrastructures that support
specification of service interfaces, access policies, behaviors and
compositions, there are still many active research areas in SOC such as
the support and management of interactions with stateful and
long-running services, large farms of services and quality of service
delivery. Moreover, emerging paradigm of cloud computing provides a new
platform for service delivery, enabling the development of services that
are configurable based on client requirements, service level guarantee
mechanisms, and extended services based on virtualization (Software as a
Service, Platform as a Service, Infrastructure as a Service). The
convergence of SOC and cloud computing is accelerating the adoption of
both of these technologies, making the service dependability and
trustworthiness a crucial and urgent problem.

Formal methods can play a fundamental role in this research area. They
can help us define unambiguous semantics for the languages and protocols
that underpin existing web service infrastructures, and provide a basis
for checking the conformance and compliance of bundled services. They
can also empower dynamic discovery and binding with compatibility checks
against behavioral properties and quality of service requirements.
Formal analysis of security properties and performance is also essential
in cloud computing and in application areas including e-science,
e-commerce, workflow, business process management, etc. Moreover, the
challenges raised by this new area can offer opportunities for extending
the state of the art in formal techniques.

The aim of the WS-FM workshop series is to bring together researchers
working on SOC, cloud computing and formal methods in order to catalyze
fruitful collaboration. The scope of the workshop is not only limited to
technological aspects. In fact, the WS-FM series has a strong tradition
of attracting submissions on formal approaches to enterprise systems
modeling in general, and business process modeling in particular.
Potentially, this could have a significant impact on the on-going
standardization efforts for SOC and cloud computing technologies.

TOPICS OF INTEREST

Main topics of interest include (but are not limited to):

     * Trust and Dependability in service oriented and cloud computing
     * Multi-tenancy, Adaptability and Evolvability in cloud systems
     * Formal approaches to service-oriented analysis and design
     * Formal approaches to enterprise modeling and business process
       modeling
     * Model-driven development, testing, and analysis of web
       services/clouds
     * Web services for business process management
     * Security, performance and quality of web services/clouds
     * Web service coordination and transactions
     * Web service ontologies and semantic description
     * Goal-driven discovery and composition of web services
     * Complex event processing in service-oriented architectures
     * Semi-structured data management and XML technology
     * Types and logics for web services/clouds
     * Innovative application scenarios for web services/clouds
     * Data services
     * Data centric process modeling

SUBMISSION GUIDELINES

Submissions must be original and should not have been published
previously nor be under consideration for publication while being
evaluated for this workshop. All papers must be submitted at the
following submission site, handled by EasyChair,

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

using the Springer LNCS style. Papers should not exceed 15 pages in
length. If necessary, the paper may be supplemented with a clearly
marked appendix, which will be reviewed at the discretion of the program
committee. The workshop proceedings will be published as a volume
in Springer's Lecture Notes in Computer Science (LNCS).

INVITED SPEAKERS

The list of invited speakers currently includes:

- Rick Hull, IBM Watson Research Center, USA
- Shriram Krishnamurthi, Brown University, USA

IMPORTANT DATES

Abstract Submission: May 28, 2010
Paper Submission: June 4, 2010
Notification: July 14, 2010
Final version due: July 23, 2010

PROGRAM COMMITTEE

Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Matteo Baldoni, University of Torino, Italy
Samik Basu, Iowa State University, USA
Karthikeyan Bhargavan, Microsoft Research-INRIA Joint Centre, France
Mario Bravetti, University of Bologna, Italy (co-chair)
Tevfik Bultan, Univ. of California at Santa Barbara, USA (co-chair)
Nicola Dragoni, Technical University of Denmark, Denmark
Marlon Dumas, University of Tartu, Estonia
Schahram Dustdar, Technical University of Wien, Austria
José Luiz Fiadeiro, University of Leicester, UK
Howard Foster, Imperial College London, UK
Xiang Fu, Hofstra University, USA
Stefania Gnesi, ISTI-CNR, Italy
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Kohei Honda, Queen Mary, University of London, UK
Manuel Mazzara, University of Newcastle, UK
Manuel Nunez, Universidad Complutense de Madrid , Spain
Gwen Salaün, Grenoble INP - INRIA - LIG, France
Jianwen Su, University of California at Santa Barbara, USA
Karsten Wolf, University of Rostock, Germany
Gianluigi Zavattaro, University of Bologna, Italy

STEERING COMMITTEE

Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Mario Bravetti, University of Bologna, Italy
Marlon Dumas, University of Tartu, Estonia
José Luiz Fiadeiro, University of Leicester, UK
Gianluigi Zavattaro, University of Bologna, Italy

Final CFP WS-FM 2010 - Formal aspects of service oriented and cloud computing

[Mario Bravetti]

========================================================================
WS-FM 2010
7th International Workshop on Web Services and Formal Methods:
Formal aspects of service oriented and cloud computing

September 16-17, 2010
New Jersey, USA

http://www.cs.ucsb.edu/~vlab/ws-fm10/
------------------------------------------------------------------------
*Final CALL FOR PAPERS*
Abstract Submission: May 28, 2010
Paper Submission: June 4, 2010
========================================================================


WS-FM 2010 will be held at the Stevens Institute of Technology, Hoboken,
New Jersey, USA, on September 16-17, 2010 (Hoboken is located across the
Hudson river from Manhattan and easily accessible by subway, ferry, or
bus from New York) and will be co-located with:
8th Int. Conference on Business Process Management (BPM 2010)
http://www.bpm2010.org/

Service Oriented Computing (SOC) provides standard mechanisms and
protocols for describing, locating and invoking services over the
Internet. Although there are existing SOC infrastructures that support
specification of service interfaces, access policies, behaviors and
compositions, there are still many active research areas in SOC such as
the support and management of interactions with stateful and
long-running services, large farms of services and quality of service
delivery. Moreover, emerging paradigm of cloud computing provides a new
platform for service delivery, enabling the development of services that
are configurable based on client requirements, service level guarantee
mechanisms, and extended services based on virtualization (Software as a
Service, Platform as a Service, Infrastructure as a Service). The
convergence of SOC and cloud computing is accelerating the adoption of
both of these technologies, making the service dependability and
trustworthiness a crucial and urgent problem.

Formal methods can play a fundamental role in this research area. They
can help us define unambiguous semantics for the languages and protocols
that underpin existing web service infrastructures, and provide a basis
for checking the conformance and compliance of bundled services. They
can also empower dynamic discovery and binding with compatibility checks
against behavioral properties and quality of service requirements.
Formal analysis of security properties and performance is also essential
in cloud computing and in application areas including e-science,
e-commerce, workflow, business process management, etc. Moreover, the
challenges raised by this new area can offer opportunities for extending
the state of the art in formal techniques.

The aim of the WS-FM workshop series is to bring together researchers
working on SOC, cloud computing and formal methods in order to catalyze
fruitful collaboration. The scope of the workshop is not only limited to
technological aspects. In fact, the WS-FM series has a strong tradition
of attracting submissions on formal approaches to enterprise systems
modeling in general, and business process modeling in particular.
Potentially, this could have a significant impact on the on-going
standardization efforts for SOC and cloud computing technologies.

TOPICS OF INTEREST

Main topics of interest include (but are not limited to):

     * Trust and Dependability in service oriented and cloud computing
     * Multi-tenancy, Adaptability and Evolvability in cloud systems
     * Formal approaches to service-oriented analysis and design
     * Formal approaches to enterprise modeling and business process
       modeling
     * Model-driven development, testing, and analysis of web
       services/clouds
     * Web services for business process management
     * Security, performance and quality of web services/clouds
     * Web service coordination and transactions
     * Web service ontologies and semantic description
     * Goal-driven discovery and composition of web services
     * Complex event processing in service-oriented architectures
     * Semi-structured data management and XML technology
     * Types and logics for web services/clouds
     * Innovative application scenarios for web services/clouds
     * Data services
     * Data centric process modeling

SUBMISSION GUIDELINES

Submissions must be original and should not have been published
previously nor be under consideration for publication while being
evaluated for this workshop. All papers must be submitted at the
following submission site, handled by EasyChair,

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

using the Springer LNCS style. Papers should not exceed 15 pages in
length. If necessary, the paper may be supplemented with a clearly
marked appendix, which will be reviewed at the discretion of the program
committee. The workshop proceedings will be published as a volume
in Springer's Lecture Notes in Computer Science (LNCS).

INVITED SPEAKERS

The list of invited speakers currently includes:

- Rick Hull, IBM Watson Research Center, USA
- Shriram Krishnamurthi, Brown University, USA

IMPORTANT DATES

Abstract Submission: May 28, 2010
Paper Submission: June 4, 2010
Notification: July 14, 2010
Final version due: July 23, 2010

PROGRAM COMMITTEE

Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Matteo Baldoni, University of Torino, Italy
Samik Basu, Iowa State University, USA
Karthikeyan Bhargavan, Microsoft Research-INRIA Joint Centre, France
Mario Bravetti, University of Bologna, Italy (co-chair)
Tevfik Bultan, Univ. of California at Santa Barbara, USA (co-chair)
Nicola Dragoni, Technical University of Denmark, Denmark
Marlon Dumas, University of Tartu, Estonia
Schahram Dustdar, Technical University of Wien, Austria
José Luiz Fiadeiro, University of Leicester, UK
Howard Foster, Imperial College London, UK
Xiang Fu, Hofstra University, USA
Stefania Gnesi, ISTI-CNR, Italy
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Kohei Honda, Queen Mary, University of London, UK
Manuel Mazzara, University of Newcastle, UK
Manuel Nunez, Universidad Complutense de Madrid , Spain
Gwen Salaün, Grenoble INP - INRIA - LIG, France
Jianwen Su, University of California at Santa Barbara, USA
Karsten Wolf, University of Rostock, Germany
Gianluigi Zavattaro, University of Bologna, Italy

STEERING COMMITTEE

Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Mario Bravetti, University of Bologna, Italy
Marlon Dumas, University of Tartu, Estonia
José Luiz Fiadeiro, University of Leicester, UK
Gianluigi Zavattaro, University of Bologna, Italy

Call for Participation WS-FM 2010 - Formal aspects of service oriented and cloud computing

[Mario Bravetti]

========================================================================
WS-FM 2010
7th International Workshop on Web Services and Formal Methods:
Formal aspects of service oriented and cloud computing

September 16-17, 2010
New Jersey, USA

http://www.cs.ucsb.edu/~vlab/ws-fm10/
------------------------------------------------------------------------
** EARLY REGISTRATION IS OPEN UNTIL JULY 30**
========================================================================

WS-FM 2010 will be held at the Stevens Institute of Technology, Hoboken,
New Jersey, USA, on September 16-17, 2010 (Hoboken is located across the
Hudson river from Manhattan and easily accessible by subway, ferry, or
bus from New York) and will be co-located with:
8th Int. Conference on Business Process Management (BPM 2010)
http://www.bpm2010.org/

The aim of the WS-FM workshop series is to bring together researchers
working on SOC, cloud computing and formal methods in order to catalyze
fruitful collaboration. The scope of the workshop is not only limited to
technological aspects. In fact, the WS-FM series has a strong tradition
of attracting submissions on formal approaches to enterprise systems
modeling in general, and business process modeling in particular.
Potentially, this could have a significant impact on the on-going
standardization efforts for SOC and cloud computing technologies.

The workshop will begin on September 16th at 1:30pm (half day) and will
end on September 17th at 5:00pm (full day).

Registration to WS-FM 2010 is managed by BPM organization.
Registration fee to WS-FM 2010 includes admission to the workshop, both
on-site and LNCS post-workshop proceedings, morning and afternoon
breaks, lunch on September 17th and the WS-FM 2010 social dinner on
September 16th night.

To register, please follow the link:
http://www.bpm2010.org/registration/

For any other information refer to:
http://www.cs.ucsb.edu/~vlab/ws-fm10/


WS-FM 2010 INVITED SPEAKERS

Rick Hull, IBM Watson Research Center, USA

Shriram Krishnamurthi, Brown University, USA


LIST OF WS-FM 2010 ACCEPTED PAPERS

Artem Polyvyanyy, Jussi Vanhatalo and Hagen Voelzer. Simplified
Computation and Generalization of the Refined Process Structure Tree

Sylvain Hallé. Automated Generation of Web Service Stubs Using
Satisfiability Solving

Cesar Andres, M. Emilia Cambronero and Manuel Núñez. Passive Testing of
Timed Distributed Systems

Esra Kucukoguz and Jianwen Su. On Lifecycle Constraints of
Artifact-Centric Workflows

Xiang Fu. Conformance Verification of Privacy Policies

Matthias Weidlich, Felix Elliger and Mathias Weske. Generalised
Computation of Behavioural Profiles based on Petri-Net Unfoldings

Arjan Mooij, Jarungjit Parnjai, Christian Stahl and Marc Voorhoeve.
Constructing Substitutable Services Using Operating Guidelines and
Maximal Controllers

Kees van Hee, Arjan Mooij, Natalia Sidorova and Jan Martijn van der
Werf. Soundness-Preserving Refinements of Service Compositions

David Raymond Christiansen, Marco Carbone and Thomas Hildebrandt. Formal
Semantics and Implementation of BPMN 2.0 Inclusive Gateways

Dinanath Nadkarni, Robyn Lutz, Samik Basu and Vasant Honavar. Failure
Analysis for Composition of Web Services Represented as Labeled
Transition Systems

Alexandra Potapova and Jianwen Su. On Nondeterministic Workflow Executions

[Caml-list] INTRUSO 2011 CFP

[Mario Bravetti]

INTRUSO 2011
1st INternational Workshop on TRUstworthy Service-Oriented Computing 
Affiliated with 5th IFIP International Conference on Trust Management 
(IFIPTM'11) Copenhagen, June 27, 2011, Technical University of Denmark

http://www.ifiptm.org/IFIPTM11/INTRUSO11

Service-Oriented Computing (SOC) is an emerging paradigm for distributed 
computing aiming at changing the way software applications are designed, 
delivered and consumed. SOC is triggering a radical shift to a vision of 
the Web as a computational fabric where loosely coupled services (such 
as Web services) interact publishing their interfaces inside dedicated 
repositories, where they can be searched by other services or software 
agents, retrieved and invoked, always abstracting from the actual 
implementation. The proliferation of such services is considered the 
second wave of evolution in the Internet age. In order to realize this 
vision and to bring SOC to its full potential, several security 
challenges must still be addressed. In particular, consensus is growing 
that this "service revolution" will not eventuate until we resolve 
trustworthiness?related issues. For instance, lack of consumer trust and 
Web service trustworthiness still represent two critical impediments to 
the success of Web service-oriented systems. Although software 
trustworthiness is a wide topic, far from being an issue only for SOC, 
the intrinsic openness of this vision makes it even more crucial. The 
SOC vision, indeed, faces with a large, open and dynamic 
service-oriented environment where anyone can publish his own (even 
malicious) services. In this scenario, a client (human or software 
agent) faces a dilemma in having to make a choice from a bunch of 
services offering the same functionalities. Thus, selecting the right 
service requires addressing at least two key issues:

1. Discovering the service on the basis of its functionality
2. Evaluating the trustworthiness of the service (how well the service 
will work)

Although concrete applications coping with the first issue are far from 
being widely adopted, the significant effort spent on its investigation 
in the current literature is recognizable (OWL-S and the SOAP/WSDL/UDDI 
Web service framework to mention only some contributions). Instead, 
service trustworthiness is still in its infancy and represents a barrier 
for widening the application of service-oriented technologies. The open 
and dynamic nature of the SOC vision raises new challenges to 
traditional software trustworthiness. Indeed, in a traditional closed 
software system all of its components and their relationships are 
pre-decided before the software runs. Therefore, each component can be 
thoroughly tested as well as its interactions with other components 
before the system starts to run. This is not possible in the SOC vision 
due to its openness and dynamicity. For instance, in the Web service 
dynamic invocation model, it is likely that users may not even know 
which Web services they will use, much less their trustworthiness. 
Traditional dependability techniques, such as correctness proof, fault 
tolerant computing, testing, and evaluation and more in general 
"rigorous software development" might be used to improve the 
trustworthiness of Web services. However, again these techniques have to 
be redesigned to handle the dynamicity and openness of SOC.

The 1st INternational Workshop on TRUstworthy Service-Oriented Computing 
(INTRUSO 2011) aims at bringing together researchers, engineers and 
practitioners interested in all the different aspects of Trustworthiness 
and Dependability in service-oriented environments. Since the overall 
goal of Trustworthy SOC includes the investigation of several 
cross-disciplinary issues such as a deep understanding of trust vs. 
trustworthiness in a service domain, trust-based approaches for service 
rating and selection (reputation systems, recommendation systems, 
referral networks.), service dependability, service 
evaluation/monitoring/testing, etc., a synergy between different 
scientific communities and research disciplines is needed. For this 
reason, although the workshop seems naturally focused on SOC-specific 
issues, contributions from different disciplines such as philosophy, 
sociology, psychology, communication sciences, as well as from computer 
science specific sub-disciplines such as software engineering and 
dependability are welcomed and encouraged.

The workshop is expected to stimulate discussions about the future 
development of appropriate models, methods, notations, languages and 
tools for building a variety of trustworthy service-oriented systems.

Topics of interests include, but are not limited to:

* Trust and trustworthiness in the Web service domain
* Trust-based approaches for Web service rating and selection 
(reputation systems, recommendation systems, referral networks, .)
* Trust negotiation for Web services
* Service monitoring and testing
* Service dependability
* Fault-tolerant mechanisms for SOC
* Security for SOC
* Architectures for trustworthy SOC
* Software engineering methodologies for trustworthy SOC (e.g., 
deployment life cycle for trustworthy services)
* Policy assurance for trustworthy SOC
* Formal methods and frameworks for trustworthy services
* Quality of Service (QoS) for service discovering and trustworthiness
* Case studies on trustworthy SOC
* Industrial experiences in the adoption of trust-based approaches for SOC
* Rigorous Software Development to ensure service trustworthiness

Submitted full papers must not exceed 16 pages in length, including 
bibliography and well-marked appendices. Papers can be submitted using 
the following link on EasyChair:

https://www.easychair.org/account/signin.cgi?conf=intruso2011

Please use the LNCS templates and style files available from:

http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0.

Submitted papers will be evaluated by the program committee and chosen 
for presentation based on their scientific contribution and relevance to 
the topics of the workshop. At least one author of each accepted paper 
must register to the workshop and participate presenting the paper.

The collection of the accepted papers of all the IFIPTM workshops will 
be published in a technical report at Technical University of Denmark 
(DTU). We already agreed with the editor of an international journal to 
have a special issue in November 2011 with extended versions of best 
papers selected from IFIPTM workshops.

Important Dates

* April 18, 2011: Submission of papers
* May 16, 2011: Notification of acceptance
* June 1, 2011: Camera-ready
* June 27, 2011: INTRUSO Workshop

Chairs

* Nicola Dragoni, Denmark Technical University (DTU), Denmark - 
ndra@imm.dtu.dk
* Nickolaos Kavantzas, Oracle, USA - nickolas.kavantzas@oracle.com
* Fabio Massacci, University of Trento, Italy - massacci@disi.unitn.it
* Manuel Mazzara Newcastle University, UK - manuel.mazzara@newcastle.ac.uk

Program Committee

* Mohamed Faical Abouzaid, Ecole Polytechnique de Montréal, Canada
* Mario Bravetti, University of Bologna, Italy
* Achim D. Brucker, SAP, Germany
* Schahram Dustdar, Vienna University of Technology, Austria
* Tim Hallwyl, Visma Sirius, Denmark
* Koji Hasebe, University of Tsukuba, Japan
* Peep Küngas, University of Tartu, Estonia
* Ivan Lanese, University of Bologna/INRIA, Italy
* Marcello La Rosa, Queensland University of Technology, Australia
* Michele Mazzucco, University of Tartu, Estonia
* Hernán Melgratti, University of Buenos Aires, Argentina
* Paolo Missier, Newcastle University, UK
* Christian W. Probst, Denmark Technical University (DTU), Denmark
* Ayda Saidane, University of Luxembourg, Luxembourg
* Mirko Viroli, University of Bologna, Italy
* Prakash Yamuna, Oracle, USA

[Caml-list] INTRUSO 2011 - Second CFP

[Mario Bravetti]

INTRUSO 2011
1st INternational Workshop on TRUstworthy Service-Oriented Computing
Affiliated with 5th IFIP International Conference on Trust Management 
(IFIPTM'11)
Copenhagen, June 27, 2011, Technical University of Denmark

http://www.ifiptm.org/IFIPTM11/INTRUSO11

Service-Oriented Computing (SOC) is an emerging paradigm for distributed 
computing aiming at changing the way software applications are designed, 
delivered and consumed. SOC is triggering a radical shift to a vision of 
the Web as a computational fabric where loosely coupled services (such 
as Web services) interact publishing their interfaces inside dedicated 
repositories, where they can be searched by other services or software 
agents, retrieved and invoked, always abstracting from the actual 
implementation. The proliferation of such services is considered the 
second wave of evolution in the Internet age. In order to realize this 
vision and to bring SOC to its full potential, several security 
challenges must still be addressed. In particular, consensus is growing 
that this "service revolution" will not eventuate until we resolve 
trustworthiness?related issues. For instance, lack of consumer trust and 
Web service trustworthiness still represent two critical impediments to 
the success of Web service-oriented systems. Although software 
trustworthiness is a wide topic, far from being an issue only for SOC, 
the intrinsic openness of this vision makes it even more crucial. The 
SOC vision, indeed, faces with a large, open and dynamic 
service-oriented environment where anyone can publish his own (even 
malicious) services. In this scenario, a client (human or software 
agent) faces a dilemma in having to make a choice from a bunch of 
services offering the same functionalities. Thus, selecting the right 
service requires addressing at least two key issues:

1. Discovering the service on the basis of its functionality
2. Evaluating the trustworthiness of the service (how well the service 
will work)

Although concrete applications coping with the first issue are far from 
being widely adopted, the significant effort spent on its investigation 
in the current literature is recognizable (OWL-S and the SOAP/WSDL/UDDI 
Web service framework to mention only some contributions). Instead, 
service trustworthiness is still in its infancy and represents a barrier 
for widening the application of service-oriented technologies. The open 
and dynamic nature of the SOC vision raises new challenges to 
traditional software trustworthiness. Indeed, in a traditional closed 
software system all of its components and their relationships are 
pre-decided before the software runs. Therefore, each component can be 
thoroughly tested as well as its interactions with other components 
before the system starts to run. This is not possible in the SOC vision 
due to its openness and dynamicity. For instance, in the Web service 
dynamic invocation model, it is likely that users may not even know 
which Web services they will use, much less their trustworthiness. 
Traditional dependability techniques, such as correctness proof, fault 
tolerant computing, testing, and evaluation and more in general 
"rigorous software development" might be used to improve the 
trustworthiness of Web services. However, again these techniques have to 
be redesigned to handle the dynamicity and openness of SOC.

The 1st INternational Workshop on TRUstworthy Service-Oriented Computing 
(INTRUSO 2011) aims at bringing together researchers, engineers and 
practitioners interested in all the different aspects of Trustworthiness 
and Dependability in service-oriented environments. Since the overall 
goal of Trustworthy SOC includes the investigation of several 
cross-disciplinary issues such as a deep understanding of trust vs. 
trustworthiness in a service domain, trust-based approaches for service 
rating and selection (reputation systems, recommendation systems, 
referral networks.), service dependability, service 
evaluation/monitoring/testing, etc., a synergy between different 
scientific communities and research disciplines is needed. For this 
reason, although the workshop seems naturally focused on SOC-specific 
issues, contributions from different disciplines such as philosophy, 
sociology, psychology, communication sciences, as well as from computer 
science specific sub-disciplines such as software engineering and 
dependability are welcomed and encouraged.

The workshop is expected to stimulate discussions about the future 
development of appropriate models, methods, notations, languages and 
tools for building a variety of trustworthy service-oriented systems.

Topics of interests include, but are not limited to:

* Trust and trustworthiness in the Web service domain
* Trust-based approaches for Web service rating and selection 
(reputation systems, recommendation systems, referral networks, .)
* Trust negotiation for Web services
* Service monitoring and testing
* Service dependability
* Fault-tolerant mechanisms for SOC
* Security for SOC
* Architectures for trustworthy SOC
* Software engineering methodologies for trustworthy SOC (e.g., 
deployment life cycle for trustworthy services)
* Policy assurance for trustworthy SOC
* Formal methods and frameworks for trustworthy services
* Quality of Service (QoS) for service discovering and trustworthiness
* Case studies on trustworthy SOC
* Industrial experiences in the adoption of trust-based approaches for SOC
* Rigorous Software Development to ensure service trustworthiness

Submitted full papers must not exceed 16 pages in length, including 
bibliography and well-marked appendices. Papers can be submitted using 
the following link on EasyChair:

https://www.easychair.org/account/signin.cgi?conf=intruso2011

Please use the LNCS templates and style files available from:

http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0.

Submitted papers will be evaluated by the program committee and chosen 
for presentation based on their scientific contribution and relevance to 
the topics of the workshop. At least one author of each accepted paper 
must register to the workshop and participate presenting the paper.

The collection of the accepted papers of all the IFIPTM workshops will 
be published in a technical report at Technical University of Denmark 
(DTU). We have already agreed with the editor of the international 
Journal of Internet Services and Information Security to have a special 
issue in November 2011 with extended versions of best papers selected 
from IFIPTM workshops.

Important Dates

* April 18, 2011: Submission of papers
* May 16, 2011: Notification of acceptance
* June 1, 2011: Camera-ready
* June 27, 2011: INTRUSO Workshop

Chairs

* Nicola Dragoni, Denmark Technical University (DTU), Denmark - 
ndra@imm.dtu.dk
* Nickolaos Kavantzas, Oracle, USA - nickolas.kavantzas@oracle.com
* Fabio Massacci, University of Trento, Italy - massacci@disi.unitn.it
* Manuel Mazzara Newcastle University, UK - manuel.mazzara@newcastle.ac.uk

Program Committee

* Mohamed Faical Abouzaid, Ecole Polytechnique de Montréal, Canada
* Mario Bravetti, University of Bologna, Italy
* Achim D. Brucker, SAP, Germany
* Schahram Dustdar, Vienna University of Technology, Austria
* Tim Hallwyl, Visma Sirius, Denmark
* Koji Hasebe, University of Tsukuba, Japan
* Peep Küngas, University of Tartu, Estonia
* Ivan Lanese, University of Bologna/INRIA, Italy
* Marcello La Rosa, Queensland University of Technology, Australia
* Michele Mazzucco, University of Tartu, Estonia
* Hernán Melgratti, University of Buenos Aires, Argentina
* Paolo Missier, Newcastle University, UK
* Christian W. Probst, Denmark Technical University (DTU), Denmark
* Ayda Saidane, University of Luxembourg, Luxembourg
* Mirko Viroli, University of Bologna, Italy
* Prakash Yamuna, Oracle, USA

[Caml-list] LAM'11: 2nd Call for Paper

["Dr. Michael Köhler-Bussmeier"]

[-- Attachment #1: Type: text/plain, Size: 4606 bytes --]

Apologies for cross-postings.

*** 2nd CALL FOR PAPERS ***

4th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM'11),
10 September 2011, Aachen, Germany,
organised as satellite workshop at the Twenty-Second 
International Conference on CONCURRENCY THEORY (CONCUR 2011).


Organisers:
Berndt Müller (Farwer), University of Glamorgan
Michael Köhler-Bussmeier, University of Hamburg

Workshop Homepage: http://web.me.com/farwer/LAM11


*Important Dates *

Submission Deadline:  June 13, 2011
Notification: July 21, 2011
Final Version: August 17, 2011
Workshop: 10 Sept 2011


* Workshop Purpose *

The aim of this series of workshops is to bring together active
researchers in the areas of logics and other formal frameworks that
can be used to describe and analyse dynamic or mobile systems. The
main focus is on the field of logics and calculi for mobile agents,
and multi-agent systems.

Many notions used in the theory of agents are derived from philosophy,
logics, and linguistics (belief, desire, intention, speech act, etc.),
and interdisciplinary discourse has proved fruitful for the advance of
this domain. The workshop intends to encourage discussion and work
across the boundaries of the traditional disciplines.

Outside of academia, distributed systems are a reality and agent
programming is beginning established itself as a serious contender
against more traditional programming paradigms. For example, the
deployment of large-scale pervasive infrastructures (mobile ad-hoc
networks, mobile devices, RFIDs, etc.) raises a number of scientific
and technological challenges for the modelling and programming of such
large-scale, open and highly-dynamic distributed systems. 

Logics and type systems with temporal or other kinds of modalities
(relating to location, resource and/or security-awareness) play a
central role in the semantic characterisation and verification of
mobile agent systems. In the past two or three years, some logics have
been proposed that would be able to handle certain aspects of these
requirements, but there are still many open problems and research
questions in the theory of such systems. The workshop is intended to
showcase results and current work being undertaken in the areas
outlined above with a focus on logics and other formalisms for the
specification and verification of dynamic, mobile systems.


* Scope of Interest *

The main topics of interest include
- specification and reasoning about agents, MAS, and mobile systems
- modal and temporal logics
- model-checking 
- treatment of location and resources in logics
- security
- type systems and static analysis
- logic programming
- concurrency theory with a focus on mobility or dynamics in agent systems.


* Previous Workshops *

LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany 
LAM'09: 10 August 2009 at LICS in Los Angeles, USA
LAM'10: 15 July 2010 at LICS in Edinburgh, Scotland, UK


* Format of the Workshop *

The workshop will be held as a one day event after the main
conference. There will be a short introduction and brief survey of the
field by the organisers as an introduction to the workshop.

The workshop will contain invited talks, contributed talks, and a 
discussion session. The latter is will give the participants a 
chance to discuss informally research directions, open problems, and 
possible co-operations.


* Invited Speakers *
[To be announced.]


* Submission details *

Authors are invited to submit a full paper of original work in the
areas mentioned above. The workshop chair should be informed of
closely related work submitted to a conference or journal in advance
of submission. One author of each accepted paper will be expected to
present it at the LAM'11 workshop. Submissions should not exceed 15
pages, preferably using the LaTeX article.sty class. The following
formats are accepted: PDF, PS.

Please send your submission electronically via EasyChair:

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

The submissions will be reviewed by the workshop's program committee and additional reviewers. 
Accepted papers will appear in electronic proceedings and authors 
will be encouraged to re-submit papers to formal proceedings to 
be published as a separate publication, e.g. as a special journal issue.





--
Vertr.-Prof. PD Dr. Michael Köhler-Bußmeier 
University of Hamburg, Department for Informatics
Group: Theoretical Foundations of Informatics
http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/



[-- Attachment #2: smime.p7s --]
[-- Type: application/pkcs7-signature, Size: 1725 bytes --]

[Caml-list] CfPart HATS International School on Formal Models for Objects and Components

[Mario Bravetti]

CALL FOR PARTICIPATION

HATS International School on Formal Models for Objects and Components
(HATS-FMOC 2012)

Bertinoro, Italy
September 24-28, 2012

http://www.cs.unibo.it/hats-fmoc/


General Information:
--------------------
Modern software systems are complex, and often structured as
composition of a high number of components or objects. The school
focuses on formal models and programming languages for such system,
including methods and tools for specifying and designing them, and for
ensuring behavioural and security guatantees. A special emphasis will
be given to methods for ensuring the adaptability and evolvability of
the systems, with which the systems can cope with changes in the
environment as well as with modified and new requirements.

The School is organised by the project HATS (Highly Adaptable and
Trustworthy Software using Formal Models), a EU Integrated Project
within the FET "FOREVER YOURS" programme, in agreement with the
EternalS Coordination Action (CA) that coordinates the research among
the four projects of the "Forever Yours" initiative: LivingKnowledge,
HATS, Connect, and SecureChange.

The School will feature lectures by world-renowned experts within the
area of formal models for objects and components. Involved working
areas are, e.g., type theory, programming languages, formal methods,
concurrency and software engineering.


Lecturers:
---------
Einar Broch Johnsen, University of Oslo, Norway
Dave Clarke, Katholieke Universiteit Leuven, Belgium
Roberto Di Cosmo, University Paris Diderot, France
Fausto Giunchiglia, University of Trento, Italy
Reiner Hähnle, Technical University of Darmstadt, Germany
Valérie Issarny, INRIA Paris - Rocquencourt, France
Fabio Massacci, University of Trento, Italy
Arnd Poetzsch-Heffter, Technical University of Kaiserslautern, Germany
Germán Puebla, Universidad Politecnica de Madrid, Spain


Details:
--------
Please see the website for registration fees and instructions, detailed
information regarding speakers and topics, and travel details:

http://www.cs.unibo.it/hats-fmoc/

Since attendance is limited to 40 students, slots will be allocated on a
"first come, first served" basis.

The application deadline is June 15, 2012.


Venue:
------
The setting for the School is the Centro Residenziale Universitario of
the University of Bologna, located in Bertinoro, a small medieval
hilltop town of Bertinoro that is an excellent base for various Italian
destinations.

Bertinoro is about 70 km south-east of Bologna, at an elevation of
about 230 m. It can be reached in a couple of hours from the
international airport "G. Marconi" of Bologna by shuttle (from the
airport to the railway station) + train (from Bologna to Forlì) +
bus/taxi (from the railway station to Bertinoro). The closest airport
is the "L. Ridolfi" airport of Forlì, which is 13 km away.


Steering Committee:
-------------------
Einar Broch Johnsen (University of Oslo, Norway)
Reiner Hähnle (Technical University of Darmstadt, Germany)
Arnd Poetzsch-Heffter (Technical University of Kaiserslautern, Germany)
German Puebla (Universidad Politecnica de Madrid, Spain)
Davide Sangiorgi (University of Bologna, Italy)


Local Organization:
-------------------
Mario Bravetti
Elena Giachino
Davide Sangiorgi

[Caml-list] 2nd CFP: Service-Oriented Architectures and Programming track of the 29th ACM Symposium On Applied Computing

[Mario Bravetti]

CALL FOR PAPERS (apologies for multiple copies)

Service-Oriented Architectures and Programming track
of the 29th Symposium On Applied Computing

http://www.itu.dk/acmsac2014-soap/

         IMPORTANT DATES (strict)

September 13, 2013: Submission of regular papers and SRC abstracts
November 15, 2013: Notification of paper and SRC acceptance/rejection
December 6, 2013: Camera-ready copies of accepted papers
December 13, 2013: Author registration due date

         ACM SAC 2014

For the past twenty-eight years, the ACM Symposium on Applied
Computing has been a primary gathering forum for applied computer
scientists, computer engineers, software engineers, and application
developers from around the world. SAC 2014 is sponsored by the ACM
Special Interest Group on Applied Computing (SIGAPP), and is held at
Gyeongju (Korea).

         SOAP TRACK: CALL FOR PAPERS

Service-Oriented Programming (SOP) is quickly changing our vision of
the Web, bringing a paradigmatic shift in the methodologies followed
by programmers when designing and implementing distributed
systems. Originally, the Web was mainly seen as a means of presenting
information to a wide spectrum of people, but SOP is triggering a
radical transformation of the Web towards a computational fabric where
loosely coupled services interact publishing their interfaces inside
dedicated repositories, where they can be discovered by other services
and then invoked, abstracting from their actual
implementation. Research on SOP is giving strong impetus to the
development of new technologies and tools for creating and deploying
distributed software.  In the context of this modern paradigm we have
to cope with an old challenge, like in the early days of
Object-Oriented Programming when, until key features like
encapsulation, inheritance, and polymorphism, and proper design
methodologies were defined, consistency in the programming model
definition was not achieved. The complex scenario of SOP needs to be
clarified on many aspects, both from the engineering and from the
foundational points of view.

 From the engineering point of view, there are open issues at many
levels. Among others, at the system design level, both traditional
approaches based on UML and approaches taking inspiration from
business process modelling, e.g. BPMN, are used. At the composition
level, although WS-BPEL is a de-facto industrial standard, other
approaches are appearing, and both the orchestration and choreography
views have their supporters. At the description and discovery level
there are two separate communities pushing respectively the semantic
approach (ontologies, OWL, ...) and the syntactic one (WSDL, ...). In
particular, the role of discovery engines and protocols is not
clear. In this respect we still lack adopted standards: UDDI looked to
be a good candidate, but it is no longer pushed by the main
corporations, and its wide adoption seems difficult. Furthermore, a
new implementation platform, the so-called REST services, is
emerging and competing with classic Web Services. Finally, features
like Quality of Service, security and dependability need to be taken
seriously into account, and this investigation should lead to standard
proposals.

 From the foundational point of view, formalists have discussed widely
in the last years, and many attempts to use formal methods for
specification and verification in this setting have been made. Session
correlation, service types, contract theories and communication
patterns are only a few examples of the aspects that have been
investigated. Moreover, several formal models based upon automata,
Petri nets and algebraic approaches have been developed. However most
of these approaches concentrate only on a few features of
Service-Oriented Systems in isolation, and a comprehensive approach is
still far from being achieved.

The Service-Oriented Architectures and Programming track aims at
bringing together researchers and practitioners having the common
objective of transforming SOP into a mature discipline with both solid
scientific foundations and mature software engineering development
methodologies supported by dedicated tools. In particular, we will
encourage works and discussions about what SOP still needs in order to
achieve its original goal.

Major topics of interest will include:

- Formal methods for specification of Web Services
- Notations and models for Service-Oriented Computing
- Methodologies and tools for Service-Oriented application design
- Service-Oriented Middlewares
- Service-Oriented Programming languages
- Test methodologies for Service-Oriented applications
- Analysis techniques and tools
- Service systems performance analysis
- Industrial deployment of tools and methodologies
- Standards for Service-Oriented Programming
- Service application case studies
- Dependability and Web Services
- Quality of Service
- Security issues in Service-Oriented Computing
- Comparisons between different approaches to Services
- Exception handling in composition languages
- Trust and Web Services
- Sustainability and Web Services, Green Computing
- Adaptable Web Services
- Software Product Lines for Services
- Artificial Intelligence Techniques for Service-Oriented Computing


         SUBMISSIONS

Authors are invited to submit original unpublished papers. Submission
of the same paper to multiple tracks is not allowed. Peer groups with
expertise in the track focus area will double-blindly review
submissions. Accepted papers will be published in the annual
conference proceedings. SOAP track chairs will not submit to the
track. Submissions from SOAP PC members and from PC members and track
chairs of other SAC tracks are welcome. Submission guidelines
can be found on SAC 2014 Website:

     http://www.acm.org/conferences/sac/sac2014/

The submission web-link(START system) for regular papers is

https://www.softconf.com/d/sac2014

Prospective papers should be submitted to the track using the provided
automated submission system. Please pay attention to ensure anonymity
of your submitted manuscript as detailed in the submission page so to
allow for double-blind review. Papers not satisfying this constraint
will be automatically rejected. The maximum length for papers is 8
pages. Accepted papers whose camera-ready version will exceed 6 pages
will have to pay an extra charge.

Paper registration is required, allowing the inclusion of the
paper/poster in the conference proceedings. An author or a proxy
attending SAC MUST present the paper. This is a requirement for the
paper/poster to be included in the ACM/IEEE digital library. No-show of
scheduled papers and posters will result in excluding them from the
ACM/IEEE digital library.


         SPECIAL ISSUE

Authors of best papers will be invited to submit an extended and
revised version of their work to a special issue of Journal of Internet 
Services
and Information Security (JISIS, http://www.jisis.org).

The tentative schedule for the special issue is:
December 31, 2013: Paper invitation
February 28, 2014: Submission deadline for invited papers
April 30, 2014: Final acceptance notification
May 2014: Publication of special issue


         STUDENT RESEARCH COMPETITION PROGRAM

Graduate students are invited to submit research abstracts (minimum of
2-page and maximum of 4-page) following the instructions published at
SAC 2014 website. Submission of the same abstract to multiple tracks
is not allowed. All research abstract submissions will be reviewed by
researchers and practitioners with expertise in the track focus area
to which they are submitted. Authors of selected abstracts will have
the opportunity to give poster presentations of their work and compete
for three top-winning places. The Student Research Competition
committee will evaluate and select First-, Second-, and Third- place
winners. The winners will receive cash awards and SIGAPP recognition
certificates during the conference banquet. Authors of selected
abstracts are eligible to apply to the SIGAPP Student Travel Award
program for support.

The web-link for the SRC (Student Research Competition) is

https://www.softconf.com/d/sac-src2014.


         PC MEMBERS

Jesper Bengtson, IT University of Copenhagen (Denmark)
Laura Bocchi, Imperial College (UK)
Roberto Bruni, University of Pisa (Italy)
Aniello Castiglione, Universita' degli Studi di Salerno (Italy)
Javier Cubo, Universidad de Málaga (Spain)
Nicola Dragoni, Technical University of Denmark (Denmark)
Shuiguang Deng (Zhejiang University, China)
Sara Fernandes, UNU-IIST (Macao) and University of Minho (Portugal)
Ettore Ferranti, ABB Switzerland Ltd Corporate Research (Switzerland)
Xiang Fu (Hofstra University, USA)
Linpeng Huang, Shanghai Jiao Tong University (China)
Chang-Gun Lee, Seoul National University (Korea)
Ivan Lanese, University of Bologna (Italy)
Zhiming Liu, UNU-IIST (Macao)
Hernán Melgratti, Universidad de Buenos Aires (Argentina)
Nicola Mezzetti, Engineering Group (Italy)
Manuel Núñez, Universidad Complutense de Madrid (Spain)
Kévin Ottens, Klarälvdalens Datakonsult AB (Sweden)
Zhuzhong Qian, Nanjing University (China)
Chun Ouyang, Queensland University of Technology (Australia)
Jianwen Su (Univ. of California at Santa Barbara, USA)
Francesco Tiezzi, IMT Institute for Advanced Studies Lucca (Italy)
Baokang Zhao, National University of Defense Technology (China)



         TRACK CHAIRS

Mario Bravetti
bravetti@cs.unibo.it
University of Bologna, Italy / FOCUS INRIA, France

Alberto Lluch Lafuente
alberto.lluch@imtulucca.it
IMT Institute for Advanced Studies Lucca, Italy

Manuel Mazzara
manuel.mazzara@newcastle.ac.uk
Polytechnic of Milan Italy / Newcastle University, UK

Fabrizio Montesi
fmontesi@italianasoftware.com
IT University of Copenhagen, Denmark / italianaSoftware s.r.l., Italy

Ilsun You
ilsunu@gmail.com
Korean Bible University, Korea