FOCLASA 2014 | 22 Jul 19:44 2014

FOCLASA 2014 - Call for Participation - *Program available*

FOCLASA 2014: The 13th International Workshop on
Foundations of Coordination Languages and Self-Adaptive Systems

Call for Participation

Early registration by July 27 2014

September 6, 2014, Rome (Italy)
In conjunction with CONCUR 2014 --

FOCLASA 2014 is a workshop colocated with the 25th International
Conference on Concurrency Theory (CONCUR 2014). The goal of the FOCLASA
workshop is to put together researchers and practitioners to share and
identify common problems, and to devise general solutions in the context
of coordination languages and self-adaptive systems.

- Invited talks

* Introduction to Reo.
Farhad Arbab, CWI, The Netherlands

* Progress report and results of the SeaClouds project.
Antonio Brogi, University of Pisa, Italy

* Analysis and Synthesis for Self-Adaptation via Model Checking of 
(Continue reading)

Markus Roggenbach | 20 Jul 17:05 2014

Model-based design and analysis of cyber-physical systems - SPES_XT Summer School at AVoCS'14

           +++ still some places left +++


   Model-based design and analysis of cyber-physical systems 
          SPES_XT Summer School at AVoCS'14 
                Twente, The Netherlands 
                   Sept. 17-23, 2014 

           +++ still some places left +++

Today's challenges in the development of embedded and cyber-physical 
systems are mainly caused by the ever-increasing complexity of the 
software. Model-based design and analysis has a high potential to 
overcome these challenges. SPES_XT (Software Platform Embedded 
Systems) is a large German endeavour to build a consistent, coherent 
model-based design methodology for complex embedded and cyber-physical 
systems. The aim of AVoCS (International Workshop on Automated 
Verification of Critical Systems) is to further research on tools and 
techniques for the verification of critical systems. The SPES_XT 
Summer School at AVoCS'14 will present results and experiences from 
the SPES_XT project, as well as research approaches established at 
AVoCS. It will provide a concise introduction to the state-of-the-art, 
as well as new approaches and research questions. Attendants will gain 
an intimate understanding of a consistent system development process 
for complex embedded and cyber-physical systems over different 
application domains (e.g. automation, automotive, avionic, rail). 

The school addresses young researchers as well as young professionals 
(Continue reading)

Huibiao Zhu | 21 Jul 21:36 2014





TASE 2014: 8th Theoretical Aspects of Software Engineering Symposium


1-3 September 2014, Changsha, China






Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2014 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. TASE 2014 is the 8th in the TASE series. The past TASE symposiums were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13). The proceedings of the TASE 2014 symposium will be published by the IEEE Computer Society Press.





TASE 2014 will be held at Yannian Century Hotel, Changsha, China. Changsha is the capital and largest city of Hunan province in south-central China, located on the lower reaches of the Xiang River, a branch of the Yangtze River. Read more about Changsha at:





Registration fees and deadlines are detailed below.  

 Type       Deadline               Fees

 Early     By July 10         RMB 4000(USD 650)

 Late     After July 10       RMB 4600(USD 750)

Student   Anytime       RMB 3000(USD 500)


The details of registration can be found at:






Jifeng He (East China Normal University, China)



Ji Wang (National University of Defense Technology, China)

Martin Leucker (University of Lubeck, Germany)



Keijiro Araki (Kyushu University, Japan)

Shengchao Qin (Teesside University, UK)

Jifeng He (East China Normal University, China)

Huibiao Zhu (East China Normal University, China)

Michael Hinchey (Lero, Ireland)


Wei Dong (National University of Defense Technology, China)





- Klaus Havelund (NASA JPL, USA)

Data Automata in Scala

- Axel Legay (INRIA, France)

 PLASMA-lab: a Flexible, Distributable Statistical Model Checking Library

- Kwangkeun Yi (Seoul National University, Korea)

 Sound, Precise, and Scalable Static Analysis





More information about TASE 2014 is available from the symposium web site:


Concurrency mailing list
Giorgio Delzanno | 23 Jul 19:22 2014

PV <at> CONCUR 2014: Second call for participation


                                                             PV <at> CONCUR 2014
                                       First Workshop on Parameterized Verification
                      September 6, 2014, Rome, Italy

                                                        Second Call for Participation
                                                     Early registration deadline: July 27

Parameterized Verification (PV) is the task of verifying the correctness of systems 
composed of a finite but arbitrary number of identical components.  
The workshop is aimed at bringing together researchers working on PV in areas 
like Concurrent Software, Protocols, Distributed Algorithms, and Hardware Design.

The home page of the workshop is available at the URL:
The preliminary program is available at the URL:
The early registration deadline is July 27.
Details are available at the URL:

See you in Rome!
Concurrency mailing list
Einar Broch Johnsen | 21 Jul 18:10 2014

CFP FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo

--------------------------=== FM 2015 ===----------------------------

      20th International Symposium on Formal Methods

                    Oslo, Norway, June 22-26, 2015


                                 Call for Papers



Jan 2      Abstract submission deadline
Jan 9      Full paper submission deadline
March 23   Notification
June 22-26 Conference



FM 2015 is the twentieth in a series of symposia organized by Formal 
Methods Europe, an independent association whose aim is to stimulate 
the use of, and research on, formal methods for software development. 
The symposia have been notably successful in bringing together innovators 
and practitioners in precise mathematical methods for software and systems 
development, industrial users, as well as researchers. The FM symposia 
welcome original papers on research and industrial experience, 
proposals for workshops and tutorials, entries for the exhibition of 
software tools and projects, and reports on ongoing doctoral work. 


FM 2015 will have the goal of highlighting the development and application 
of formal methods. This includes uses of formal methods in a variety 
of disciplines such as medicine, biology, human cognitive modeling, 
human automation interactions and aeronautics, among others. FM 2015 
particularly welcomes papers on techniques, tools and experiences 
in interdisciplinary frameworks, as well as on experience with practical 
applications of formal methods in industrial and research settings, 
empirical and experimental validation of tools and methods as well as 
construction and evolution of formal methods tools. The broad topics 
of interest for FM 2015 include but are not limited to: 

Interdisciplinary formal methods: techniques, tools and 
experiences demonstrating formal methods in interdisciplinary 

Formal methods in practice: industrial applications of formal
methods, experience with introducing formal methods in industry,
tool usage reports, experiments with challenge problems. 
Authors are encouraged to explain how the use of formal methods has
overcome problems, lead to improvements in design or provided 
new insights.

Tools for formal methods: advances in automated verification and
model-checking, integration of tools, environments for formal
methods, experimental validation of tools. Authors are encouraged
to demonstrate empirically that the new tool or environment
advances the state of the art.

Role of formal methods in software and systems engineering:
development processes with formal methods, usage guidelines for
formal methods, method integration. Authors are encouraged 
to evaluate process innovations with respect to qualitative or 
quantitative improvements. Empirical studies and evaluations 
are also solicited.

Theoretical foundations: all aspects of theory related to
specification, verification, refinement, and static and dynamic
analysis. Authors are encouraged to explain how their results
contribute to the solution of practical problems with methods or


Elvira Albert, Complutense University of Madrid, Spain
Werner Damm, Carl von Ossietzky Universitaet Oldenburg, DE
Valerie Issarny, INRIA, France
Leslie Lamport, Microsoft Research, US


Papers will be evaluated by at least three members of the Programme
Committee. They should be in Springer LNCS format and describe, in
English, original work that has not been published or submitted

Authors of papers reporting experimental work are strongly encouraged 
to make their experimental results available for use by reviewers. 
Similarly, case study papers should describe significant case studies 
and the complete development should be made available at the time of 
review. In other words, the usual criteria for novelty, reproducibility, 
correctness and the ability for others to build upon the described work

Tool papers should explain enhancements made compared to previously 
published work. A tool paper need not present the theory behind the 
tool but can focus more on its features, and how it is used, evaluation,
with screen shots and examples. Authors of tool papers should make 
their tool available for use by reviewers. 

Papers should be submitted through the FM 2015 EasyChair web site: 

We solicit two categories of papers: 

Regular Papers should not exceed 15 pages in LNCS format, 
not counting references.

Short papers, including tool papers, should not exceed 6 pages, 
not counting references. Besides tool papers, short papers 
are encouraged for any subject that can be described within 
the page limit, and in particular for novel ideas without an 
extensive experimental evaluation. Short papers will be accompanied 
by short presentations.

For regular and tool papers, an appendix can provide additional 
material such as details on proofs or experiments. The appendix 
is not guaranteed to be read or taken into account by the reviewers 
and it should not contain information necessary to the understanding 
and the evaluation of the presented work. Papers will be accepted 
or rejected in the category in which they were submitted, there 
will be no "demotions" from a regular to a short paper.


FM 2015 will as a new feature have a best paper award. 
A best paper will be selected among accepted papers, 
and the award will be presented at the conference.


Accepted papers will be published in the Symposium Proceedings, to
appear in Springer's Lecture Notes in Computer Science.


Einar Broch Johnsen, University of Oslo, NO


Nikolaj Bjorner, Microsoft Research, US
Frank S. de Boer, CWI, NL


Erika Abraham, RWTH Aachen University              
Bernhard K. Aichernig, TU Graz                             
Gilles Barthe, IMDEA Software Institute            
Nikolaj Bjorner, Microsoft Research                  
Marcello Bonsangue, Leiden University                   
Michael Butler, University of Southampton           
Andrew Butterfield, Trinity College Dublin              
Ana Cavalcanti, University of York                  
David Clark, University College London           
Frank S. de Boer, CWI                                 
Jin Song Dong, National University of Singapore    
Michael Emmi, IMDEA Software Institute            
John Fitzgerald, Newcastle University                
Nate Foster, Cornell University                  
Vijay Ganesh, IMDEA Software Institute 
Diego Garbervetsky, Dep. de Computacion. U. de Buenos Aires
Dimitra Giannakopoulou, NASA Ames Research Center
Stefania Gnesi, ISTI-CNR                            
Ganesh Gopalakrishnan, University of Utah                  
Orna Grumberg, Technion, Israel Institute of Technology                          
Arie Gurfinkel, Carnegie Mellon University          
Reiner Haehnle, Technical University of Darmstadt   
Klaus Havelund, NASA Jet Propulsion Laboratory
Anne E. Haxthausen, Technical University of Denmark     
Ian J. Hayes, University of Queensland            
Gerard Holzmann, NASA Jet Propulsion Laboratory                            
Daniel Jackson, MIT                                 
Cliff Jones, Newcastle University                
Gerwin Klein, NICTA and UNSW                      
Laura Kovacs, Chalmers University of Technology   
Marta Kwiatkowska, University of Oxford                
Peter Gorm Larsen, Aarhus University                   
Yves Ledru, Lab. d'Informatique de Grenoble, U. Joseph Fourier                             
Rustan Leino, Microsoft Research                  
Martin Leucker, University of Luebeck                
Shaoying Liu, Hosei University                    
Tom Maibaum, McMaster University                 
Dominique Mery, Universite de Lorraine, LORIA       
Peter Mueller, ETH Zuerich                          
Cesar Munoz, National Aeronautics and Space Administration                      
David Naumann, Stevens Institute of Technology     
Tobias Nipkow, TU Muenchen                          
Jose Oliveira, Universidade do Minho               
Olaf Owe, University of Oslo                
Sam Owre, SRI International                   
Andrei Paskevich, Universite Paris-Sud 11, IUT d'Orsay                                   
Grigore Rosu, University of Illinois at Urbana-Champaign                    
Kristin Yvonne Rozier, NASA Ames Research Center           
Sanjit A. Seshia, UC Berkeley                         
Natasha Sharygina, Universita' della Svizzera Italiana 
Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics
Jun Sun, Singapore University of Technology and Design                          
Kenji Taguchi, AIST                                
Margus Veanes, Microsoft Research                  
Ji Wang, National Lab. for Parallel and Distributed Processing          
Alan Wassyng, McMaster University                 
Heike Wehrheim, University of Paderborn             
Michael Whalen, University of Minnesota             
Jim Woodcock, University of York                  
Gianluigi Zavattaro,  University of Bologna                    
Pamela Zave, AT&T                                


Martin Steffen, University of Oslo, Norway

Concurrency mailing list

Dave Parker | 23 Jul 14:09 2014

Postdoc positions at Birmingham: HIERATIC

The School of Computer Science at the University of Birmingham is 
looking for two post-doctoral researchers to work on the EU-FP7 funded 
HIERATIC project (Hierarchical Analysis of Complex Dynamical Systems).

The goals of the HIERATIC project are to develop decomposition, 
abstraction and coarse graining techniques for complex systems, and to 
to produce efficient tools for simulation, prediction and verification 
of such systems. This will also involve the use of such algorithms for 
improving the state space reductions strategies in the probabilistic 
verification tool PRISM.

The Research Fellow will work closely with Prof Jonathan Rowe and Dr 
David Parker at the School of Computer Science, as well as interacting 
with the School of Mathematics at Birmingham and the other project 
partners. The posts will run until 30 September 2015.

Applicants must hold a first degree in Computer Science, Mathematics or 
related discipline and normally, a higher degree relevant to research 
area or equivalent qualifications. They should have a high level of 
analytical capability, strong programming skills, and fluency in 
relevant models, techniques or methods and ability to contribute to 
developing new ones.

For full details, and to apply, see:

Informal enquiries may be made to Prof Jonathan Rowe 
(j.e.rowe@...) or David Parker (d.a.parker@...).

The closing date for applications is 17th August 2014.
Concurrency mailing list

FOCLASA 2014 | 16 Jul 19:41 2014

FOCLASA 2014 - Call for Participation (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)

FOCLASA 2014: The 13th International Workshop on
Foundations of Coordination Languages and Self-Adaptive Systems

Call for Participation

Early registration by July 27 2014

September 6, 2014, Rome (Italy)
In conjunction with CONCUR 2014 --

FOCLASA 2014 is a workshop colocated with the 25th International
Conference on Concurrency Theory (CONCUR 2014). The goal of the FOCLASA
workshop is to put together researchers and practitioners to share and
identify common problems, and to devise general solutions in the context
of coordination languages and self-adaptive systems.

- Invited talk: TBD
- Invited tutorials:
* Introduction to Reo.
Farhad Arbab, CWI, The Netherlands
* Analysis and Synthesis for Self-Adaptation using PRISM-games.
Javier Camara, Carnegie Mellon University, USA
* Bach at the age of mobile and cloud computing.
Jean-Marie Jacquet, University of Namur, Belgium

- Deadline for early registration: July 27 2014

FOCLASA targets all areas of coordination languages and self-adaptive 
including (but not limited to):

* Theoretical models and frameworks for component and service
coordination, service composition, service adaptation and concurrent
system modeling.
* Applications and usability studies for the aforementioned theoretical
models, interaction and coordination challenges in decentralized
self-adaptive systems and various application domains.
* Languages and specification protocols for component and service
interaction, their semantics, expressiveness, validation and
verification, type checking, static and dynamic analysis.
* "Software as a Service" models (e.g., cloud computing) and dynamic
software architectures, such as self-adaptive and self-organizing
* Tools and environments for the development of concurrent and
customizable self-monitoring, self-adaptive and self-organizing
* Algorithms, mathematical models and realization frameworks for
quality-of-service observation, storage, history-based analysis in
self-adaptive systems (queuing models, load balancing, fault-tolerance
analysis, machine learning systems).
* Formal methods for self-adaptive systems, stochastic modeling and
analysis, reasoning under uncertainty, run-time synthesis.

In particular, practice, experience and methodologies from the following
areas are covered as well:

* Business process modeling
* Cloud computing
* Service-oriented computing
* Component-based systems
* Grid computing
* Large-scale distributed systems
* Multi-agent systems
* Peer-to-peer systems


* Javier Cámara
Institute for Software Research
Carnegie Mellon University, USA

* José Proença
iMinds-Distrinet, KU Leuven, Belgium and
HASLab/INESC TEC, University of Minho, Portugal


* Sung-Shik Jongmans, CWI, The Netherlands


* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Málaga, Spain
* Javier Cámara, Carnegie Mellon University, USA
* Carlos Cuesta, Rey Juan Carlos University, Spain
* Keijo Heljanko, Aalto University, Finland
* Rogério de Lemos, University of Kent, UK
* Natallia Kokash, Leiden University, The Netherlands
* Christian Krause, Hasso Plattner Institut, Germany
* Antónia Lopes, University of Lisbon, Portugal
* Sun Meng, Peking University, China
* Liliana Pasquale, University of Limerick, Ireland
* Pascal Poizat, Paris Ouest University and LIP6, France
* José Proença, KU Leuven, Belgium
* Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France
* Bradley Schmerl, Carnegie Mellon University, USA
* Marjan Sirjani, Reykjavik University, Iceland
* Carolyn Talcott, SRI International, USA
* Francesco Tiezzi, IMT Lucca Institute for Advanced Studies, Italy
* Mirko Viroli, University of Bologna, Italy


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

Concurrency mailing list

Alexey Gotsman | 14 Jul 08:48 2014

OPODIS 2014: Call for Workshops and Tutorials

OPODIS 2014: Call for Workshops and Tutorials
18th Int. Conf. on the Principles of Distributed Systems (OPODIS)

Workshops and tutorials day: 16 December 2014
Conference: 17-19 December 2014

Cortina d'Ampezzo, Italy

OPODIS is an open forum for the exchange of state-of-the-art knowledge on
distributed computing and distributed computer systems. All aspects of
distributed systems are within the scope of OPODIS, including theory,
specification, design, performance, and system building.

OPODIS is traditionally strong in the theoretical aspects of distributed
systems; furthermore, OPODIS is expanding its coverage to include the
overlap between theoretical solutions and practical implementations, as
well as experimentation and quantitative assessments.

OPODIS 2014 will feature a pre-conference day dedicated to workshops and
tutorials. We invite experts on related research subjects to submit
workshop and tutorial proposals in the scope of OPODIS 2014. Proposed
workshops and tutorials can be on any domain related to the topics of
OPODIS that are listed on the Call for Papers:

Important dates

29 July 2014			Workshop and tutorials proposal deadline
31 July 2014			Notification
16 December 2014		Workshops and tutorials day
17-19 December 2014		Main conference


The duration of a workshop is a half-day. A workshops proposal should not
exceed three (3) pages in length using a 11pt font size. It must include
the following information:

- The title of the workshop;
- A technical description of the workshop topic areas and targeted research
- A description of the intended format of the workshop;
- A brief statement of the relevance of the workshop to OPODIS;
- The names, e-mail addresses and affiliations of the organizers (including
a program committee if applicable);
- A description of the organizers' strategy for attracting submissions and
attendees to the workshop, including information about how publicity will
be carried to attract world-wide participation.

Workshop proposals must be sent by email directly to the workshop and
tutorial chair (etienne.riviere@...) in PDF format.

The conference organization will provide catering (coffee breaks and
lunch). If a workshop wishes to have proceedings, the publication process
is under the responsibility of the workshop organizers.


Experts in the domains covered by OPODIS are invited to share their
expertise with the community by submitting proposals for tutorials. The
duration of a tutorial is one session (90 to 120 minutes), including time
for questions.

A tutorial proposal should not exceed three (3) pages in length using a
11pt font size. It must include the following information:

- The title of the tutorial;
- An abstract of the tutorial content;
- A brief statement of the relevance of the tutorial to OPODIS;
- The name(s), e-mail address(es) and affiliation(s) of the presenter(s);
- The biography and relevant publications of the presenter(s);
- If the authors will consider submitting an abstract of the tutorial (see
- When applicable, if and where the tutorial has already been given in the

Presenters of tutorials will be given the possibility to publish an
extended abstract of the tutorial content in the proceedings of the
conference, published in Springer's LNCS series. Such extended abstracts
are encouraged but optional, and will have to be accepted through peer
review before inclusion. The page limit will be 15 pages in LNCS format.

Tutorial proposals must be sent by email  directly to the workshop and
tutorial chair (etienne.riviere@...) in PDF format.

For both tutorials and workshops, selection will be based on a combination
of the adequacy of topics with the OPODIS topics, the timeliness and
potential to attract or establish new communities, and the proposed


Workshops and tutorials chair
Etienne Riviere, University of Neuchatel, Swizterland

Programme Co-Chairs
Marcos K. Aguilera, Microsoft Research Silicon Valley, USA
Marc Shapiro, Inria & UPMC-LIP6, France

General chair
Leonardo Querzoni, Sapienza University of Rome, Italy
Concurrency mailing list

Emilio Tuosto | 14 Jul 20:18 2014

TGC 2014: call for participation - early registration approaching (deadline 27/7/2014)

[Apologies for cross-posting]

9th Symposium on Trustworthy Global Computing 
TGC 2014

Call for Parcipation

Early registration by July 27 2014

5-6 September, 2014
Rome, Italy (co-located with Concur 2014)

The Symposium on Trustworthy Global Computing is an international annual venue dedicated to secure and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems, and cloud computing.

- Keynote speakers: Véronique Cortier (CNRS, France) and Catuscia Palamidessi (INRIA Saclay and LIX, France)
Deadline for early registration: July 27 2014
- "Brief announces" session: participants can give a short talk (see below) 

The TGC series focuses on providing frameworks, tools, algorithms, and protocols for rigorously designing, verifying, and implementing open-ended, large-scaled applications. The related models of computation incorporate code and data mobility over distributed networks that connect heterogeneous devices and have dynamically changing topologies.

A provisional programme is now available (

"Brief announces" session
Participants (to CONCUR, TCS, TGC, or the satellite events) can give a short presentation at TGC 2014 on their ongoing or recently published work. Please, send title and abstract to the chairs if you are interested. The "Brief announces"  session is scheduled on September 5 2014 from 4pm to 6pm. The length of the short talks will be decided according to the number of the submitted expressions of interest.

PC chairs

- Matteo Maffei (CISPA, Saarland University, Germany)
- Emilio Tuosto (University of Leicester, UK)

Concurrency mailing list
Ilaria Castellani | 14 Jul 17:19 2014

TRENDS 2014: call for participation

IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2014)

Saturday September 6, 2014 (9:00-14:15), Rome, Italy

Affiliated with CONCUR 2014


TRENDS 2014 is an event organised by IFIP WG 1.8 on Concurrency Theory. 
It aims at bringing together researchers interested in concurrency theory and its applications, 
to exchange ideas and discuss about open problems and recent trends.


The event will take place on September 6, 2014 and will consist of 
four invited talks by the following speakers:

Michele Bugliesi (University of Venice, IT)
Stephanie Delaune (CNRS and ENS Cachan, FR)
Simon Gay (University of Glasgow)
Alexandra Silva (Radboud University Nijmegen, NL)

The workshop will be followed by the annual business meeting of WG 1.8.

For a detailed programme with titles and abstracts of talks we refer to:


Please register for TRENDS 2014 via the registration page of CONCUR 2014: 


 Ilaria Castellani (INRIA Sophia Antipolis, FR)
 Mohammad Mousavi (Halmstad University, SE)

IFIP WG 1.8:

The aims of IFIP WG 1.8 on Concurrency Theory are:

- To develop theoretical foundations of concurrency, exploring
 frontiers of existing theoretical models like process algebra
 and process calculi, so as to obtain a deeper theoretical
 understanding of concurrent and parallel systems.
- To promote and coordinate the exchange of information on
 concurrency theory, by discussing ideas and open problems,
 and identifying future directions of research in the area.

The activities of WG 1.8 encompass all aspects of concurrency theory and its applications.


Ilaria Castellani
INDES research team
INRIA (Institut National de Recherche en Informatique et Automatique)
2004, route des Lucioles

Concurrency mailing list
Volker Stolz | 10 Jul 15:45 2014

TTSS'14 - Final CfP

                           TTSS 2014: Call For Papers

                             The 7th Intl. Workshop on
                  Harnessing Theories for Tool Support in Software
                       Bertinoro, Italy, 9 September 2014


Co-located with FACS 2014:
The 11th International Symposium on Formal Aspects of Component Software

Important Dates
 - Submission Deadline: July 25, 2014
 - Notification of Acceptance: August 10, 2014
 - Camera-ready version due: to be determined

Overview and Topics of Interest
The aim of the workshop is to bring together practitioners and
researchers from academia, industry and government to present and
discuss ideas about:

 - How to deal with the complexity of software projects by multi-view
modeling and separation of concerns about the design of functionality,
interaction, concurrency, scheduling, and non-functional requirements

 - How to ensure correctness and dependability of soft-ware by
integrating formal methods and tools for modeling, design, verification
and validation into design- and development processes and environments.

 - To explore some hot issues in supporting tool for service-oriented
computing, specification generation, loop invariant generation, code
generation, test-case generation.

 - Case studies and experience reports about harnessing static analysis
tools such as model checking, theorem proving, testing, as well as
runtime monitoring.

The workshop will provide enough time for discussion on problems and
research. Each presentation will be 25 minutes followed by 10 minutes
discussion. Topics of interest include, but are not limited to, the
following areas:

 - Models, calculi, and tool support for component-based
     and object-oriented software;
 - Mathematical frameworks, methods and tools for
     model-driven development;
 - Models, calculi, and tool support for integrating different
     scheduling, interaction and concurrency models in highly
     adaptable systems
 - Theory, methods and tools support for service construct,
     services composition, specification generation, loop invariant
     generation, code generation and test-case generation.

Submission and Publication
Submissions to the workshop must present original research that is
unpublished and not submitted for publication elsewhere. Papers will be
judged on the basis of originality, relevance, technical soundness and
presentation quality. Papers must be written in English and not exceed
15 pages in the easychair format (see
publications/ The post-proceedings of
the workshop will be published electronically in CEUR-WS, indexed by DBLP.

Papers can be submitted via the following link:

Workshop Chairs
 - Volker Stolz, University of Oslo, Norway
 - Michael Lienhardt, University of Bologna/INRIA, Italy

Program Commitee
 - Jun Pang, University of Luxembourg, Luxembourg
 - Cesar Sanchez, IMDEA Software Institute, Spain
 - Ralf Huuck, NICTA, Australia
 - Bernhard K. Aichernig, Graz University of Technology, Austria
 - Naijun Zhan, Chinese Academy of Sciences, China
 - Clemens Grelck, University of Amsterdam, the Netherlands
 - Charles Morisset, Newcastle University, UK
 - Wei Dong, NUDT, Changsha, China
 - Jinyun Xue,Jiangxi Normal University, Nanchang, China
 - Roberto Bruni, University of Pisa, Italy
 - Mario Bravetti, University of Bologna/INRIA, Italy
 - Erika Abraham, RWTH Aachen University, Germany
 - Jean-Bernard Stefani, INRIA, France
Concurrency mailing list