Gianluigi Zavattaro | 1 Jul 16:41 2015

WS-FM/BEAT 2015 last CfP

Dear Colleagues,

Due to a technical problem, submissions are open until next Friday, July 3rd.

Should you need (a bit) more time to submit, just contact
the pc chairs.

Please contribute!
António and Jan Martijn

* *
* WSFM-BEAT 2015 *
* International Symposium on *
* Web Services, Formal Methods and Behavioural Types *
* (WS-FM/BEAT 2015) *
* *
* September 4th and 5th, Madrid (Spain) *
* an event <at> the MADRID MEET 2015 *
* *
* Last Call for Papers *
* *
* *

Submission link:


Paper submission: July 3 (Friday)
Notification: July 31 (Friday)
Camera Ready version: August 14 (Friday)


The Symposium on International Symposium on Web Services, Formal
Methods and Behavioural Types (WS-FM/BEAT 2015) results from joining
the Workshop on Web Services and Formal Methods (WS-FM) and the
Workshop on Behavioural Types. The former was mainly devoted to formal
aspects of service-oriented and cloud computing. The latter addressed
type languages and systems to specify, characterise, and reason about
dynamic aspects of program execution. In both cases, the main working
setting of the research area covered is that of component-based
distributed and concurrent software systems, services and clouds,
simply referable as large software systems. Behavioural systems may
also refer to enterprise and business process modelling and management
systems. These kind of systems share characteristics: they are
distributed, collaborative, and communication-centred. Moreover, the
compatibility of their components is crucial to ensure overall
correctness and reliability.

The aim of this event is to bring together researchers and
practitioners in all aspects of large scale behavioural software
systems and its applications, in order to share results, consolidate
the community, and discover opportunities for new collaborations and
future directions.

Topics of either theoretical or applied interest include, but are not limited to:
* Foundational aspects of large behavioural software systems
* Specification, verification, analysis, and testing of large behavioural software systems
* Language-based approaches to large behavioural software systems
* Security, trust, QoS, dependability, and privacy in large behavioural software systems
* Ontologies, standards and technologies for large behavioural software systems
* Case-studies on formal methods in large behavioural software systems
* Innovative application scenarios of large behavioural software systems


We solicit the submission of original and unpublished contributions
not under review for publication elsewhere. Concurrent submissions to
WS-FM/BEAT and FOCLASA (a CONCUR workshop - are however, not only allowed, but in fact
encouraged, for those papers that may potentially enhance both
venues. Authors of such double submissions should identify them to the
Program Chairs at the time of submission (by sending and email to the
PC_Chairs of WS-FM/BEAT and FOCLASA). Reviews may be shared between
WS-FM/BEAT and FOCLASA. Submissions accepted by WS-FM/BEAT will be
considered automatically withdrawn from FOCLASA.

Submissions may take two forms: full papers and
short papers.
- Full (regular) papers must be prepared in LaTeX using the LNCS-style
format and they should not exceed 20 pages (typeset 11 points). All
accepted papers will be included in the proceedings.
- Short papers are concerned with work-in-progress or tool papers and
they should not exceed 6 pages. Short papers might not be included in
the proceedings (a selection is invited for the proceedings).

All contributions will be evaluated by at least three reviewers, chosen
by the Program Committee. Contributions should be submitted through the
EasyChair online submission system in PDF format.
Submission of a paper involves a firm commitment that at least one of
the authors will attend and participate in the workshop in case the
paper is accepted.


All accepted regular papers will be included in the proceedings, which
will be published after the symposium as a volume of the LNCS series.
Selected short papers will be invited to the proceedings.

An open call for a special issue of a high-quality journal on the topics
of the symposium is envisaged.


Antonio Ravara, Universidade Nova de Lisboa, Portugal
Jan Martijn van der Werf, Universiteit Utrecht, Netherlands


Robin Bergenthum (FernUni Hagen, Germany)
Laura Bocchi (University of Kent, UK)
Sara Capecchi (Universit‡ degli Studi di Torino, Italy)
Marlon Dumas (University of Tartu, Estonia)
Adrian Francalanza (University of Malta, Malta)
Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Jeroen Keiren (Open University, The Netherlands)
Natalia Kokash (LIACS, Leiden University, The Netherlands)
Hern·n Melgratti (Departamento ComputaciÛn, Universidad de Buenos Aires, Argentina)
Dimitris Mostrous (University of Lisbon, Portugal)
Jovanka Pantovic (University of Novi Sad, Serbia)
Artem Polyvyanyy (Queensland University of Technology, Australia)
Antonio Ravara (Universidade Nova de Lisboa, Portugal), co-chair
Natalia Sidorova (Eindhoven University of Technology, The Netherlands)
Jan Martijn van der Werf (Universiteit Utrecht, the Netherlands), co-chair


Wil van der Aalst, Eindhoven University of Technology, Netherlands
Mario Bravetti, University of Bologna, Italy
Marlon Dumas, University of Tartu, Estonia
JosÈ Luiz Fiadeiro, Royal Holloway, University of London, United Kingdom
Gianluigi Zavattaro, University of Bologna, Italy


Cosimo Laneve, University of Bologna, Italy
One more TBA


Past editions of WS-FM
* WS-FM 2014 in Eindhoven, co-chaired by Thomas Hildebrandt and Matthias Weidlich
* WS-FM 2013 in Beijing, co-chaired by Chun Ouyang and Emilio Tuosto
* WS-FM 2012 in Talin, co-chaired by Maurice ter Beek and Niels Lohmann
* WS-FM 2011 in Clermont-Ferrand, co-chaired by Marco Carbone and Jean-Marc Petit
* WS-FM 2010 in Hoboken, co-chaired by Mario Bravetti and Tevfik Bultan
* WS-FM 2009 in Bologna, co-chaired by Cosimo Laneve and Jianwen Su
* WS-FM 2008 in Milan, co-chaired by Roberto Bruni and Karsten Wolf
* WS-FM 2007 in Brisbane, co-chaired by Marlon Dumas and Reiko Heckel
* WS-FM 2006 in Wien, co-chaired by Mario Bravetti and Gianluigi Zavattaro
* WS-FM 2005 in Versailles, co-chaired by Mario Bravetti and Gianluigi Zavattaro
* WS-FM 2004 in Pisa, co-chaired by Mario Bravetti and Gianluigi Zavattaro

Past editions of BEAT
* BEAT 2014 in Roma, co-chaired by Marco Carbone and Adrian Francalanza
* BEAT2: 2nd International Workshop on Behavioural Types, co-located with SEFM, September 2013
* BEAT: 1st International Workshop on Behavioural Types, co-located with POPL, January 2013
* Behavioural Types Workshop, Lisbon, April 2011
Concurrency mailing list
Antonin Kucera | 24 Jun 13:37 2015

Highlights 2015 -- Call for Participation

==                                                            ==
==                     HIGHLIGHTS 2015                        ==
==                                                            ==
==                 Call for  Participation                    ==
==                                                            ==
==               Prague, 15-18 SEPTEMBER 2015                 ==
==                                                            ==
==                  ==
==                                                            ==
==                                                            ==

HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games
and Automata which aims at integrating the community working in these
fields. A visit to Highlights conference should offer a wide picture
of the latest research in the area and a chance to meet everybody in
the field, not just those who happen to publish in one particular
proceedings volume. The participants present their best work, be it
published elsewhere or yet unpublished. 

The Highlights 2015 program starts on Sept. 15 with two tutorials on

  *  Constraint Satisfaction Problem, by Libor Barto
  *  Weighted Automata, by Paul Gastin

The main conference is three days long (Sept. 16-18), each contributed 
talk is around ten minutes. There are four invited talks given by

  * Christel Baier
  * Thomas Colcombet
  * Giuseppe De Giacomo
  * Philippe Schnoebelen

The program is further enriched by a special Mathematical Colloquia 
talk by Moshe Vardi that takes place in Karolinum, the historical 
seat of the Charles University in Prague. The conference dinner will 
be held in Karolinum after the Colloquium talk.

The registration form and detailed information about Highlights 2015
are available at There is a 
small registration fee of 80 Euro which includes lunches and conference
dinner. There are possibilities for cheap accomodation close
to the conference venue arranged by the organizers.

The deadline for early registration is **** July 15, 2015 *****
After July 15, the registration form remains open, but the options
or cheap accommodation will not be available anymore.

Concurrency mailing list

Reinhard von Hanxleden | 26 Jun 23:16 2015

SYNCHRON 2015 - First Call for Participation

[With apologies for multiple copies]

International Open Workshop on Synchronous Programming

November 30 to December 4, 2015
Kiel, Germany

The registration for the 22nd International Open Workshop on Synchronous
Programming (SYNCHRON 2015) is now open at:

SYNCHRON is the yearly rendezvous for all researchers working in or
around the field of synchronous programming. It is an open forum where
students and researchers can present and discuss about ongoing work on
the numerous topics related to synchronous programming: language design,
compilation, validation, case-studies, models of computation and
communication, domain-specific languages, concurrency and scheduling
theory, modeling pragmatics etc.

Kiel, located in Northern Germany at the Baltic Sea, is a modern port
city with a young population, due in large part to the
Christian-Albrechts Universität which celebrates this year its 350th
anniversary. The workshop venue will be the Kunsthalle zu Kiel, an art
museum right next to the sea. The social event, on Thursday
afternoon/evening, consists of a visit to the Ship Museum followed by a
dinner cruise on the historic MS Stadt Kiel. External sponsoring allows
to offer a reduced registration fee for young researchers. Early
registration lasts until October 31, but registrations well before that
would be appreciated.

I look forward to welcome you in Kiel to SYNCHRON 2015, kind regards,

Reinhard von Hanxleden
Attachment (rvh.vcf): text/x-vcard, 368 bytes
Concurrency mailing list
Ravi JHAWAR | 26 Jun 14:25 2015


GraMSec 2015
The Second International Workshop on Graphical Models for Security

Verona, Italy - July 13, 2015

Co-located with
28th IEEE Computer Security Foundations Symposium (CSF) 

To register please follow the instructions given at


Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Such models have been subject of
academic research and they have also been widely accepted by the
industrial sector, as a means to support and facilitate threat
analysis and risk management processes. The objective of GraMSec is to
contribute to the development of well-founded graphical security
models, efficient algorithms for their analysis, as well as
methodologies for their practical usage. 


8:30 – 9:15 REGISTRATION
9:20 – 9:30 OPENING

* Simone Fischer-Hübner (Karlstad University, Sweden)
  Eliciting Requirements for Privacy-enhancing Transparency Tool

10:30 – 11:00 COFFEE BREAK

* Volker Ahlers, Felix Heine, Bastian Hellmann, Carsten Kleiner, Leonard Renners, Thomas Rossow, and Ralf Steuerwald
  Integrated Visualization of Network Security Metadata from Heterogeneous Data Sources
* Laurent Cuennet, Marc Pouly and Sasa Radomirovic
  Guided Specification and Analysis of a Loyalty Card System
* Ludovic Apvrille and Yves Roudier
  SysML-Sec Attack Graphs: Compact Representations for Complex Attacks

12:30 – 14:00 LUNCH BREAK
14:00 – 15:00 GraMSec INVITED LECTURE

* Marc Bouissou (École Centrale Paris, EDF R&D, France)
   Dynamic Graphical Models for Security and Safety Joint Modeling

15:00 – 15:30 TOOL SESSION

* Sophie Pinchinat, Mathieu Acher and Didier Vojtisek
  ATSyRa: An Integrated Environment for Synthesizing Attack Trees

15:30 – 16:00 COFFEE BREAK

* Marieta Georgieva Ivanova, Christian W. Probst, Rene Rydhof Hansen and Florian Kammueller
  Transforming Graphical System Models to Graphical Attack Models
* Olga Gadyatskaya
  How to Generate Security Cameras: Towards Defence Generation for Socio-Technical Systems

17:00 – 17:10 CLOSING

In the evening, we plan to have an informal dinner with the participants of the workshop

Sushil Jajodia, George Mason University, USA 

Sjouke Mauw, University of Luxembourg, LU
Barbara Kordy, INSA Rennes, IRISA, FR

For inquiries please send an e-mail to

Concurrency mailing list
Peter Csaba Ölveczky | 24 Jun 13:44 2015

1st CfP: 4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)

                       Call for Papers

                          FTSCS 2015

4th International Workshop on Formal Techniques for Safety-Critical Systems

                   Paris, November 6, 2015
              (satellite workshop of ICFEM 2015)



*** Science of Computer Programming special issue ***
*** Springer CCIS proceedings ***

Aims and Scope:

There is an increasing demand for using formal methods to validate and
verify safety-critical systems in fields such as power generation and
distribution, avionics, automotive systems, and medical systems. In
particular, newer standards, such as DO-178C (avionics), ISO 26262
(automotive systems), IEC 62304 (medical devices), and CENELEC EN
50128 (railway systems), emphasize the need for formal methods and
model-based development, thereby speeding up the adaptation of such
methods in industry.

The aim of this workshop is to bring together researchers and engineers
who are interested in the application of formal and semi-formal methods
to improve the quality of safety-critical computer systems. FTSCS
strives to promote research and development of formal methods and
tools for industrial applications, and is particularly interested in
industrial applications of formal methods. 

Specific topics include, but are not limited to:

* case studies and experience reports on the use of formal methods for
analyzing safety-critical systems, including avionics, automotive,
medical, railway, and other kinds of safety-critical and QoS-critical systems
* methods, techniques and tools to support automated analysis,
certification, debugging, etc., of complex safety/QoS-critical systems
* analysis methods that address the limitations of formal methods in
industry (usability, scalability, etc.)
* formal analysis support for modeling languages used in industry,
such as AADL, Ptolemy, SysML, SCADE, Modelica, etc.
* code generation from validated models.

The workshop will provide a platform for discussions and the exchange of
innovative ideas, so submissions on work in progress are encouraged.


We solicit submissions reporting on:

A- original research contributions (15 pages max, LNCS format);
B- applications and experiences (15 pages max, LNCS format);
C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS);
D- tool papers (5 pages max, LNCS format);
E- position papers and work in progress (5 pages max, LNCS format)

related to the topics mentioned above.

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission is done
via EasyChair at
The final version of the paper must be prepared in LaTeX, adhering to
the LNCS format available at


All accepted papers will appear in the pre-proceedings of FTSCS 2015.
Accepted papers in the categories A-D above will appear in the
workshop proceedings that will be published as a volume in
Springer's CCIS series. 

The authors of a selected subset of accepted papers will be invited to
submit extended versions of their papers to appear in a special issue
of the Science of Computer Programming journal.

Important dates:

Submission deadline: September 5, 2015
Notification of acceptance: October 5, 2015
Workshop: November 6/7, 2015


Paris, France  (city center!)

Program chairs:

Cyrille Artho        AIST, Japan
Peter Olveczky       University of Oslo, Norway

Program committee:

Musab AlTurki        King Fahd U. of Petroleum and Minerals, Saudi Arabia
Etienne Andre        University Paris 13, France
Toshiaki Aoki        JAIST, Japan
Cyrille Artho        AIST, Japan
Kyungmin Bae         Carnegie Mellon University, USA
David Broman         KTH, Sweden and UC Berkeley, USA
Bernd Fischer        Stellenbosch University, South Africa
Osman Hasan          National U. of Sciences & Technology, Pakistan
Klaus Havelund       NASA JPL, USA
Fuyuki Ishikawa      National Institute of Informatics, Japan
Takashi Kitamura     AIST, Japan
Alexander Knapp      Augsburg University, Germany
Brian Larson         Kansas State University, USA
Wenchao Li           SRI International, USA
Robi Malik           University of Waikato, New Zealand
Frederic Mallet      INRIA Sophia Antipolis, France
Roberto Nardone      University of Napoli "Federico II", Italy
Thomas Noll          RWTH Aachen University, Germany
Peter Olveczky       University of Oslo, Norway
Charles Pecheur      Universite catholique de Louvain, Belgium
Paul Pettersson      Malardalen University, Sweden
Camilo Rocha         Escuela Colombiana de Ingenieria, Colombia
Markus Roggenbach    Swansea University, UK
Ralf Sasse           ETH Zurich, Switzerland
Oleg Sokolsky        University of Pennsylvania, USA
Sofiene Tahar        Concordia University, Canada
Jean-Pierre Talpin   INRIA Rennes, France
Jackie Wang          McMaster University, Canada
Alan Wassyng         McMaster University, Canada
Michael Whalen       University of Minnesota, USA
Huibiao Zhu          East China Normal University, China

Concurrency mailing list

Julian Gutierrez | 26 Jun 11:23 2015

Final call for papers: SR 2015, Oxford, Sept 21-22, UK

Summary of relevant information:

- Deadline (abstracts) : July 1st, 2015. 
- Special issue        : Journal of Information and Computation.
- Format               : EPTCS (10 pages + references).
- Place                : Oxford, UK.
- Date                 : September 21-22, 2015. 
- Main topics          : Games, Logic, Verification, Multi-Agent Systems.
- Invited Speakers     : Johan van Benthem, Amsterdam/Stanford University. 
                         Joseph Halpern, Cornell University.
                         Marta Kwiatkowska, Oxford University. 
                         Moshe Vardi, Rice University. 

Detailed information below:


                    SR 2015 - Call For Papers

        3rd International Workshop on Strategic Reasoning

                  Oxford, 21-22 September, 2015


Strategic reasoning is one of the most active research areas in the
multi-agent system domain. The literature in this field is extensive
and provides a plethora of logics for modelling strategic
ability. Theoretical results are now being used in many exciting
domains, including software tools for information system security,
robot teams with sophisticated adaptive strategies, and automatic
players capable of beating expert human adversary, just to cite a
few. All these examples share the challenge of developing novel
theories and tools for agent strategies that take into account the
likely behaviour of adversaries. The SR international workshop aims to
bring together researchers working on different aspects of strategic
reasoning in computer science, artificial intelligence and multi-agent
systems research, both from a theoretical and a practical viewpoint.



The topics covered by SR include, but are not limited to, the

  * Logics for reasoning about strategic abilities;
  * Logics for multi-agent mechanism design, verification, and synthesis;
  * Logical foundations of decision theory for multi-agent systems;
  * Strategic reasoning in formal verification;
  * Automata theory for strategy synthesis;
  * Strategic reasoning under perfect and imperfect information;
  * Applications and tools for cooperative and adversarial reasoning;
  * Robust planning and optimisation in multi-agent systems;
  * Risk and uncertainty in multi-agent systems;
  * Quantitative aspects of strategic reasoning.



Speakers so far confirmed include:

  * Johan van Benthem, University of Amsterdam/Stanford University
  * Joseph Halpern, Cornell University 
  * Marta Kwiatkowska, University of Oxford
  * Moshe Vardi, Rice University



  * June 1st, 2015: Submission opening

  * July 1st, 2015 (strict): Abstract submission deadline
  * July 3rd, 2015 (strict): Paper submission deadline

  * July 31st, 2015: Acceptance notification
  * August 14th, 2015: Camera-ready version deadline

  * September 21st-22nd, 2015: SR 2015 workshop



Extended abstracts should be submitted not exceeding 10 pages (plus
references) in the EPTCS format. If necessary, the work may be
supplemented with a clearly marked appendix, which will be consulted
at the discretion of the PC.  Submissions must be in PDF format and
will be handled via EasyChair, using the following link:

Two types of submission are invited:

  * contributions reporting on novel research;
  * expository contributions reporting on published work.

Each submission should be clearly identified as belonging to one
category or the other. In both categories, strong preference will be
given to papers whose topic is of interest to an interdisciplinary
audience and all contributions should be written so that they are
accessible to such an audience.

Extended abstracts will be held to the usual high standards of
research publications. In particular, they should contain enough
information to enable the PC to identify the main contribution of the
work, explain the significance of the work, its novelty, and its
practical or theoretical implications, and include comparisons with
and references to relevant literature.

Expository abstracts, which will be evaluated using similar high
standards, may survey an area or report on more specific previously
published work.

Submissions should make clear the relevance to the strategic reasoning

Submissions from PC members are also allowed. Note that, since the
workshop will have informal proceedings, extended versions of the
accepted papers can also be submitted elsewhere.



The workshop proceedings will be available as a single PDF file from
the workshop website. Extended and revised versions of the best papers
presented at the workshop will be invited to a special issue of the 
Journal of Information and Computation. 



Workshop Chairs

  * Julian Gutierrez, University of Oxford, UK
  * Fabio Mogavero, University of Naples Federico II, Italy
  * Aniello Murano, University of Naples Federico II, Italy
  * Michael Wooldridge, University of Oxford, UK [MAIN CONTACT]

Program Committee

  * Thomas Agotnes, University of Bergen, Norway
  * Natasha Alechina, University of Nottingham, UK
  * Julian Bradfield, University of Edinburgh, UK
  * Krishnendu Chatterjee, IST, Austria 
  * Vojtech Forejt, University of Oxford, UK
  * Valentin Goranko, Stockholm University, Sweden
  * Erich Graedel, RWTH Aachen University, Germany
  * Julian Gutierrez, University of Oxford, UK
  * Paul Harrenstein, University of Oxford, UK
  * Andreas Herzig, CNRS, IRIT, France 
  * Orna Kupferman, Hebrew University, Israel
  * Salvatore La Torre, University of Salerno, Italy 
  * Jerome Lang, LAMSADE, France
  * Alessio Lomuscio, Imperial College London, UK
  * Enrico Marchioni, University of Oxford, UK
  * Nicolas Markey, LSV, CNRS, and ENS Cachan, France
  * John-Jules Meyer, Utrecht University, The Netherlands
  * Andrzej Murawski, University of Warwick, UK
  * Luke Ong, University of Oxford, UK
  * Sophie Pinchinat, IRISA Rennes, France 
  * Nikos Tzevelekos, Queen Mary University of London, UK
  * Wiebe Van Der Hoek, University of Liverpool, UK
  * Igor Walukiewicz, CNRS, LaBRI, France 

Local Arrangements Committee

  * Vojtech Forejt, University of Oxford, UK
  * Julian Gutierrez, University of Oxford, UK
  * Paul Harrenstein, University of Oxford, UK
  * Enrico Marchioni, University of Oxford, UK
  * Giuseppe Perelli, University of Oxford, UK  
  * Michael Wooldridge, University of Oxford, UK 


Julian Gutierrez
Oxford University Department of Computer Science
Wolfson Building, Parks Road, Oxford OX1 3QD, UK

Concurrency mailing list

Cimini, Matteo | 26 Jun 03:09 2015

Call For Abstracts: YR-CONCUR 2015 - Young Researchers Workshop on Concurrency Theory


                           6th International
     Young Researchers Workshop on Concurrency Theory
              (satellite workshop of CONCUR 2015)

                         September 5, 2015
                              Madrid, Spain



Aims and objectives:
This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute.

YR-CONCUR 2015 is a satellite workshop of CONCUR 2015 and will be held on September 5th, 2015. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentations are selected on the basis of an abstract of up to 4 pages (including references) describing the research. No particular format is required. Submissions are judged on the expected interest in and quality of the talk. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences (although preferably not at CONCUR 2015 or any of its other satellite workshops). 

Important Dates:
- Deadline for 4-page abstracts: July 3, 2015
- Notification of acceptance: July 18, 2015
- Final version: August 6, 2014
- Workshop: September 5, 2014

4-page abstracts (including references) should be submitted via the YR-CONCUR 2015 submission page on the EasyChair system.
(see the workshop website)

Organizer and PC Chair:
- Matteo Cimini (Indiana University, Bloomington, USA)

Program Committee 

    Matteo Cimini (Indiana University, Bloomington, USA)
    Cinzia Di Giusto (UNS-CNRS, Sophia Antipolis, France)
    Sophia Knight (Université de Lorraine, France)
    Hernan Melgratti (University of Buenos Aires, Argentina)
    Luca Tesei (University of Camerino, Italy)
    Mohammad Reza Mousavi (Halmstad University, Sweden)
    (further to be confirmed)
Concurrency mailing list
Joachim Parrow | 25 Jun 16:51 2015

PhD Students in concurrency theory at Uppsala University

The department of Information Technology, Uppsala University, opens two 
fully paid PhD student positions in Computer Science, on formal 
specification and verification for concurrent systems. One position will 
focus on verification and correctness proofs of programs, and the other 
will focus on semantics and specification languages. Advisors are Tjark 
Weber and Joachim Parrow.

The positions are fully paid for 5 years and include 20% teaching 
duties. The work will be carried out in the Modeling of Concurrent 
Computation research group

The candidate should have a Master of Science in Computer Science, 
Computer Engineering, Mathematics or equivalent, with a strong 
background in logic, formal semantics and concurrent/parallel 
programming. Experience with interactive theorem proving (e.g., 
Isabelle, Coq) is a plus. Good knowledge of written and spoken English 
is a requirement for employment.

For more details and instructions on how to apply see

For more information on what support you can expect see
Concurrency mailing list

rim.abid | 19 Jun 12:55 2015

Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - First CFP

31st Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 3 - 8, 2016, Pisa, Italy

More information: and

Important dates

* September 11, 2015: Paper submission
* November 13, 2015: Paper notification
* December 11, 2015: Camera-Ready Copies

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists
from different areas of computing over the thirty years. The forum
represents an opportunity to interact with different communities
sharing an interest in applied computing.

SAC 2016 is sponsored by the ACM Special Interest Group on Applied
Computing (SIGAPP), and will be hosted by the University of Pisa and
Scuola Superiore Sant'Anna University, Italy

Software Verification and Testing Track

We invite authors to submit new results in formal verification and
testing, as well as development of technologies to improve the
usability of formal methods in software engineering. Also welcome are
detailed descriptions of applications of mechanical verification to
large scale software. Possible topics include, but are not limited to:

- model checking
- theorem proving
- correct by construction development
- model-based testing
- verification-based testing
- symbolic execution
- static and run-time analysis
- abstract interpretation
- analysis methods for dependable systems
- software certification and proof carrying code
- fault diagnosis and debugging
- verification of large scale software systems
- real world applications and case studies applying software  verification

Submissions Guidelines

Paper submissions must be original, unpublished work. Submissions
should be in electronic format, via the START site:

Author(s) name(s) and address(es) must not appear in the body of the
paper, and self-reference should be avoided and made in the third
person. Submitted paper will undergo a blind review process. Authors
of accepted papers should submit an editorial revision of their papers
that fits within six two-column pages (an extra two pages, to a total
of eight pages, may be available at a charge). Please comply to this
page limitation already at submission time. Accepted papers will be
published in the ACM SAC 2016 proceedings.

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

Student Research Competition

As before, SAC 2016 organises a Student Research Competition (SRC)
Program to provide graduate students the opportunity to meet and
exchange ideas with researchers and practitioners in their areas of
interest. Guidelines and information about the SRC program can be
found at Submission to
the SRC program should be in electronic form via the following website

Program Committee 

Rui Abreu, University of Porto, Portugal 
Cristiano Braga, Universidade Federal Fluminense, Brazil
Radu Calinescu, University of York, UK 
Ana Cavalli, National Institute of Telecommunications, France 
Byoungju Choi, Ewha Womans University, Republic of Korea 
Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina 
Khaled El-Fakih, American University of Sharjah, UAE 
Ylies Falcone, University of Grenoble Alpes, France 
Maria del mar Gallardo, University of Malaga, Spain 
Arie Gurfinkel, Carnegie Mellon University, USA
Tingting Han, University of London, UK 
Klaus Havelund, Nasa Jet Propulsion Laboratory, USA
Ralf Huuck, UNSW, Australia
Nikolai Kosmatov, CEA, France 
Stefan Leue, University of Konstanz, Germany 
Luis Llana, Universidad Complutense de Madrid, Spain 
Jasen Markovski, R&D group, GN Resound Benelux, The Netherlands 
Mohammad Mousavi, Halmstad University, Sweden 
Madhavan Mukund, Chennai Mathematical Institute, India
Shin Nakajima, National Institute of Informatics, Tokyo, Japan 
Brian Nielsen, Aalborg University, Denmark 
Peter Olveczky, University of Oslo, Norway 
Jun Pang, University of Luxembourg, Luxembourg 
Adenilso Simao, ICMC/USP, Brazil
Marjan Sirjani, Reykjavik University, Iceland 
Marielle Stoelinga, University of Twente, The Netherlands 
Jun Sun, Singapore University of Technology and Design
Tanja Vos, Valencia University, Spain 
Carsten Weise, Imbus AG, Germany 
Anton Wijs, Eindhoven University of Technology, The Netherlands 
Nina Yevtushenko, Tomsk State University, Russia
Cemal Yilmaz, Sabanci University, Turkey 
Fatiha Zaidi, Univ. Paris-Sud, France 
Gianluigi Zavattaro, University of Bologna, Italy 
Lijun Zhang, Chinese Academy of Sciences, China

Program Committee Chairs

Mercedes G. Merayo, Universidad Complutense de Madrid, Spain
Gwen Salaün, University of Grenoble Alpes, France
Concurrency mailing list
W. Reisig | 15 Jun 14:15 2015

Autumn School "Processes and Data"

The DFG-funded graduate school SOAMED [1] invites applications to participate in its autumn school on "processes and data". This school addresses master students and young PhD students in informatics or related fields, interested in up‐to‐date research on the integration of service‐oriented architectures, data management, and their application to healthcare systems. It will be organized in the form of talks and tutorials given by a number of international experts in these fields.

The course language is English.

The school takes place at Steinhöfel Castle (near Berlin). Participation is free of charge (travelling not included), but there is only limited space available. If you are interested in participating, please apply following the procedure described here [2].

Please also forward this call to all potentially interested students. If you have an question, please don't hesitate to contact us.

Best wishes,
Wolfgang Reisig and Ulf Leser

Concurrency mailing list
Hugo Torres Vieira | 19 Jun 16:13 2015

1st CFP: Service-Oriented Architectures and Programming track of the 31st ACM/SIGAPP SAC

              SOAP track at SAC

              1st Call for Papers

Service-Oriented Architectures and Programming track
of the 31st ACM/SIGAPP Symposium On Applied Computing 

         4-8 April 2016, Pisa, Italy


September 11, 2015: Submission of regular papers and SRC research abstracts
November 13, 2015: Notification of paper and SRC acceptance/rejection
December 11, 2015: Camera-ready copies of accepted papers/SRC
December 18, 2015: Author registration due date

       ACM SAC 2016

For the past thirty 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 2016 is sponsored by the ACM Special 
Interest Group on Applied Computing (SIGAPP), and will be held in 
Pisa (Italy).


Service-Oriented Programming (SOP) is quickly changing our vision 
of software development, bringing a paradigmatic shift in the 
methodologies followed by programmers when designing and implementing 
distributed systems. SOP originally triggered a radical transformation 
of the Web, from being a means of presenting information to a wide 
spectrum of people to becoming a computational fabric. In such fabric, 
loosely-coupled services publish their interfaces and, through them, 
discover and interact with each other abstracting from their internal 
implementations. While this transformation still continues today, it 
has also already generated other shifts in how programmers deal with 
resource handling (Cloud Computing) and the scalability of software 
architectures from the very small to the very large (Microservices). 
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 (OOP) 
when consistency in the programming model definition was not achieved 
until the introduction of key features like encapsulation, inheritance, 
and polymorphism, together with proper design methodologies. 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, orchestration 
and choreography are continuously improved both formally and practically, 
with an evident need for their integration in the development process. 
At the description and discovery level there are two separate communities 
pushing respectively the semantic approach (ontologies, OWL, ...) and the 
syntactic one like 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 recent
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, researchers 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.

Our 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.


- Formal methods for Service-Oriented Computing
- Notations, models, and standards for Service-Oriented Computing
- Tools and Middlewares for Service-Oriented Development
- Service-Oriented Programming Languages
- Service-Oriented Programming in dynamic Open Service Ecosystems
- Service Choreographies and Protocol-Driven Service Development
- Service Interfaces and Communication Technologies (e.g., REST)
- Microservices and Scalable Service-Oriented Computing
- Engineering methodologies and Patterns for Service-Oriented Software
- Static Analysis and Testing of Service-Oriented applications
- Adaptability, Dependability, and Fault handling in Service Systems
- Security in Service-Oriented Architectures
- Quality of Service and Performance Analysis
- Industrial deployment of tools and methodologies, case studies
- Service application case studies
- Trust and Services
- Sustainability and Services, Green Computing
- Cloud Computing and Services
- Services and Big Data


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 the SAC 2016 website:

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

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 papers, 
posters, or SRC abstracts in the conference proceedings. An author or 
a proxy attending SAC MUST present the paper. This is a requirement for 
the presented work to be included in the ACM/IEEE digital library.
No-show of registered papers, posters, and SRC abstracts will result 
in excluding them from the ACM/IEEE digital library.


We plan a special issue of a top-level journal for which we will invite 
the best papers. 


As before, SAC 2016 organizes a Student Research Competition (SRC)
Program to provide graduate students the opportunity to meet and
exchange ideas with researchers and practitioners in their areas of
interest. For guidelines and information about the SRC program:

Submission of research abstracts (maximum of 2 pages) to the SRC 
program should be in electronic form via the following 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.


- Farhad Arbab (Leiden University and CWI, Amsterdam, NL) 
- Luís Barbosa (University of Minho, Braga, PT)
- Massimo Bartoletti (Università di Cagliari, IT)
- Marcello M. Bersani (Polytecnico di Milano, IT)
- Laura Bocchi (University of Kent, UK)
- Roberto Bruni (Università di Pisa, IT)
- Marco Carbone (IT University of Copenhagen, DK)
- Romain Demangeon (Université Pierre et Marie Curie, FR)
- Schahram Dustdar (Vienna University of Technology, AT)
- Alessandra Gorla (IMDEA Software Institute, Madrid, SP)
- Vasileios Koutavas (Trinity College Dublin, IR)
- Alberto Lluch Lafuente (Technical University of Denmark, DK)
- Manuel Mazzara (Innopolis University, RU)
- Nicola Mezzetti (Engineering Group, IT)
- Corrado Moiso (Telecom Italia, IT)
- Alberto Núñez (Universidad Complutense de Madrid, SP)
- Jorge A. Perez (University of Groningen, NL)
- Gustavo Petri (Purdue University, USA)
- António Ravara (New University of Lisbon, PT)
- Steve Ross-Talbot (Cognizant Technology Solutions, UK)
- Gwen Salaün (INRIA Grenoble - Rhône-Alpes, FR)
- Francesco Tiezzi (Università di Camerino, IT)
- Emilio Tuosto (University of Leicester, UK)
- Massimo Vecchio (Università degli Studi eCampus, IT)
- Yongluan Zhou (University of Southern Denmark, DK)


- Maurice ter Beek (ISTI-CNR, Pisa, IT)
- Hernán Melgratti (University of Buenos Aires, AR)
- Hugo Torres Vieira (IMT Lucca, IT)


- Claudio Guidi (italianaSoftware, IT)
- Ivan Lanese (University of Bologna, IT and INRIA, FR)
- Manuel Mazzara (Innopolis University, RU)
- Fabrizio Montesi (University of Southern Denmark, DK)
Concurrency mailing list