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

(Continue reading)

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
(Continue reading)

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

Nigel Thomas | 10 Jul 16:25 2014

CFP: 30th UK Performance Engineering Workshop




UKPEW 2014

30th UK Annual Performance Engineering Workshop

19th September 2014

Newcastle University



The UK Performance Engineering Workshop (UKPEW) is an annual event that aims to gather researchers working on all aspects of performance modelling and analysis.


We solicit original papers on performance evaluation techniques for computer and telecommunication systems analysis. Papers on or related to the following topics are particularly welcome.


*             Performance-oriented design and analysis methods

*             Formal modelling paradigms: stochastic process algebra, stochastic Petri nets, stochastic automata networks, Markov chains, queueing theory,...

*             Solution and simplification techniques for stochastic processes

*             Model checking and validation

*             Approximate results for Markov and semi-Markov Processes

*             Simulation techniques and experimental design

*             Benchmarks and benchmark evaluation

*             Performance tools

*             Performance case studies

*             Performability modelling

*             Software performance engineering

*             Performance and power consumption tradeoffs

*             Performance overhead of secure systems

*             New frontiers of performance evaluation/modelling

*             Performance analysis of communication networks, mobile and wireless networks, software systems, distributed systems, system architectures, embedded systems, web-based systems, grid computing,...


Paper submission

Authors are invited to submit papers or extended abstracts (guideline 1-3 pages) to the workshop by August 18, 2014.

Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this workshop. It is planned to publish selected papers from the workshop in Electronic Notes in Theoretical Computer Science (ENTCS).


Papers (and extended abstracts) are to be prepared in ENTCS format and must not exceed 20 pages, including figures, tables and references. The first page should contain title, authors’ names and affiliation, and a list of keywords. The papers must be submitted in PDF or PS format via email to nigel.thomas-pyHcBy/D9uhaa/


Venue and registration

The workshop will be held in the Research Beehive on the campus of Newcastle University. Newcastle is readily accessible my mainline rail services and via Newcastle International Airport (NCL). Registration will cost £100 (£75 for students) and will cover all publication costs, lunch and refreshments.


Important dates:

Submission deadline:    18 August 2014

Author notification:        25 August 2014

Camera-ready copy:       4 September 2014

Workshop:                          19 September 2014

Final version for ENTCS:                19 October 2014


Concurrency mailing list
Ernst W. Mayr | 8 Jul 09:37 2014

Call for Papers STACS 2015

(apologies for duplicates)



32nd International Symposium on Theoretical Aspects of Computer Science

March 4 - 7, 2015, Garching near Munich, Germany

Submission Deadline: Sep 21, 2014 (23:59:59 GMT/UTC)


Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas include
(but are not limited to):

- algorithms and data structures, including: parallel, distributed,
  approximation, and randomized algorithms, computational geometry,
  cryptography, algorithmic learning theory, algorithmic game theory,
  analysis of algorithms;
- automata and formal languages;
- computational complexity, parameterized complexity, randomness in
- logic in computer science, including: semantics, specification
  and verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum computing,
  mobile and net computing.

Andris Ambainis, FPM, U Riga
Hagit Attiya, CS, Technion, Haifa
Johannes Blömer, CS, U Paderborn
Mikolaj Bojanczyk, II, U Warsaw
Tomás Brázdil, Masaryk U, Brno
Niv Buchbinder, SOR, Tel Aviv U
Anuj Dawar, CL, U Cambridge
Adrian Dumitrescu, CS, U Wisconsin-Milwaukee
Matthias Englert, DIMAP/DCS, U Warwick
Funda Ergun, SoIC, Indiana U
Fedor Fomin, IN, U Bergen
Tobias Friedrich, FMI, FSU Jena
Christian Glaßer, I1, U Würzburg
Etienne Grandjean, GREYC, Caen
Tomasz Jurdzinski, U Wrozlaw
Manfred Kufleitner, FMI, U Stuttgart
Jerome Leroux, CNRS, LaBRI, Bordeaux
Ernst W. Mayr, TUM, München (co-chair)
Peter Bro Miltersen, CS, U Aarhus
Nicolas Ollinger, LIFO, Orléans (co-chair)
Sylvain Perifel, LIAFA, Paris 7
Jayalal Sarma, IIT, Madras
Nicolas Schabanel, CNRS, LIAFA, Paris 7
Lutz Schröder, FAU Erlangen-Nürnberg
Dimitrios M. Thilikos, CNRS, LIRMM, Montpellier
Gerhard Woeginger, TUE, Eindhoven

Sanjeev Arora, CS, Princeton
Manuel Bodirsky, CNRS, LIX, Palaiseau
Peter Sanders, KIT, Karlsruhe

Felix Brandt, TUM, Munich: Computational Social Choice
tba: Algorithmic Game Theory

Submission website opens: Jun 22, 2014
Submission deadline: Sep 21, 2014 (23:59:59 GMT/UTC)
Rebuttal period: Nov 15 - 17, 2014
Notification: Dec 5, 2014
Final version due: Jan 7, 2015
Symposium: Mar 4 - 7, 2015

Authors are invited to submit a draft of a full paper with at most 12 pages
(excluding the references section). The usage of pdflatex and the LIPIcs
style file (see below) are mandatory; no changes to font size, page geometry
etc. are permitted.  Submissions not in the correct format or submitted
after the deadline will not be considered.

The paper should contain a succinct statement of the issues and of their
motivation, a summary of the main results, and a brief explanation of their
significance, accessible to non-specialist readers. Proofs omitted due to
space constraints must be put into an appendix, to be read by the program
committee members at their discretion.

Simultaneous submission to other conferences with published proceedings or
to journals is not allowed. PC members are excluded from submitting. As a
novelty for STACS, there will also be a rebuttal period for authors. Authors
will receive the reviews of their submissions (via EasyChair) on Nov 14/15
and have three days (Nov 15 - 17) to submit rebuttals (via EasyChair). These
rebuttals become part of the PC meeting, but entail no specific responses.

The submission site, which opens on Jun 22, 2014, is

LIPIcs homepage:
tar ball:

******************* (for general information)
pc-chairs-stacs2015@... (for information regarding paper

Prof. Ernst W. Mayr                            Tel.:	+49-89-289-17704
Lehrstuhl für Effiziente Algorithmen          Sekr.:	+49-89-289-17706
Fakultät für Informatik, I14                    Fax:	+49-89-289-17707
TU München                                   E-Mail:	mayr@...
Boltzmannstraße 3
85748 Garching                                 Raum:	MI 03.09.052
Germany                               URL:

Attachment (smime.p7s): application/pkcs7-signature, 7903 bytes
Concurrency mailing list
Marta Kwiatkowska | 9 Jul 19:34 2014

Special issue of TCS-C on Verification of Engineered, Molecular Devices and Programs (VEMDP 2014)


Verification of Engineered, Molecular Devices and Programs (VEMDP 2014)



We invite submissions of papers on Verification of Engineered, Molecular
Devices and Programs for publication in a special issue of the Journal
of Theoretical Computer Science (TCS), Section C (Theory of Natural
Computing). We especially welcome extended versions of papers presented
at the VEMDP 2014 Workshop in Vienna, affiliated with CAV 2014
( We additionally also invite
submissions of papers not presented at VEMDP, provided they fall within
the scope of the call.


Significant advances have been made recently in engineering of synthetic,
biomolecular systems, such as those built from DNA, RNA or enzymes.
Potential applications are envisaged in biosensing, biomanufacturing and
smart therapeutics, where safety and reliability are paramount. Since
designing such systems is challenging and error-prone, formal modelling
and verification techniques tailored to these types of systems are
called for.

This special issue will be devoted to original research papers on theory
and verification of engineered biological and chemical systems. While
the main focus is on systems that do not occur naturally, we also
encourage submissions concerning the verification of naturally occurring
systems that have been functionally modified. These systems include, but
are not limited to:

* DNA computing and other forms of natural computing

* Chemical reaction networks

* DNA walkers and motors

* Engineered transcription networks and other synthetic biology


We will consider papers on any aspect of theory and verification of the
above systems, including:

* Modelling formalisms and frameworks

* Formal languages and methods

* Automated verification

* Complexity of verification

* Analysis of system behaviour

* Equivalence of systems

* Computer aided design tools


Papers should be 20-25 pages long, including appendices, and should be
formatted according to Elsevier's elsarticle.cls document style used for
articles in the journal of Theoretical Computer Science (see the Guide
for Authors at

Submissions are through the Elsevier Editorial System for TCS located at To ensure that all manuscripts
are correctly identified for inclusion into the special issue, please
make sure you select/specify "SI:TCS_C VEMDP 2014" when you reach the
relevant step in the submission process.


     * Abstract submission:  15 September 2014 [By email to Editors]
     * Paper submission:     30 September 2014 [Through the website]
     * Notification:         15 December 2014


     Marta Kwiatkowska
     University of Oxford

     Andrew Phillips
     Microsoft Research Cambridge

     Chris Thachuk


Further information at


Concurrency mailing list

Giorgio Delzanno | 7 Jul 12:16 2014

PhD in Computer Science at the University of Genova

The Department of Computer Science, Bioengineering, Robotics, and Systems Engineering of the University of Genova offers 

- 5 PhD Fellowships in Computer Science
- 2 PhD Fellowships in Systems Engineering

Information on the PhD program in Computer Science and Systems Engineering, including a list of specific research themes,  are available at the URL 

Instructions for applicants including on-line forms are available at the URL
Concurrency mailing list
Giorgio Delzanno | 7 Jul 11:56 2014

PV <at> Concur 2014: Call for Participation


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

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 preliminary program of the first edition of the workshop is available at the address:                     
The early registration deadline is July 27.

See you in Rome!
Concurrency mailing list
Francesco Flammini | 7 Jul 22:01 2014

SAFECOMP'14 – Early Registration and Preliminary Program



The 33rd International Conference on Computer Safety, Reliability and Security

10-12 September 2014, Florence, Italy

Co-located with EPEW, FMICS, FORMATS and QEST


It is now possible to register to the conference. Please visit:

Due to the co-location of several workshops, different registration  
types can be chosen according to the requirements of participants.

Please note that early registration is available at a reduced fee until:

*** JULY 12th  2014 ***

A reduced registration fee is also available for students and EWICS  
TC7 members.

The registration fee may be paid either by bank transfer or by credit card.


Conference preliminary program is now available at:

The program will be partly joint with QEST and will host invited talks  
by Henrique Madeira (University of Coimbra), Samuel Kounev  
(Universität Würzburg), Philippe Quere (Renault), Philip Koopman  
(CMU), and Werner Steinhoegl (European Commission).

The conference will feature an exciting technical program whose  
sessions will mainly address the following topics:

Fault Injection Techniques, Probabilistic Model Checking, Verification  
& Validation Techniques, Automotive Systems, Coverage Models and  
Mitigation Techniques, Assurance cases and arguments, System Analysis,  
Security and Trust, Notations/Languages for safety-related aspects,  
Safety and Security

Social events will be hosted in the following restaurants, located in  
the heart of Florence, allowing you to enjoy great food as well as the  
beauty of the surrounding attractions:

Conference Dinner - Ristorante Palazzo Gaddi,
Welcome Reception - Harry’s Bar,
Lunch and Coffee Breaks - Ristorante Sabatini,

Please do not hesitate to contact the conference secretariat should  
you need further information.

Kind Regards,
Francesco Flammini
SAFECOMP’14 Publicity Chair

Codice Fiscale: 00876220633

Concurrency mailing list