Slim Kallel | 17 Jul 15:12 2016

CFP - ASOCA workshop <at> ICSOC 2016

ASOCA 2016 
1st Workshop on Adaptive Service-oriented and Cloud Applications

ASOCA worksop at ICSOC 2016
14th International Conference on Service Oriented Computing

========= Overviewa

The workshop address the adaptation and reconfiguration issues of the Service-oriented and cloud applications and architectures.
The concept of adaptive and reconfigurable SOA has been introduced in order to describe architectures, which exhibit functional and non-functional properties. An adaptive and reconfigurable SOA can repair itself if any execution problems occur, in order to successfully complete its own execution, while respecting functional and NF agreements. In the design of an adaptive and reconfigurable software system, several aspects have to be considered. For instance, the system should be able to predict or to detect degradations and failures as soon as possible and to enact suitable recovery actions. Moreover, different NF requirements service levels might be considered in order to complete the execution in case of failure. Contributions are devoted to the design and the implementation of adaptive and reconfigurable service oriented and cloud applications and architectures.

========= Topics 

Contributions are devoted to adaptability and reconfiguration management in service-oriented and cloud application. Specifically, the relevant topics include, but are not limited to:
- Distributed and centralized solutions for the diagnosis and repair of service-oriented and cloud applications.
- Design for the diagnosability and repairability
- Monitoring simple and composite architectures, components and services
- Semantic (or analytic) architectural and behavioral models for monitoring of software systems
- Dynamic reconfiguration of of service-oriented and cloud applications.
- Planning and decision making
- Technologies for ensuring autonomic properties
- Predictive management of adaptability.
- Management of autonomic properties
- Experiences in practical adaptive and reconfigurable service-oriented and cloud applications.
- Tools and prototypes for managing adaptability.

========= Important Dates

Submission Deadline: July 24, 2016
Notification: August 14, 2016
Camera Ready Copy Due: August 30, 2016
Workshop: October 10, 2016

========= Submission and Publication

Authors are invited to submit full papers (with a maximum length of 12 pages, including references and appendices.) using (Springer LNCS format). Authors must upload their paper as PDF file using the EasyChair submission system ( If any problem arises when submitting your paper, please contact: 

Each paper will be reviewed by at least three members of the international program committee for ensuring high quality. Paper acceptance will be based on originality, significance, technical soundness, and clarity of presentation. All accepted papers will be included in the workshop proceedings published as part of the Lecture Notes in Computer Science (LNCS) series of Springer. At least one author of an accepted paper must register and participate in the workshop. Registration is subject to the terms, conditions and procedure of the main ICSOC conference to be found on their website: 

========= Workshop Organizers

Slim Kallel ReDCAD, University of Sfax, Tunisia
Ismael Bouassida Rodriguez; LAAS-CNRS and Université de Toulouse, France
Mohamed Jmaiel CRNS, Sfax, Tunisia

Concurrency mailing list
Concurrency <at>
Sebastian Gerwinn | 20 Jul 08:51 2016

FORMATS 2016 - Call for participation


FORMATS'16 -- Call for participation

14th international conference on
Formal Modeling and Analysis of Timed Systems

(joint with CONCUR'16 and QEST'16)

Québec City, Canada, 24-26 August


FORMATS'16 will take place in Québec City, Canada, from 24 to 26 August
2016. It is colocated with the conferences CONCUR'16 and QEST'16 (which
start on 23 August 2016), and with the workshops EXPRESS/SOS (22 August
2016) and TRENDS (27 August 2016).

Invited speakers, in collaboration with CONCUR and QEST:
Scott A. Smolka (State University of New York, Stony Brook)
Ufuk Topcu (University of Texas, Austin)
Oleg Sokolsky (University of Pennsylvania)

FORMATS'16 program:

You can register from the CONCUR website:

(Early-registration fees until 22 July)

Concurrency mailing list
Concurrency <at>
P.H.Welch | 22 Jul 19:28 2016

CPA 2016: Call for Participants

|                                                                  |
|        Communicating Process Architectures (CPA) 2016            |
|                                                                  |
|  The 38th. WoTUG Conference on Concurrent and Parallel Systems   |
|                                                                  |
|  Sunday (evening) 21nd. - Tuesday (afternoon) 23th. August 2016  |
|                                                                  |
| <>   |
|                                                                  |
|  Host institute: Niels Bohr Institute, University of Copenhagen  |
|                                                                  |

This is the first *Call for Participants* for CPA 2016.

CPA 2016 remains open for further proposals for workshops and fringe
presentations -- see:

CPA is concerned with concurrency at all scales.  It aims to bridge the
gap between the mathematical theory of concurrency and its practical
application to the design, implementation and validation of parallel
applications for embedded, multicore and distributed computing systems.
Further information on the themes for CPA can be found in the Call for
Papers (now closed):

Registration will open soon:

Cost will be 250 Euro (note that due to the volatility of the UK pound
we have changed currency to Euro this year)

The registration page also gives details of student bursaries, sponsored
by WoTUG.  Bursaries will provide a discount of between Euro 150 and
Euro 100, depending on demand, from the registration fee (Euro 250).
This fee covers:

 * attendance at all conference, workshop and fringe sessions;
 * coffee/tea breaks, lunches and evening meals, including
   the conference dinner;
 * one copy of the Proceedings.

Bed and breakfast accommodation is not organised by the conference,
but the website provides suggestions.

Thank you for reading this Call.  Please forward to colleagues who might
like to know about CPA 2016.  Please contact me directly if you need
any further information.

Brian Vinter (Professor, Head of HPC, UCPH, <vinter <at>>)
Concurrency mailing list
Concurrency <at>
Necmiye Ozay | 21 Jul 00:47 2016

2017 Hybrid Systems: Computation and Control (HSCC) -- First Call for Papers

20th International Conference on Hybrid Systems: Computation and Control
April 18-21, 2017,
Pittsburgh, Pennsylvania, USA

Important dates

Paper Submission deadline:  October 13, 2016 (firm, 11:59 pm UTC-12)
Rebuttal phase: TBA
Notifications: December 20, 2016
Demo/poster submission: TBA
Camera-ready: February 16, 2017
Conference dates: April 18-21, 2017

Conference Scope

HSCC 2017 is the 20th in a series of conferences on all aspects of hybrid systems. It is dedicated to advancing design and analysis techniques that bridge control theory and computer science, and is expanding to new domains in security and privacy and in systems biology. The conference covers the range from theoretical results to practical applications and experiences in cyber-physical systems (CPS), mixed signal circuits, robotics, infrastructure networks, and biological models. Topics of interest include, but are not limited to, the following subjects:

* Mathematical foundations, computability and complexity 
* Modeling paradigms and techniques
* Design, synthesis, planning, and control
* Analysis, verification, validation, and testing
* Programming and specification languages
* Network science and control over networks 
* Security and privacy in cyberphysical systems 
* Software tools
* Applications and case studies

HSCC 2017 will be part of the ninth Cyber Physical Systems Week (CPS Week), and co- located with the International Conference on Cyber-Physical Systems (ICCPS), Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), Conference on Internet-of-Things Design and Implementation (IOTDI), and related workshops.

Regular papers: Submissions should present unpublished original research, not under review elsewhere. Maximum 10 pages in 10pt, two-column ACM format. This year we will enforce a light double-blind reviewing process; the conference webpage will have more details. Paper submissions should be preceded by an abstract (date TBA). Authors of distinguished papers may be invited to submit an extended version of their work for possible publication in a Special issue of a leading journal.  A Best Student Paper Award will be presented to the author of the best paper written solely or primarily by a student.

Tool and case study papers: Tool Papers should describe an implemented tool and its novelty. Maximum 6 pages in the 10pt, two-column ACM format.

Demo/posters: Demo/poster descriptions are used for selecting contributions for demo/poster session, and will not be published in the proceedings. Maximum 2 pages, ACM format. Title should begin with “Demo (Poster):”. Descriptions should be submitted to the “Demonstrations and Posters” track at the submission website.

Submission website for papers:

Repeatability evaluation: Authors of accepted papers will be invited to participate in an optional repeatability evaluation process after the camera-ready submission. Papers that pass will receive the “artifact evaluated” badge and there will be a Best RE Award.

The official publication date may be up to two weeks before the conference.

Committees for HSCC 2017

Program Committee Chairs
Goran Frehse, Univ. Grenoble Alpes-Verimag, France 
Sayan Mitra, Univ. of Illinois at Urbana-Champaign, USA

Publicity Chair
Necmiye Ozay, Univ. of Michigan, USA

Program Committee

Steering Committee
Rajeev Alur, University of Pennsylvania, USA
Werner Damm, OFFIS, Germany
John Lygeros, ETH Zurich, Switzerland
Oded Maler, Verimag, France
Paulo Tabuada, UCLA, USA
Claire Tomlin, UC Berkeley, USA
Concurrency mailing list
Concurrency <at>
Jianguo Yao | 17 Jul 16:20 2016

ACM/IFIP/USENIX Middleware 2016: Colocated Workshops CfPs

ACM/IFIP/USENIX Middleware 2016: Colocated Workshops CfPs

Workshop Chairs: 

Aniruddha Gokhale, Vanderbilt University, USA

Guillaume Pierre, IRISA, Université de Rennes 1, France


The annual ACM/IFIP/USENIX MIDDLEWARE conference is a major forum for the discussion of innovations and recent advances in the design, construction and use of middleware systems.  The scope of the conference is the design, implementation, deployment, and evaluation of distributed system platforms and architectures for computing, storage, and communication environments. 

Middleware 2016 is hosting a series of exciting workshops as listed below.

Please refer to the websites of the workshops for more information. Please contact the workshop organisers for any questions about the specific workshop.

MECC: 1st Workshop on Middleware for Edge Clouds & Cloudlets

Organizers: Rolando Martins ( and  Hervé Paulino (

Submission deadline: August 27th 2016

MOTA: 1st International Workshop on Mashups of Things and APIs

Organizers: David Bermbach (, David Eyers (dme-JtFlkrn/ and Erik Wittern (witternj-r/

Submission deadline: September 4th 2016

ARM: 15th Workshop on Adaptive and Reflective Middleware

Organizers: Etienne Rivière ( and Ruediger Kapitza (

Submission deadline: August 26th 2016

M4IoT: 3rd Workshop on Middleware for Context-Aware Applications in the IoT

Organizers: Danny Hughes ( <at>, Chantal Taconet (chantal.taconet <at> telecom­, Sébastien Leriche ( and Thaís Vasconcelos Batista (thais-/

Submission deadline: September 9th 2016

SmartCities: 2nd International Workshop on Smart Cities: People, Technology and Data 

Organizers: Rodger Lea (rodgerl-1KtHxNhk3+Ww5LPnMra/, Takuro Yonezada (

Submission deadline: August 25th 2016

SysTEX: 1st Workshop on System Software for Trusted Execution

Organizers: Pascal Felber, Christof Fetzer, Rüdiger Kapitza, Peter Pietzuch (primary contact:

Submission deadline: August 26th 2016

Concurrency mailing list
Concurrency <at>
Eric Madelaine | 19 Jul 16:32 2016

[PhD project "Distributed BSP"] Huawei - Universite Nice Sophia-Antipolis

Dear colleagues,

We would welcome applicants for this 3-year PhD position based in Paris.

Apologies for multiple postings.

Thanks for your attention.

        Ludovic Henrio, Eric Madelaine, Gaétan Hains


Subject: Distributed BSP:Active Objects for BSPlib programs PhD proposal (under CIFRE contract)

Gaetan HAINS, Principal Engineer & Wijnand SUIJLEN,

Senior Engineer Huawei Technologies FRC 2012Labs/CSI/DPSL/DAL Team 20 Quai du Point du Jour, 92100 Boulogne-Billancourt, France.

Dr. Ludovic HENRIO Universite de la Cote d’Azur, CNRS 2000 route des Lucioles 06900 Sophia-Antipolis France.

Dr. Eric MADELAINE Universite de la Cote d’Azur, INRIA, CNRS 2004 route des Lucioles 06900 Sophia-Antipolis France.


Huawei is a leading global ICT solutions provider. Through our dedication to customer-centric innovation and strong partnerships,

we have established end-to-end capabilities and strengths across the carrier networks, enterprise, consumer, and cloud computing fields.

We are committed to creating maximum value for telecom carriers, enterprises and consumers by providing competitive ICT solutions

and services. Our products and solutions ranging from processors, servers to mobile phones have been deployed in over 170 countries,

serving more than one third of the world’s population. The Distributed Algorithms Laboratory develops algorithms and programming

tools to support massively parallel, real-time and big-data applications. Next-generation smartphones, embedded devices and cloud

computing platforms will be massively parallel, raising the value of predictable and reliable bulk-synchronous parallel (BSP)

programs to take advantage of such computing power.

SCALE is a joint team between CNRS, INRIA, and Univ. of Nice Sophia Antipolis; it builds funda­mental principles, techniques, and

tools allowing implementation, analysis, and veri.cation of reliable and efficient large-scale distributed systems. Its activities span from

formal methods to practical implementation of applications and middleware. SCALE expertise on distributed and asynchronous

languages and the design and implementation of synchronisation primitives will be crucial for the success of this PhD thesis. The

theoretical contribution from Scale will include semantics and study of concurrent programming languages, but also verification

techniques for such languages. The Scale team also has a strong expertise in the practical application of such fundamental results.

Project Bulk synchronous parallelism (BSP) [4, 5] offers an abstract and simple model of parallelism yet allowing to take realistically

into account the communication costs of parallel algorithms. It has been used in many application domains. BSPlib and its extensions

[3, 6] are programming libraries for the C language that support the BSP style. From another point of view actors and active ob­ject

languages feature interesting properties and programming abstractions, including the interaction between entities by request/reply

mechanisms, and some determinism guarantees making program­ming easy and efficient in a distributed environment [1].

Thanks to the properties of the model, a verification environment has been developed for active-object based systems [2]. The goal

of this PhD thesis is to bring some of the asynchronous features of actor programming into the BSP model to increase its efficiency

in a distributed setting while retaining most of the good properties of the BSP model.

The following objectives will be addressed:

• the design of a hybrid semantic model mixing active objects, BSP and retaining the deterministic and deadlock-freedom properties where applicable.

• the design of a generalized performance model for such programs

• its implementation in an extension of a BSP programming library for C or C++

• application to programming systems of multicore, multinode and cloud computing elements.

• use-cases in Huawei business areas: IT, telecom, smartphones, smart objects.

Work environment, contract

The work will primarily take place in Huawei FRC (French Research Center) located in Boulogne-Billancourt under local

supervision of G. Hains and W. Suijlen for Huawei and the academic super­vision of Dr E. Madelaine and Dr L. Henrio, I3S

for the Doctoral School. Huawei FRC provides a challenging scientific environment, cutting-edge parallel hardware and

software, digital library, travel funds, company restaurant and salary competitive with similar positions in French industry.

The suc­cessful candidate will receive a preliminary job offer in Sept. 2016, and the doctoral work will begin as soon as

possible thereafter. The 3-year CIFRE contract will be setup in the following semester conditioned on successful review

by ANRT and doctoral registration at the University. Student We are seeking a Master’s degree graduate in Computer

Science who is motivated by applied re­search in parallel programming. Theoretical and/or practical knowledge of the

following elements will be considered: parsing and static analysis of languages, parallel languages semantics, parallel

or distributed programming libraries and tools, parallel performance models, etc. Please contact us at the latest

Monday 29 August 2016 at the email addresses below. Include as many elements as possible from the following:

CV, motivation letter, undergraduate and graduate marks, list of the courses followed, name of two persons who

can recommend you and/or recommendation letters.


Gaetan Hains, Huawei Technologies,

Ludovic Henrio, UCA, I3S,


[1] Denis Caromel and Ludovic Henrio. A Theory of Distributed Objects. Springer-Verlag, 2004.

[2] Ludovic Henrio, Oleksandra Kulankhina, and Eric Madelaine. Integrated environment for verifying and running

distributed components. In Proc. International Conference on Fundamental Approaches to Software Engineering

(FASE 2016), LNCS. Springer, 2016. To appear.

[3] Jonathan M. D. Hill, Bill McColl, Dan C. Stefanescu, Mark W. Goudreau, Kevin Lang, Satish B. Rao, Torsten Suel,

Thanasis Tsantilas, and Rob Bisseling. BSPlib: The BSP Programming Library. Parallel Computing, 24:1947–1980, 1998.

[4] W. F. McColl. Scalability, portability and predictability: The BSP approach to parallel programming. Future

Generation Computer Systems, 12:265–272, 1996.

[5] Leslie G. Valiant. A bridging model for parallel computation. Commun. ACM, 33(8):103, 1990.

[6] A.N. Yzelman, R.H. Bisseling, D. Roose, and K. Meerbergen. MulticoreBSP for C: A High-Performance

Library for Shared-Memory Parallel Programming. Int J Par Prog, 2013.

Concurrency mailing list
Concurrency <at>
Constantin Enea | 21 Jul 17:20 2016

Phd/PostDoc positions in Formal Methods for Distributed Systems

Several phd and postdoc positions are available at University Paris Diderot, France, on a recently funded
ERC Starting Grant on Verification of Distributed Data Structures. 

** The project **

The future of the computing technology relies on fast access, transformation, and exchange of data across
large-scale networks such as the Internet. The design of software systems that support high-frequency
parallel accesses to high-quantity data is a fundamental challenge. As more scalable alternatives to
traditional relational databases, distributed data structures (DDSs) like Amazon Simple Storage
Service, Cassandra, Google AppEngine Datastore, MongoDB, etc. are at the basis of a wide range of
automated services, for now, and for the foreseeable future. The design and the usage of DDSs are based on
new principles, for which we currently lack rigorous engineering methodologies. Specifically, we lack
design procedures based on precise specifications, and automated reasoning techniques for enhancing
the reliability of the engineering process.

The project aims at developing automated formal methods for rigorous engineering of DDSs. The main
objectives are to develop (1) coherent formal specifications that provide precise requirements at
design time and explicit guarantees during their usage, (2) programming principles, compatible with
these specifications, for building applications on top of DDSs, and (3) efficient automated reasoning
techniques for debugging or validating DDSs implementations against their specifications.

** Candidates **

We seek candidates with a strong background in Computer Science with an interest in formal methods,
programming languages, and algorithms. Experience in distributed systems would be advantageous.
Applicants should have a strong theoretical background, but also some minimal experience with software
development. Candidates should provide evidence of relevant work, where possible, and must
demonstrate a desire to perform internationally-leading research.

** Application **

Interested candidates should send a short motivation letter, alongside other supporting documents like
the CV and the names of two reference persons, to Constantin Enea
(constantin.enea <at> Please feel free to ask more details about the
project, the salaries, and the research environment. 

** More Information **

The successful candidates will join the "Modeling and Verification" group at IRIF:

Concurrency mailing list
Concurrency <at>
Emanuela Merelli | 20 Jul 13:16 2016

6 PhD positions at Computer Science, University of Camerino

Computer Science
School of Science and Technology, University of Camerino
6 PhD scholarships

The call for admissions is now open for doctoral degree programs (32nd cycle) at the School of Advanced Studies (hereinafter SAS), for both citizens of the European Union and non-citizens, in the following areas of scientific research.

d) Science and Technology:

1) Mathematics;
2) Computer science;
3) Theoretical and experimental physics;
4) Physical and chemical processes in Earth systems.

All doctoral degree programs are subject to accreditation review by the Ministry of Education pursuant to Ministerial Decree 45/2013 and will be activated following approval. The scholarship awardees can enroll in the university only once approval has been made by the Ministry.

The programs will begin on or before the date of 30 November 2016 and will conclude on 31 October 2019, with the submission of an original doctoral dissertation in English. In addition to the preparation of the dissertation, all candidates are required to participate in a series of courses conducted in English as organized by the School of Advanced Studies. Candidates are also encouraged to participate in residency programs at other universities in Italy or abroad.

Scholarships may be awarded based on demonstrated academic merit and can be renewed for the three year period of the program after annual review. A minimum of thirty-two scholarships will be made available for the aforementioned programs.

Externally funded scholarships may also be awarded. They are funded through programs, projects and conventions with outside institutions which foresee research activities on specific topics that the awarde
s are bound to undertake. Each candidate can apply for two externally funded scholarships when applying for admission.


​Research Topics of the six CS scholarships are: ​
1) Business-driven demand side management in energy market
​ (joint FHNW Univ.)​

2) Business Information Systems
​ (joint FHNW Univ.)​

3) Advanced and formal techniques for development of smart, software-intensive and distributed systems
4) RNA as a complex system machinery
​ (joint Aix Marseilles Univ.)​

5) Design and implementation of energy efficient of Internet of Things applications
6) Design and implementation of collaborative platform

The details of this call for admission and
​of ​
the research topics available are on the web site (

Concurrency mailing list
Concurrency <at>
Alexander Romanovsky | 23 Jul 22:54 2016

CfP: Formal and MDD Techniques for Trustworthy Systems (Workshop at ICFEM 2016)

Workshop on Formal and Model-Driven Techniques for Developing 
Trustworthy Systems 

November 14, 2016 
As part of ICFEM 2016 (Tokyo, Japan)

Call for Papers

Model-Driven Development (MDD) and Formal Methods (FM) put the 
emphasis on the use of  models through the process of system development. 
Though MDD traditionally rely on graphical model representations, while 
FM uses mathematical notations, they pursue the same goal of ensuring 
dependability and robustness of the software intensive systems.

The workshop will look into how to enhance the use of MDD by the power 
of FM for assurance and dependability. We call for contributions that 
envision the integration of the two viewpoints or tackle challenges in 
the integration. The focus will be on discussing the interplay between 
the use of FM approaches and the MDD techniques.

The topics of interest include, but are not limited to:
- Formal methods in model-driven development
- Model-driven development for formal methods
- Quality assurance for models and model transformation
- Model transformation for formal models
- Model transformation and refinement
- Formal and model driven approaches to engineering safety-
    critical, fault-tolerant and secure systems
- Integrated analysis of functional and extra-functional 
    properties of trustworthy software-intensive systems
- Methods and tools integrating graphical and formal approaches
- Lightweight formal methods for dependability and security
- Formal and model-driven engineering of trustworthy 
    cyber-physical systems
- Domain-specific formal and model-driven approaches

All submissions must be original, unpublished, and cannot be 
simultaneously submitted for publication elsewhere. Papers of 
the following types are solicited:
- Research papers focusing on advanced and novel theories, 
    methodologies, or mechanisms
- Tool papers focusing on useful and practical tools, their 
    integration and interoperability
- Experience papers with a focus on deployment, evaluation 
    and lessons learned

The submission site:

Important Dates
Paper Submission: Sept 13, 2016
Acceptance Notification: Oct 16, 2016
Camera-Ready Submission: Nov 2, 2016
Workshop Date: Nov 14, 2016

Fuyuki Ishikawa, National Institute of Informatics, Japan
Alexander Romanovsky, Newcastle University, UK
Elena Troubitsyna, Åbo Akademi University, Finland

Programme Committee 
- Yamine Ait Ameur (IRIT / INPT-ENSEEIHT, France)
- Toshiaki Aoki (Japan Advanced Institute of Science and Technology, Japan)
- Michael Butler (University of Southampton, UK)
- Susanna Donatelli (Università degli Studi di Torino, Italy)
- Holger Giese (Hasso-Plattner-Institut, Germany)
- Jérémie Guiochet (LAAS, France)
- Wilhelm Hasselbring (Kiel University, Germany)
- Shin Nakajima (National Institute of Informatics, Japan)
- Richard Paige (University of York, UK)
- Patrizio Pelliccione (Chalmers University of Technology, Sweden)
- Arend Rinsink (University of Twente, The Netherlands)
- Stefano Russo (Università degli Studi di Napoli Federico II, Italy)
- Antonella Santone (Università degli Studi del Sannio, Italy)
- Cristina Seceleanu (Mälardalen University, Sweden)
- Dániel Varró (Budapest University of Technology and Economics, Hungary) 

More information about
ICFEM 2016:

Concurrency mailing list
Concurrency <at>
JAMES P. (366409 | 15 Jul 15:00 2016

Call For Participation: WADT 2016

Registration for WADT 2016 is now open. 

Early registration ends on:

     Monday, July 18, 2016. 

Note that we can offer a number of reduced rate places for
students / young researchers to attend WADT'16, who are not registered
as an author for a paper. These places are limited to early


When                        Sep 21, 2016 - Sep 24, 2016
Where                       Gregynog, UK
Submission Deadline   June  17, 2016 (extended)
Notification                July 3, 2016 (extended)
Final Version Due       July  15, 2016


The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born as
formal method for reasoning about abstract data types, it now covers
new specification frameworks and programming paradigms (such as
object-oriented, aspect-oriented, agent-oriented, logic and
higher-order functional programming) as well as a wide range of
application areas (including information systems, concurrent,
distributed and mobile systems). The workshop will provide an
opportunity to present recent and ongoing work, to meet colleagues,
and to discuss new ideas and future trends.


Typical, but not exclusive topics of interest are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process
  calculi and models of concurrent, distributed and mobile computing
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Model-driven development
- Graph transformations, term rewriting and proof systems
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification


- Alessio Lomuscio (London, UK)
- Till Mossakowski (Magdeburg, Germany)
- John Tucker (Swansea, UK)


The workshop will take place over four days, Wednesday to Saturday, at
Gregynog Hall in Wales, UK ( Participants
should arrive on Tuesday evening, the workshop will end on Saturday
with lunch.

Presentations will be selected on the basis of submitted abstracts.


Submission deadline for abstracts: June 17, 2016 (extended)
Notification of acceptance: July 3, 2016 (extended)
Early registration: July 3, 2016 (delayed)
Final abstract due: July 15, 2016
Workshop in Gregynog: September 21-24, 2016


The scientific programme of the workshop will include presentations of
recent results and ongoing research. The presentations will be
selected by the Steering Committee on the basis of submitted abstracts
according to originality, significance and general interest. The
abstracts must be up to two pages long including references. If a
longer version of the contribution is available, it can be made
accessible on the web and referenced in the abstract.

The abstracts have to be submitted electronically via the EasyChair


After the workshop, authors will be invited to submit full papers for
the refereed proceedings. All submissions will be reviewed; selection
will be based on originality, soundness and significance of the
presented ideas and results. The proceedings will be published as a
volume of Lecture Notes in Computer Science (Springer).


The workshop takes place under the auspices of IFIP WG 1.3.


Andrea Corradini (Italy)
Jose Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-Jorg Kreowski (Germany)
Till Mossakowski (Germany)
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Markus Roggenbach (UK) [chair]
Grigore Rosu (United States)
Andrzej Tarlecki (Poland)


Phillip James (UK)
Markus Roggenbach (UK)


Concurrency mailing list
Concurrency <at>
Laure Gonnord | 15 Jul 10:09 2016

[CFP] VMCAI'17 - Sun 15 - Tue 17 January 2017 Paris, France

[Apologies for multiple postings]     

*** VMCAI: Call for Papers*** 

18th International Conference on Verification, Model Checking, and
Abstract Interpretation (VMCAI 2017) January 15-17 2017, Paris, France

VMCAI provides a forum for researchers from the communities of
Verification, Model Checking, and Abstract Interpretation,
facilitating interaction, cross-fertilization, and advancement of
hybrid methods that combine these and related areas.

The program of VMCAI 2017 will consist of refereed research papers as
well as invited lectures and tutorials. Research contributions can
report new results as well as experimental evaluations and comparisons
of existing techniques. Topics include, but are not limited to:
*Program Verification
*Model Checking
*Abstract Interpretation
*Abstract Domains
*Program Synthesis
*Static Analysis
*Type Systems
*Deductive Methods
*Program Certification
*Error Diagnosis
*Program Transformation
*Hybrid and Cyber-physical Systems

Submissions can address any programming paradigm, including
concurrent, constraint, functional, imperative, logic, and
object-oriented programming.

Important Dates
Abstract submission Sept 18, 2016
Paper submission Sept 21, 2016
Author notification Nov 14, 2016
Final Version Nov 28 , 2016
VMCAI 2017 conference January 15-17 2017, Paris, France

Submissions are restricted to 17 pages in Springer's LNCS format, not
counting references. Additional material may be placed in an appendix,
to be read at the discretion of the reviewers and to be omitted in the
final version. Formatting style files and further guidelines for
formatting can be found at the Springer website.

Submissions must be uploaded via the paper submission site:

Accepted papers will be published in Springer's Lecture Notes in
Computer Science series.

Program Committee
Co-chairs, whom you can contact via vmcai2017 <at> Ahmed
Bouajjani and David Monniaux


Laure Gonnord - 
Associate Professor University of Lyon / LIP (ENS Lyon)
Co-Coordinator of the French Compilation Community :
Office :      Ens Lyon / LIP  <at>  Gerland (LUG), Office 274
Tel    :      +33 4 37 28 76 23
Web    :
Concurrency mailing list
Concurrency <at>