Matthias Weidlich | 27 Aug 22:46 2014

Call for Participation - WS-FM:FASOCC 2014 - Web Services and Formal Methods


Call for Participation


11th International Workshop on Web Services and Formal Methods:
Formal Aspects of Service-Oriented and Cloud Computing

11th - 12th September, 2014

NEW LOCATION: Eindhoven, The Netherlands


You are kindly invited to participate in the 11th International Workshop
on Web Services and Formal Methods: Formal Aspects of Service-Oriented
and Cloud Computing (WS-FM:FASOCC 2014). The aim of the WS-FM:FASOCC
workshop series is to bring together researchers working on SOC, cloud
computing, and formal methods in order to catalyse fruitful
collaboration. The scope of the workshop is not only limited to
technological aspects. In fact, the workshop series has a strong
tradition of attracting submissions on formal approaches to enterprise
systems modelling in general, and business process modelling in particular.

As in previous years, the workshop is co-located to the International
Conference on Business Process Management (BPM 2014). After it was
decided to relocate BPM 2014 from Haifa, Israel to Eindhoven, The
(Continue reading)

Wojciech Mostowski | 26 Aug 15:26 2014

AVoCS 2014: 2nd Call for Participation (early registration by September 1st)

(Apologies for multiple copies)


Call for Participation

14th Automated Verification of Critical Systems (AVoCS) 2014 Workshop

24-26th September, 2014

University of Twente, Netherlands


Deadlines Approaching

Early registration for AVoCS 2014 closes on 1st of September!

Call for Participation

The aim of Automated Verification of Critical Systems (AVoCS) 2014 is
to contribute to the interaction and exchange of ideas among members
of the international research community on tools and techniques for
the verification of critical systems. The subject is to be interpreted
broadly and inclusively. It covers all aspects of automated
verification, including model checking, theorem proving, SAT/SMT
constraint solving, abstract interpretation, and refinement pertaining
to various types of critical systems which need to meet stringent
(Continue reading)

Jiri Srba | 25 Aug 08:22 2014

Postdoctoral Researcher Position in Embedded Systems, Aalborg University, Denmark

Postdoctoral Researcher Position in Embedded Systems

at CISS Competence Center on Embedded Software Systems, Aalborg  University, Denmark.

The distributed and embedded systems group of prof. Kim G. Larsen  (Aalborg University, Denmark) 
is seeking qualified applicants for a postdoctoral researcher position connected to the EU project 
CASSTING  ( on Collective Adaptive Systems Synthesis with 
Non-Zero-Sum Games. The researcher will be involved in adapting abstract games and control 
strategies into an executable code on various platforms provided by the industrial partners of the 
CASSTING project. The principal investigators involved in the project are prof. Kim G. Larsen, 
assoc. prof. Arne Skou and assoc. prof. Jiri Srba. Researchers with the interest in applying formal 
methods into industrial case studies with a PhD in one of the following areas are welcome to apply.

* Formal methods, model checking, verification and control synthesis.

* Game theory, control theory, hybrid and real-time systems.

* Programming languages and program analysis for embedded software.

A successful applicant will get the possibility to work in a creative international environment 
and conduct a highly competitive research on a global scale. Within the research there are numerous 
opportunities to cooperate with highly recognized national and international partners.
There is also the possibility to gain valuable experience in the emerging field of energy optimisation 
of distributed embedded systems, in terms of new theoretical models and methods and in prototype systems.

The candidate must hold a PhD degree with a top performance and have a track record in conducting 
original competitive scientific research and publishing the results in reputable conferences and
journals. Maturity, self-motivation and the ability to work both independently and as a team player in
(Continue reading)

Francesco tiezzi | 29 Aug 10:01 2014

ACM SAC 2015: Track on Coordination Models, Languages and Applications - Final CfP

                  Coordination Models, Languages and Applications
        Special Track of the 30th ACM Symposium on Applied Computing (SAC'15)        
                                April 13 - 17, 2015
                                  Salamanca, Spain


Building on the success of the fifteenth previous editions (1998-2014), a special 
track on coordination models, languages and applications will be held at SAC 2015. 
Over the last decade, we have witnessed the emergence of models, formalisms and 
mechanisms to describe concurrent and distributed computations and systems based on 
the concept of coordination. The purpose of a coordination model is to enable the 
integration of a number of possibly heterogeneous components (processes, objects, 
agents, services) in such a way that the resulting ensemble can execute as a whole, 
forming a distributed software system with desired characteristics and functionalities. 
This is done in terms of coordination abstractions, languages, algorithms, mechanisms, 
and middleware specifically focused on the management of component interaction.

The coordination paradigm crosscuts a number of contemporary software engineering 
approaches and fields, which we aim to cross-fertilize and bring contribution to, 
including in particular: multi-agent systems, self-adaptative and self-organising 
systems, service-oriented architectures, component-based systems, and all related 
middleware platforms. 

The Special Track on Coordination Models, Languages and Applications takes a 
deliberately broad view of what constitutes coordination. Accordingly, major topics 
of interest this year will include:

   - Novel models, languages, formalisms, programming and implementation techniques
   - Coordination technologies, systems and infrastructures
   - Applications
   - Middleware platforms
   - Formal aspects (semantics, reasoning, verification)
   - Software architectures and software engineering techniques
   - Coordination of multi-agent systems, including mobile agents, intelligent agents, 
     and agent-based simulations
   - Internet, Web, and pervasive computing systems coordination
   - Languages for service description and composition
   - Models, frameworks and tools for Group Decision Making
   - All aspects related to Cooperative Information Systems (e.g. workflow management, 
   - Configuration and Architecture Description Languages
   - Self-organising, self-adaptive and nature-inspired coordination approaches
   - Relationship with other computational models such as object oriented, declarative 
     (functional, logic, constraint) programming or their extensions with coordination 
   - Coordination models and specification in Service-Oriented Architectures, Web Service 
     technologies (orchestration, choreography, etc.),Pervasive Computing and Autonomic 
   - Policy-based approaches to coordination and self-adaptation

We also welcome papers on practical systems or novel applications that are aimed at 
reaching coordination between components and services, especially if those systems and 
novel applications challenge existing ideas and models.

In previous editions, CM Special Track organisers have been inviting authors of selected 
papers for special issues in high impact journals, such as, ACM Transactions on Autonomous 
and Adaptive Systems (TAAS) and Science of Computer Programming (SCP).  

   Important Dates

     Sept 12, 2014: Paper submission 
     Nov 17, 2014: Author notification
     Dec 8, 2014: Camera-Ready Copy
     Dec 15 2014: Author Registration

   Program Co-Chairs

Mirko Viroli
    Alma Mater Studiorum - Universita' di Bologna

Jose Luis Fernandez-Marquez
    University of Geneva
Francesco Tiezzi    
    IMT Institute for Advanced Studies Lucca

   Program Committee Members

Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands
Jacob Beal, BBN Technologies, USA 
Ferruccio Damiani, University of Torino, Italy
Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium
Rocco De Nicola, Institute for Advanced Studies Lucca, Italy 
Simon Dobson, University of St Andrews, Scotland 
eva Kühn, Vienna University of Technology, Austria
Hung La, Rutgers University, USA 
Flemming Nielson, Technical University of Denmark
Michael O'Grady, University College Dublin, Ireland
Andrea Omicini, University of Bologna, Italy
Manuel Oriol, University of York, UK
António Porto, University of Porto, Portugal
Rosario Pugliese, University of Firenze, Italy
Alessandro Ricci, University of Bologna, Italy
Juan Antonio Rodriguez Aguilar, IIIA-CSIC, Spain
Michael Ignaz Schumacher, University of Applied Sciences, Switzerland
Marjan Sirjani, Reykjavik University, Iceland
Yasuyuki Tahara, National Institute of Informatics, Japan
Robert Tolksdorf, Freie Universitaet Berlin, Germany
Giuseppe Valetto, Drexel University, USA 
Eiko Yoneki, University of Cambridge Computer Laboratory, UK
Nobuko Yoshida, Imperial College London, UK
George Wells, Rhodes University, South Africa
Danny Weyns, Linnaeus University, Sweden
Pawel T. Wojciechowski, Poznan University of Technology, Poland


Papers accepted for the Special Track on Coordination Models, Languages and 
Applications will be published by ACM both in the SAC 2015 proceedings and in 
the Digital Library.

   Paper submission and format

All papers should represent original and previously unpublished works that 
currently are not under review in any conference or journal.

The author(s) name(s) and address(es) must NOT appear in the body of the paper,
and self-reference should be in the third person. This is to facilitate blind 
review. Only the title should be shown at the first page without the author's 

Submitted papers must be no longer than 6 pages and in the ACM two-column page
format (doc template, pdf template, latex template). It will be possible to have 
up to 2 extra pages in the proceeding at a charge of $80 per page (total 8 pages 

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.

Submission is entirely automated via the STAR Submission System, which is available 
from the main SAC Web Site:

   Poster Sessions

Papers that received high reviews (that is acceptable by reviewer standards) but 
were not accepted due to space limitation can be invited for the poster session. 
Poster should be not longer than 2 pages plus 1 extra page at $80. The poster 
session procedures and details will be posted on SAC 2015 website as soon as they 
become available.

   Student research abstracts competition

Graduate students are invited to submit research abstracts (minimum of 2-page and 
maximum of 4-page) following the instructions published at SAC 2015 website. 
Submission of the same abstract to multiple tracks is not allowed.
Concurrency mailing list
Slim Kallel | 22 Aug 00:26 2014

CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable software systems and architectures

Call for papers

Journal of Systems and Software (JSS, Elsevier)
Impact Factor: 1.245 (5-Year Impact Factor: 1.443)

Special issue on Adaptive and reconfigurable software systems and architectures

The focal concerns are Service-oriented and component-based software systems, applications and architectures addressing adaptation and reconfiguration issues. Different investigation topics are involved, such as: CBSE, SOA, Functional and Non Functional (NF) requirements (QoS, performance, resilience), monitoring, diagnosis, decision and execution of adaptation and reconfiguration. Different research axes are covered: concepts, methods, techniques, and tools to design, develop, deploy and manage adaptive and reconfigurable software systems.

The development of composite services poses very interesting challenges concerning their functional and NF requirements. On the one hand, a composite software system depends on the NF requirements of its constituting components in order to provide a satisfactory service to the user. On the other hand, the main issues for the fulfilment of QoS and service level agreements (SLA) are concerned with performance variability. Indeed, the QoS may evolve frequently, either because of internal changes or because of workload fluctuations. The performance and the robustness of the composite software system may be significantly improved by monitoring the execution of the components and by flexibly reacting to degradation and anomalies in a timely fashion.

The concept of adaptive and reconfigurable software systems has been introduced in order to describe architectures, which exhibit such properties. An adaptive and reconfigurable software system 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.

======= TOPICS ======= 

The special issue only solicits and accepts papers whose major contributions are within the domain of software engineering. Authors should refer to the highlighted scope of the JSS on the journal homepage for the precise scope of the JSS

Contributions are devoted to functional and non-functional adaptability and reconfiguration management in service-oriented and component-based software systems. Specifically, the relevant topics include, but are not limited to:

Distributed and centralized collaborative solutions for the diagnosis and repair of software systems
Design for the diagnosability and repairability
Collaborative Management of NF requirements (quality, security, robustness, availability)
Monitoring simple and composite architectures, components and services
Semantic (or analytic) architectural and behavioral models for monitoring, planning and deployment of software systems
Dynamic reconfiguration of CB and SO software systems architectures
Software architecture design and validation for complex systems
Scalability management in software systems architectures
Collaborative planning and decision-making
Collaborative technologies for ensuring autonomic properties
Predictive management of adaptability.
Collaborative Management of autonomic properties
Experiences in practical adaptive and reconfigurable CB and SO applications
Tools and prototypes for managing adaptability of CB and SO applications

======= PAPER SUBMISSION ======= 

Submission deadline: October 15, 2014

All submissions have to be prepared according to the Guide for Authors as published in the journal website at

Authors should select “SI:AROSA”, from the “Choose Article Type” pull-down menu during the submission process. All contributions must not have been previously published or be under consideration for publication elsewhere.

A submission extended from a previous conference version has to contain at least 30% new material. Authors are requested to attach to the submitted paper their relevant, previously published articles and a summary document explaining the enhancements made in the journal version.

=======  Guest Editors ======= 

Khalil Drira( LAAS-CNRS, University of Toulouse, France)
Slim Kallel (FSEGS, University of Sfax, Tunisia)
Ismael Bouassida Rodriguez(LAAS-CNRS, University of Toulouse, France)

Concurrency mailing list
Sandra Sendra | 17 Aug 17:27 2014

CFP: IEEE CCAN 2015 - IEEE International Workshop on Cloud-assisted Context-Aware and Cognitive Networks. Jan 9 -12, 2015. Las Vegas, Nevada USA

[Apologies, if multiple copies of this CFP are received]

Call for Papers


IEEE International Workshop on Cloud-assisted Context-Aware and Cognitive Networks 2015 (IEEE
CCAN-2015) in conjunction with IEEE CCNC 2015 
January 9 – 12, 2015, Las Vegas, Nevada USA


Important Dates
 - Paper submission deadline: September 10, 2014
 - Paper acceptance notification: October 4, 2014
 - Camera ready: November 1, 2014
 - Author Registration: November 1, 2014

Future generation wireless systems will require a paradigm shift in how they are networked, organized,
configured, optimized, and recovered automatically based on their operating situation. With the
emergence of software defined networks, context awareness and dynamic adaptive services and
application are gaining much attention since they allow automatic configuration of devices and their
parameters, systems, services, and applications to user's context change. In addition, context
awareness, with the help of software defined and cognitive systems, allows customization of operating
parameters of devices, users, applications, and networks based on the current context. Such systems are
playing an increasingly prevalent and important role in this electronic era such as healthcare, manufacturi
 ng, civil infrastructure, aerospace, entertainment, transportation and many automated physical
systems. Cloud has infinite resources for computing for context-aware cognitive networks.  Clo!
 ud-assisted will not only enhance p
erformance of context-aware cognitive networks itself but also process, analyze and manage big data
The IEEE CCAN-2015 will serve as a forum for researchers from academia, government and industries to
exchange ideas, present new results and provide future visions on these topics. Original technical
papers on the advances in Cloud-assisted Context-Aware and Cognitive Networks  as well as those that
describe practical deployment and implementation experiences are solicited for presentation and

Topics of interest include but not limited to:

 - Cognitive network protocols, algorithms, architecture
 - Reliability, efficiency and routing issues of context-aware systems
 - Cognitive and context-aware computing 
 - Formal methods of context-awareness and cognitive networks
 - Context-aware communications, routing, and networking  
 - Network economics and game-theoretic approaches for context-aware systems 
 - Context-aware information retrieval 
 - Machine learning for cognitive networks 
 - Context-aware and cognitive services  and advertising 
 - Smart protocols and algorithms  
 - Context-awareness in portable devices and mobile users 
 - Context-awareness in cyber-physical systems 
 - Context aware and cognitive vehicular and transportation systems 
 - Context-aware and cognitive green communications and networking
 - Context-aware and cognitive network security approaches
 - Context-awareness in the Internet of Things
 - Context-aware cloud computing, storage and networking
 - Context-aware and cognitive networks for cyber physical systems
 - Context-awareness in wireless/wired networks
 - Context-awareness in multimedia content distribution
 - Context-aware communications services and applications
 - Context-aware social networks 
 - Standardization and regulations for context-aware cognitive networking 
 - Biologically-inspired cognitive and context-aware networking

Submission Instructions

The authors are advised to submit their research paper following  the IEEE conference paper format: two
columns, single-spaced, including figures and references, using 10 fonts, and number each page. Paper
page limit  should not exceed 6 pages. Instructions for authors how to format the manuscript can be found

Papers will be carefully evaluated based on originality, significance, technical soundness, and
clarity of exposition. The papers, in pdf format, should be submitted electronically through If there is any problem during submission,
please contact the workshop general chairs or db.rawat(at)

All accepted papers will be published in Proceeding of IEEE CCNC (and submitted to IEEEXplore).

Organizing Committee
General Chairs

 - Ivan Stojmenovic, University of Ottawa, Canada
 - Jaime Lloret Mauri, Polytechnic University of Valencia, Spain
 - Bhed Bahadur Bista,  Iwate Prefectural University, Japan 

Program Chair:

 - Danda B. Rawat, Georgia Southern University, USA
 - Joel Rodrigues, Instituto de Telecomunicações, University of Beira Interior, Portugal

Publicity Chair

 - Sandra Sendra, Polytechnic University of Valencia, Spain
Concurrency mailing list
Peter Csaba Ölveczky | 21 Aug 11:33 2014

2nd CfP: 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014)

                       Call for Papers

                          FTSCS 2014

3rd International Workshop on Formal Techniques for Safety-Critical Systems

                Luxembourg, November 6-7, 2014
              (satellite workshop of ICFEM 2014)



*** Submission deadline: September 6 ***
*** Science of Computer Programming special issue ***
*** Springer CCIS proceedings ***

Aims and Scope:

There is an increasing demand in industry to use formal methods to
achieve software-independent verification and validation of
safety-critical systems, e.g., in fields such as avionics, automotive,
medical, and other cyber-physical systems. Newer standards, such as
DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for
formal methods and model-based development, 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. In
particular, 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, 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 2014.
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 6, 2014
Notification of acceptance: October 3, 2014
Workshop: November 6/7, 2014



Program chairs:

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

Program committee:

Erika Abraham        RWTH Aachen University, Germany
Musab AlTurki        King Fahd Univ. of Petroleum and Minerals, Saudi Arabia
Toshiaki Aoki        JAIST, Japan
Farhad Arbab         Leiden University and CWI, The Netherlands
Cyrille Artho        AIST, Japan
Kyungmin Bae         University of Illinois at Urbana-Champaign, USA
Saddek Bensalem      Verimag, France
Armin Biere          Johannes Kepler University, Austria
Ansgar Fehnker       University of the South Pacific, Fiji
Mamoun Filali        IRIT, France
Bernd Fischer        Stellenbosch University, South Africa
Klaus Havelund       NASA JPL, USA
Marieke Huisman      University of Twente, The Netherlands
Ralf Huuck           NICTA, Australia
Fuyuki Ishikawa      National Institute of Informatics, Japan
Takashi Kitamura     AIST, Japan
Alexander Knapp      Augsburg University, Germany
Yang Liu             Nanyang Technological University, Singapore
Frederic Mallet      INRIA Sophia Antipolis, France
Robi Malik           University of Waikato, New Zealand
Cesar Munoz          NASA Langley, USA
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
Ralf Sasse           ETH Zurich, Switzerland
Oleg Sokolsky        University of Pennsylvania, USA
Sofiene Tahar        Concordia University, Canada
Carolyn Talcott      SRI International, USA
Tatsuhiro Tsuchiya   Osaka University, Japan
Jackie Wang          McMaster University, Canada
Michael Whalen       University of Minnesota, USA
Huibiao Zhu          East China Normal University, China


(email)  peterol@...  and  c.artho@...

Concurrency mailing list

Gwen.Salaun | 21 Aug 12:58 2014

ACM SAC 2015: Software Verification and Testing Track - Final CfP

30th Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 13 - 17, 2015, Salamanca, Spain

More information: and

Important dates
* September 12, 2014: Submission of regular papers
* November 17, 2014: Notification of paper acceptance/rejection
* December 8, 2013: Camera-ready copies of accepted papers

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

SAC 2015 is sponsored by SIGAPP and will be held at the UNESCO world
heritage city of Salamanca in Spain.

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 2015 proceedings.

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.

A special issue of Science of Computer Programming has been
confirmed. Selected papers will be invited for submission, and will be
peer-reviewed according to the standard policy of Science of Computer

Student Research Competition
As before, SAC 2015 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 
Laura Brandan Briones, National University of Cordoba, Argentina
Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina
Marco Faella, University of Naples, Italy
Ylies Falcone, University of Grenoble Alpes, France
Tingting Han, University of London, UK
Fabrice Kordon, University Pierre et Marie Curie, France
Stefan Leue, University of Konstanz, Germany
Shaoying Liu, Hosei University, Japan
Malte Lochau, Darmstadt University, Germany
Annabelle McIver, Macquarie University, Australia
Mercedes Merayo, Universidad Complutense de Madrid, Spain
Dominique Mery, University of Lorraine, France
Mohammad Mousavi, Halmstad University, Sweden
Brian Nielsen, Aalborg University, Denmark
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Wishnu Prasetya, Utrecht University, The Netherlands
Marjan Sirjani, Reykjavik University, Iceland
Hasan Sözer, Özyegin University, Turkey
Tanja Vos, Valencia University, Spain
Anton Wijs, Eindhoven University of Technology, The Netherlands
Liu Yang, Nanyang Technological University, Singapore
Gianluigi Zavattaro, University of Bologna, Italy
Lijun Zhang, Chinese Academy of Sciences, China

Program Committee Chairs
Gwen Salaün, University of Grenoble Alpes, France
Marielle Stoelinga, University of Twente, Netherlands

Concurrency mailing list
Gwen.Salaun | 18 Aug 17:40 2014

Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France

The Convecs team (Inria Grenoble Rhône-Alpes research center / LIG
laboratory) recruits a postdoc. More information at:

Applications should be addressed directly to Gwen Salaün, preferably
by e-mail. Applications received after October 10th, 2014 might not be
considered if a candidate has been selected already. 
Concurrency mailing list
GRLMC - URV | 22 Aug 21:34 2014

LATA 2015: 2nd call for papers

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*



LATA 2015

Nice, France

March 2-6, 2015

Organized by:
CNRS, I3S, UMR 7271
Nice Sophia Antipolis University

Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University



LATA is a conference series on theoretical computer science and its applications. Following the
tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in
Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of
their career. It will aim at attracting contributions from classical theory fields as well as
application areas.


LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will
be the University Castle at Parc Valrose.


Topics of either theoretical or applied interest include, but are not limited to:

algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata networks
automata, concurrency and Petri nets
automatic structures
cellular automata
combinatorics on words
computational complexity
data and image compression
descriptional complexity
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
parallel and regulated rewriting
power series
string and combinatorial issues in bioinformatics
string processing algorithms
symbolic dynamics
term rewriting
trees, tree languages and tree automata
unconventional models of computation
weighted automata


LATA 2015 will consist of:

invited talks
invited tutorials
peer-reviewed contributions


Paola Inverardi (L’Aquila), Synthesis of Protocol Adapters
Johann A. Makowsky (Technion, Haifa), Hankel Matrices for Graph Parameters and Graph Grammars
Giancarlo Mauri (Milano Bicocca), tba
Andreas Podelski (Freiburg), Automated Program Verification
Antonio Restivo (Palermo), The Shuffle Product: New Research Directions


Andrew Adamatzky (West of England, Bristol, UK)
Andris Ambainis (Latvia, Riga, LV)
Franz Baader (Dresden Tech, DE)
Rajesh Bhatt (Massachusetts, Amherst, US)
José-Manuel Colom (Zaragoza, ES)
Bruno Courcelle (Bordeaux, FR)
Erzsébet Csuhaj-Varjú (Eötvös Loránd, Budapest, HU)
Aldo de Luca (Naples Federico II, IT)
Susanna Donatelli (Turin, IT)
Paola Flocchini (Ottawa, CA)
Enrico Formenti (Nice, FR)
Tero Harju (Turku, FI)
Monika Heiner (Brandenburg Tech, Cottbus, DE)
Yiguang Hong (Chinese Academy, Beijing, CN)
Kazuo Iwama (Kyoto, JP)
Sanjay Jain (National Singapore, SG)
Maciej Koutny (Newcastle, UK)
Antonín Kučera (Masaryk, Brno, CZ)
Thierry Lecroq (Rouen, FR)
Salvador Lucas (Valencia Tech, ES)
Veli Mäkinen (Helsinki, FI)
Carlos Martín-Vide (Rovira i Virgili, Tarragona, ES, chair)
Filippo Mignosi (L’Aquila, IT)
Victor Mitrana (Madrid Tech, ES)
Ilan Newman (Haifa, IL)
Joachim Niehren (INRIA, Lille, FR)
Enno Ohlebusch (Ulm, DE)
Arlindo Oliveira (Lisbon, PT)
Joël Ouaknine (Oxford, UK)
Wojciech Penczek (Polish Academy, Warsaw, PL)
Dominique Perrin (ESIEE, Paris, FR)
Alberto Policriti (Udine, IT)
Sanguthevar Rajasekaran (Connecticut, Storrs, US)
Jörg Rothe (Düsseldorf, DE)
Frank Ruskey (Victoria, CA)
Helmut Seidl (Munich Tech, DE)
Ayumi Shinohara (Tohoku, Sendai, JP)
Bernhard Steffen (Dortmund, DE)
Frank Stephan (National Singapore, SG)
Paul Tarau (North Texas, Denton, US)
Andrzej Tarlecki (Warsaw, PL)
Jacobo Torán (Ulm, DE)
Frits Vaandrager (Nijmegen, NL)
Jaco van de Pol (Twente, Enschede, NL)
Pierre Wolper (Liège, BE)
Zhilin Wu (Chinese Academy, Beijing, CN)
Slawomir Zadrozny (Polish Academy, Warsaw, PL)
Hans Zantema (Eindhoven Tech, NL)


Sébastien Autran (Nice)
Adrian Horia Dediu (Tarragona)
Enrico Formenti (Nice, co-chair)
Sandrine Julia (Nice)
Carlos Martín-Vide (Tarragona, co-chair)
Christophe Papazian (Nice)
Julien Provillard (Nice)
Pierre-Alain Scribot (Nice)
Bianca Truthe (Giessen)
Florentina Lilica Voicu (Tarragona)


Authors are invited to submit non-anonymized papers in English presenting original and unpublished
research. Papers should not exceed 12 single-spaced pages (including eventual appendices,
references, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS
series (see

Submissions have to be uploaded to:


A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of the Journal of Computer and System Sciences (Elsevier, 2013 JCR impact factor: 1.0) will
be later published containing peer-reviewed substantially extended versions of some of the papers
contributed to the conference. Submissions to it will be by invitation.


The period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at:


Paper submission: October 10, 2014 (23:59 CET)
Notification of paper acceptance or rejection: November 18, 2014
Early registration: November 25, 2014
Final version of the paper for the LNCS proceedings: November 26, 2014
Late registration: February 16, 2015
Submission to the journal special issue: June 6, 2015


florentinalilica.voicu <at>


LATA 2015
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386


Nice Sophia Antipolis University
Rovira i Virgili University

Concurrency mailing list
Concurrency <at>
Marjan Sirjani | 19 Aug 20:09 2014

Second Call for Papers: FSEN 2015

Our apologies if you have received multiple copies.
Sixth International Conference on
Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15)
Tehran, Iran
22 - 24 April, 2015
-- About FSEN --
FSEN is an international conference that aims to bring together researchers, engineers, developers,
and practitioners from the academia and the industry to present and discuss their research work in
the area of formal methods for software engineering. This conference seeks to facilitate the transfer
of experience, adaptation of methods, and where possible, foster collaboration among different groups.
The topics of interest cover all aspects of formal methods, especially those related to advancing
the application of formal methods in the software industry and promoting their integration with
practical engineering techniques.
-- Important Dates --
Abstract Submission: October 24, 2014
Paper Submission: October 31, 2014
Notification: December 26, 2014
Camera Ready: January 16, 2015
Conference: April 22-24, 2015
-- Keynote Speakers --
 Holger Giese, Hasso Plattner Institute, Germany
 John Hughes, Chalmers University of Technology, Sweden
 Paola Inverardi, University of L'Aquila, Italy
-- Topics of Interest --
The topics of this conference include, but are not restricted to, the following:
* Models of programs and software systems
* Software specification, validation, and verification
* Software testing
* Software architectures and their description languages
* Object and multi-agent systems
* Coordination and feature interaction
* Integration of formal and informal methods
* Integration of different formal methods
* Component-based and Service-oriented software systems
* Self-adaptive software systems
* Model checking and theorem proving
* Software and hardware verification
* CASE tools and tool integration
* Industrial Applications
-- Paper Submission --
Papers should be formatted according to the Springer LNCS style,
not exceed 15 pages (including figures and references), submitted in PDF or postscript format,
and not be submitted simultaneously for publication elsewhere.
Papers will be evaluated based on originality, significance, relevance, correctness and clarity.
-- Proceedings and Special Issues --
The post-proceedings of FSEN'15 will be published by Springer Verlag in the LNCS series
(official approval in process). There will also be a pre-proceeding, printed locally by IPM,
available at the conference. Following the tradition of the past editions,
we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'15 (to be confirmed).
-- General Chair --
 Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
 Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
-- Program Chairs --
 Mehdi Dastani - Utrecht University, The Netherlands
 Marjan Sirjani - Reykjavík University, Iceland; University of Tehran, Iran
-- Publicity Chair --
 Hossein Hojjat - Cornell University, USA
-- Steering Committee --
 Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
 Christel Baier - University of Dresden, Germany
 Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
 Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran
 Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
 Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, Iran (chair)
 Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands
-- Program Committee --
 Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran
 Christel Baier - TU Dresden, Germany
 Ezio Bartocci, Vienna University of Technology, Austria
 Borzoo Bonakdarpour - University of Waterloo, Canada
 Marcello Bonsangue - Leiden University, Netherlands
 Mario Bravetti - University of Bologna, Italy
 Fabiano Dalpiaz - Utrecht University, Netherlands
 Mehdi Dastani - Utrecht University, Netherlands
 Erik De Vink - Technical University of Eindhoven, Netherlands
 Klaus Dräger - University of Oxford, UK
 Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands
 Masahiro Fujita - University of Tokyo, Japan
 Maurizio Gabbrielli - University of Bologna, Italy
 Fatemeh Ghassemi - University of Tehran, Iran
 Jan Friso Groote - Technical University of Eindhoven, Netherlands
 Hassan Haghighi - Shahid Beheshti University, Iran
 Hossein Hojjat - Cornell University, USA
 Mohammad Izadi - Sharif University of Technology, Iran
 Mohammad Mahdi Jaghoori - CWI, Netherlands; Academic Medical Center of University of Amsterdam, Netherlands
 Einar Broch Johnsen - University of Oslo, Norway
 Joost-Pieter Katoen - RWTH Aachen University, Germany
 Narges Khakpour - KTH, Sweden
 Ramtin Khosravi - University of Tehran, Iran
 Zhiming Liu - Birmingham City University, UK
 Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran
 Ugo Montanari - University of Pisa, Italy
 Peter Mosses - Swansea University, UK
 Mohammad Reza Mousavi - Halmstad University, Sweden
 Ali Movaghar - Sharif University of Technology, Iran
 Peter Olveczky - University of Oslo, Norway
 Jose Proenca - K.U.Leuven, Belgium
 Niloofar Razavi - University of Toronto, Canada
 Philipp Ruemmer - Uppsala University, Sweden
 Gwen Salaun - Grenoble INP, Inria, France
 Cesar Sanchez - IMDEA Software Institute, Spain
 Wendelin Serwe - INRIA, France
 Marjan Sirjani - Reykjavik University, Iceland
 Meng Sun - Peking University, China
 Carolyn Talcott - SRI International, USA
 Samira Tasharofi - Microsoft, USA
 Tayssir Touili - LIAFA, France
 Danny Weyns - Linnaeus University, Sweden
Concurrency mailing list