Yliès Falcone | 19 May 11:41 2016

RV 2016, Deadline for abstract on May 20 (AoE)

Following several requests, the deadlines have been extended as follows:

- Abstract deadline: Friday May 20 (AoE).
- Paper and tutorial deadline: Friday May 27 (AoE).


RV 2016
16th International Conference on Runtime Verification
September 23-30, Madrid, Spain


Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:

- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- runtime enforcement, fault detection, localization, containment, recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications
- monitoring security and privacy policies

Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.

Invited Speakers

The program of RV 2016 will feature invited talks from:

Gul Agha (University of Illinois at Urbana-Champaign, USA)
Oded Maler (CNRS and University of Grenoble-Alpes, France)
Fred B. Schneider (Cornell University, USA)


RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop days (September 26-25), and three conference days (September 28-30).

General Information on Submissions

All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers.

Research Papers Track

Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee. 

Regular Papers (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome. 
The Program Committee of RV 2016 will give a best paper award. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design.

Short Papers (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions.

Tool Papers Track

The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference.

All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission.
We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool’s capabilities, highlighting the main characteristics and the usage.

Tool papers can be submitted into two categories: 

Regular Tool Papers (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form.
Tool Exhibition Papers (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016.

Tutorial Track

Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings.

A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee.

(new) Important Dates

Research and tool papers as well as tutorials will follow the following timeline:

Abstract deadline: May 20, 2016 (AoE)
Paper and tutorial deadline: May 27, 2016 (AoE)
Tutorial notification: June 15, 2016
Paper notification: July 18, 2016
Camera ready deadline: August 8, 2016
Summer school: September 23-25, 2016
Workshops and tutorials: September 26-27, 2016
Conference: September 28-30, 2016


Program Committee Chairs

Yliès Falcone, Univ. Grenoble-Alpes and Inria, France
Cesar Sanchez, IMDEA Software, Madrid, Spain

Tool Committee Chair

Klaus Havelund, NASA Jet Propulsion Laboratory, USA

Local Organization Chair

Juan E. Tapiador, Universidad Carlos III de Madrid, Spain

Program Committee

Erika Abraham, RWTH Aachen University, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Andreas Bauer, NICTA & Australian National University, Australia
Saddek Bensalem, Univ. Grenoble Alpes, France
Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany
Borzoo Bonakdarpour, McMaster University, Canada
Laura Bozzelli, Technical University of Madrid (UPM), Spain
Juan Caballero, IMDEA Software Institute, Spain
Wei-Ngan Chin, National University of Singapore, Singapore
Christian Colombo, University of Malta, Malta
Jyotirmoy Deshmukh, Toyota Technical Center, USA
Alexandre Donzé, UC Berkeley EECS Department, USA
Yliès Falcone, Univ. Grenoble Alpes and Inria, France
Bernd Finkbeiner, Saarland University, Germany
Adrian Francalanza, University of Malta, Malta
Vijay Garg, The University of Texas at Austin, USA
Patrice Godefroid, Microsoft Research, USA
Susanne Graf, Univ. Grenoble Alpes and CNRS, France
Radu Grosu, Vienna University of Technology, Austria
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Johan Jaffar, National University of Singapore, Singapore
Thierry Jéron, Inria Rennes – Bretagne Atlantique, France
Johannes Kinder, Royal Holloway University of London, UK
Felix Klaedtke, NEC Europe Ltd., Germany
Kim G. Larsen, Aalborg University, Denmark
Axel Legay, Inria Rennes – Bretagne Atlantique, France
Martin Leucker, University of Lübeck, Germany
Benjamin Livshits, Microsoft Research, USA
Joao Lourenço, Universidade Nova de Lisboa, Portugal
Rupak Majumdar, MPI-SWS, Germany
Leonardo Mariani, University of Milano Bicocca, Italy
David Naumann, Stevens Institute of Technology, USA
Dejan Nickovic, Austrian Institute of Technology, Austria
Gordon Pace, University of Malta, Malta
Doron Peled, Bar Ilan University, Israel
Lee Pike, Galois, Inc., USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Gwen Salaün, Univ. Grenoble Alpes and Inria, France
Cesar Sanchez, IMDEA Software Institute, Spain
Sriram Sankaranarayanan, University of Colorado Boulder, USA
Gerardo Schneider, University of Gothenburg, Sweden
Scott Smolka, Stony Brook University, USA
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Scott Stoller, Stony Brook University, USA
Volder Stolz, University of Oslo, Norway
Jun Sun, Singapore University of Technology and Design, Singapore
Juan Tapiador, Universidad Carlos III de Madrid, Spain
Serdar Tasiran, Koc Univ., Turkey
Michael Whalen, University of Minnesota, USA
Eugen Zalinescu, ETH Zurich, Switzerland
Lenore Zuck, University of Illinois at Chicago, USA

Tool Committee

Steven Arzt, EC Spride, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Martin Leucker, University of Luebeck, Germany
Gordon Pace, University of Malta, Malta
Giles Reger, The University of Manchester, UK
Julien Signoles, CEA, France
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Nikolai Tillmann, Microsoft Research, USA
Eugen Zalinescu, ETH Zurich, Switzerland
Concurrency mailing list
Concurrency <at> listserver.tue.nl
DSRT Symposium | 16 May 16:27 2016

CFP Special Sessions: IEEE DS-RT 2016

Dear Colleagues and Researchers,

Apologies, if you have received multiple copies of this CFP.

********** CALL FOR PAPER **********

20th IEEE/ACM* International Symposium on Distributed Simulation and
Real Time Applications
           September 21 - 23, 2016,  London, UK

*IEEE/ACM Pending Upon Approval

DS-RT 2016 is running four special sessions this year:
 - Simulation of Urban Traffic Management and ITS
 - Distributed Simulations of Distributed Systems
 - Augmented and Virtual Reality for Real-Time Applications
 - Agent-based Modeling and Simulation

Those special sessions cover prominent areas of the field of
distributed simulations and real time applications, and many papers
were accepted in previous editions of DS-RT on the same topics. See
below for more detailed descriptions of those special sessions.

Authors of selected papers will be invited to submit extended versions
of their papers to a special issue on "Data-driven and Large-scale
Distributed Simulation" in Journal of Simulation (published by
Palgrave Macmillan, SCI indexed)


Submitted manuscripts must be in standard IEEE two-column format that
is used for IEEE conference proceedings and must not exceed "8 pages"
(2-page extension allowed), including figures, tables and references.
Standard IEEE templates for Microsoft Word or LaTeX formats can be
found at:
     - http://www.ieee.org/conferences_events/conferences/publishing/templates.html

A submission may present preliminary results, propose new research
direction, provide insightful retrospective, or offer a provocative
viewpoint on important topics related to the considered special
session. Papers will be selected based on their likelihood of
generating insightful technical discussions at the special session and
influencing future research. Papers must be unpublished and must not
be submitted for publication elsewhere. All papers will be reviewed by
Technical Program Committee members and other experts active in the
field to ensure high quality and relevance to the conference and the
special session. At least one author of accepted papers must attend
the conference and present its contribution. Accepted papers will
appear in the conference proceedings to be published by IEEE Press.


Full paper submission deadline: May 30th, 2016
Paper acceptance notification: June 30th, 2016


For questions about the paper submission and review process, please
contact the session organisers - find all relevant information on the
corresponding web pages below.


* Special Session on Simulation of Urban Traffic Management and ITS

This special session focuses on simulation tools and real-time
simulation applications used in and for evaluation, management, and
design of Intelligent Transportation Systems (ITS), as well as Smart
Cities. Such simulations are expected to offer prediction and
on-the-flow feedback for the better decision-making, bringing up means
for both the implementation of more complex traffic management systems
and end-user applications. Off-line and real-time analyses of data
collected from infrastructured systems (e.g. real-time traffic
information), mobile, distributed technologies (e.g. communication
devices), and socially-build systems (e.g. social networks
applications) are of great interest for shaping and influencing how
ITS solutions are designed. Thus, we are particularly interested in
how these data and technologies can be incorporated in domain-related
models and simulations. We aim to bring together experts from both
industry and academia to discuss the challenges related to modelling
and simulation for ITS.

Web page: http://ds-rt.com/2016/soiits_2016.htm

* Special Session on Distributed Simulations of Distributed Systems

Distributed simulation (DS) is a valuable tool for understanding and
evaluating distributed systems. The current computing trend sees
businesses and individuals moving toward a more centralized
infrastructure, namely the cloud. On the one hand, as the computing
infrastructure at data centers is highly complex and distributed, DS
becomes essential for diagnosing and gaining insights of the system.
On the other hand, the scale and nature of interaction between
different components in the cloud present new challenges and push DS's
state of the art.

Another computing trend that has potential to drive DS is
internet-of-things. Such complex systems consist of a large number of
autonomous, heterogeneous devices communicating with one another in
non-uniform manner. DS is valuable not only for discerning system
properties but also for predicting the devices' emergent behavior.
Finally, users in online social networks make up large distributed
systems. Insights of user interaction and the network's collective
behavior --- the study of which fits well into the realm of DS ---
bring significant value to both the society and the business of social
network providers.

This special session seeks to bring together experts and practitioners
in the domain of DS to discuss new opportunities and challenges for
DS. We welcome research papers on both theoretical and empirical

Web page: http://ds-rt.com/2016/dsimdsys_2016.htm

* Special Session on Augmented and Virtual Reality for Real-Time Applications

Virtual Reality (VR) allows users to be immersed in and interact with
a fully virtual computer generated environment. On the other hand,
Augmented Reality (AR) technologies add digital information on top of
the physical reality, allowing users to gain more knowledge about
their environment. VR and AR can become valuable tools for
understanding, visualizing or evaluating real-time applications, such
as simulations.

Both technologies offer tremendous possibilities in terms of
visualization, interaction and collaboration and become widely
available with the development of new affordable devices and toolkits.

This special sessions aims at bringing together industrial experts and
researchers from academia to present their results and discuss the
challenges related to the use of VR and AR technologies dedicated to
real-time applications. We welcome research papers on both theoretical
and empirical issues.

Web page: http://ds-rt.com/2016/avrrta_2016.htm

* Special Session on Agent-based Modeling and Simulation

This special session focuses on general aspects and special properties
for agent-based modeling and simulations that allows them to be
applied on several scientific domains, such as sociology, physics,
chemistry, biology, ecology, and economy. The session is intended to
bring together researchers and practitioners, so they can present the
current status of their work and discuss the challenges they face in
developing solutions and applications for agent-based simulations.
Consequently, the design of these simulations aims not only to social
contexts but also to more technical domains, which involves highly
complex interactive systems.

Web page: http://ds-rt.com/2016/abms_2016.htm

Best Regards,
DS-RT 2016 Special Session Chairs
Concurrency mailing list
Concurrency <at> listserver.tue.nl
Erika Abraham | 19 May 14:32 2016

SC² first call for papers


SC-square 2016

First International Workshop on
Satisfiability Checking and Symbolic Computation

September 24, 2016, Timisoara, Romania
Affiliated with SYNASC 2016


===Important dates===

Submission deadline: July 15, 2016
Notification: August 11, 2016
Final version: August 31, 2016
Workshop date: September 24, 2016

===General information===

The First International Workshop on Satisfiability Checking and Symbolic
Computation will be held on 24th September, 2016 in Timisoara, Romania.
It is affiliated to the 18th International Symposium on Symbolic and
Numeric Algorithms for Scientific Computing, SYNASC 2016.


Symbolic Computation is concerned with the algorithmic determination of
exact solutions to complex mathematical problems; more recent
developments in the area of Satisfiability Checking are starting to
tackle similar problems but with different algorithmic and technological
solutions. The two communities share many central interests, but
researchers from these two communities rarely interact. Also, the lack
of common or compatible interfaces of tools is an obstacle to their
fruitful combination. Bridges between the communities in the form of
common platforms and road-maps are necessary to initiate an exchange,
and to support and direct their interaction. The aim of this workshop,
along the SC-square H2020 FETOPEN Coordination and Support Activity
project, is to provide a time to discuss, share knowledge and experience
across both communities.

The workshop is open for submission and participation to everyone
interested in the topics, whether they are members or associates of the
SC-square H2020 FETOPEN CSA project or not.

The topics of interest include but are not limited to:

- Decision procedures and their embedding into SMT solvers and
computer algebra systems
- Satisfiability Checking for Symbolic Computation
- Symbolic Computation for Satisfiability Checking
- Applications relying on both Symbolic Computation and Satisfiability
- Combination of Symbolic Computation and Satisfiability Checking tools

===Submission information===

Submissions should be written in English, formatted according to the
IEEE guidelines, and submitted via EasyChair at
https://easychair.org/conferences/?conf=scsquare2016 . We invite two
kinds of submissions, both having an upper page limit of 8 pages:

- Regular papers, describing research not published or submitted
elsewhere. These papers will be thoroughly reviewed by the Program
Committee, and included in the local proceedings distributed at the
event. The authors can opt in for the selection process to appear as
well in the IEEE post-proceedings of SYNASC.

- Extended abstracts, which are either position papers, description of
research prospects, challenges, projects, ongoing works, or applications
relevant to SC-square. They will be peer-reviewed and will be included
in the local proceedings.

People from industries and businesses are warmly invited to submit
papers to describe their problems, challenges, goals, and expectations
for the SC-square community.

The IEEE guidelines can be found here:

===Keynote Speaker===

Christopher W. Brown (United States Naval Academy, USA)

===Workshop Co-Chairs===

Erika Abraham (RWTH Aachen University, Aachen, Germany)

Pascal Fontaine (Universite de Lorraine, Inria, Loria, Nancy, France)

===Program Committee===

John Abbott (Universitaet Kassel, Kassel, Germany)

Bernd Becker (Albert-Ludwigs-Universitaet, Freiburg, Germany)

Anna M. Bigatti (Universita degli studi di Genova, Italy)

Martin Brain (University of Oxford, U.K.)

Bruno Buchberger (Johannes Kepler Universitaet, Linz, Austria)

Changbo Chen (Chinese Academy of Sciences, China)

James H. Davenport (University of Bath, U.K.)

Matthew England (Coventry University, U.K.)

Stephen Forrest (Maplesoft Europe Ltd)

Vijay Ganesh (University of Waterloo, Canada)

Alberto Griggio (Fondazione Bruno Kessler, Trento, Italy)

Daniel Kroening (University of Oxford, U.K.)

Werner Seiler (Universitaet Kassel, Germany)

Thomas Sturm (CNRS, Nancy, France and MPI Informatik, Germany)

Cesare Tinelli (The University of Iowa, USA)

Ashish Tiwari (SRI, Menlo Park, CA, USA)

Attachment (smime.p7s): application/pkcs7-signature, 6638 bytes
Concurrency mailing list
Concurrency <at> listserver.tue.nl
Sam Staton | 14 May 22:22 2016

LICS 2016 Call for Participation

  5-8 July 2016, New York City, USA
  LICS 2016 will be hosted in New York City during July 5-8, 2016.
  This event also marks the thirtieth anniversary of LICS.
  Logic Mentoring Workshop
  LSB: 6th Workshop on Logic and Systems Biology
  NLCS: 4th Workshop on Natural Language and Computer Science.
  SR: 4th International Workshop on Strategic Reasoning.
  LOLA: Syntax and Semantics of Low-Level Languages.
  May 15, 2016 - Logic Mentoring Workshop and Student Volunteers
  June 3, 2016 - Early Registration Deadline
  July 5-8, 2016 - Conference
  July 9-10, 2016 - Workshops
Concurrency mailing list
Concurrency <at> listserver.tue.nl
David Safranek | 12 May 13:16 2016

SASB 2016: First CfP for the 7th International Workshop on Static Analysis and Systems Biology

-- First Call for Papers --

SASB 2016: SASB 2016: The 7th International Workshop on Static Analysis and Systems Biology


7 September 2016, Edinburgh (Scotland, UK)
In conjunction with Static Analysis Symposium (SAS) 2016


SASB is a one day workshop that aims at promoting discussions and collaborations 
at the intersection inbetween the specific field of formal methods covering modelling 
languages and static analysis, and the following fields: (i) systems biology targetting 
a system-level understanding of biological systems, (ii) synthetic biology targetting 
functional modifications to naturally occurring systems, (iii) molecular programming 
and development of engineered biological and chemical systems.

The workshop targets biological networks and executable models of biological systems 
and molecular devices, focusing on their formal specification and static analysis. 
A special emphasis is given to rule-based and process-algebraic languages 
that have the advantage of compact representation and provide a robust tool for systems 
and synthetic biology as well as a good base for molecular programming languages.


Paper Submission Deadline (abstract):		30th June 2016
Paper Submission Deadline (paper):		5th July 2016
Paper Notification:				8th August 2015

Poster and Oral Presentation Submission:	10th August 2016
Poster and Oral Presentation Notification:	15th August 2016


The program of SASB 2016 will consist of invited talks, oral-only presentations and 
presentations of refereed papers. Work-in-progress and tool presentations will be 
organised at the poster session. Contributions are welcome on all aspects about 
modelling languages and techniques employing static analysis targetting natural 
biological systems and specification, design and verification of engineered biological
and chemical systems, including, but not limited to:

* static analysis frameworks and tools,
* equivalences and equivalence checking techniques,
* model reduction and decomposition techniques based on static analysis,
* state space compaction based on static analysis,
* links between topology and dynamics,
* constraint-based and stoichiometric analysis,
* languages for compact description of biological models,
* formalisms for description of biological networks,
* programming languages for molecular devices,
* static analysis in verification of molecular devices design,
* standards for models and their annotation,
* case studies and method applications,
* informal methods (that could be candidate to formalization).

Contributions are welcome on all aspects about formal modelling and
analysis of natural biological systems and design, verification and
implementation of engineered biological and chemical systems,
including, but not limited to:


We solicit original paper submissions as well as oral-only presentations 
of work published in the last year or work in progress. Additionally, 
tool presentations are considered in terms of poster presentations. All 
contributions will be refereed by the Program Committee below. Selected 
contributions might be invited for a special issue in a high quality 
journal (under negotiation).


Contributors deciding for an oral presentation are welcome to submit 
a one page A4 abstract describing their recent work published last year 
or preliminary results of work in progress. The one-page abstract has to 
describe the primary results and their importance. Abstracts serve the sole 
purpose of selecting contributions for presentation at the workshop. Abstracts 
can be submitted into the EasyChair online submission system


Papers should be written in English, and should be 10-15 pages long,
inclusive of references, and have to be formatted in ENTCS
style. Additional material may be included in a clearly marked
appendix but will not necessarily undergo review. Papers need to be
submitted electronically as PDF files via EasyChair online submission
system (https://easychair.org/conferences/?conf=sasb2016).


We solicit poster presentations describing work-in-progress results or
tools/frameworks. Poster abstracts not exceeding 2 pages A4 can be
submitted into the EasyChair online submission system at
https://easychair.org/conferences/?conf=sasb2016 until August
10th. Abstracts serve the sole purpose of selecting contributions for
the poster session and will not be published in the conference


* Patrick Yizhi Cai, School of Biological Sciences, University of Edinburgh, UK
* Jane Hilston, School of Informatics, University of Edinburgh, UK
* Eugenio Cinquemani, INRIA Grenoble - Rohne-Alpes, France


* Guido Sanguinetti, University of Edinbhurgh, Edinburgh, UK
* David Safranek, Masaryk University, Brno, Czech Republic


Reka Albert	      Pennsylvania State University, USA
Gulio Caravagna	      University of Edinburgh, UK
Luca Cardelli	      Microsoft Research, Cambridge, UK
Claudine Chaouyia    IGC, Oeiras, Portugal
Eugenio Cinquemani   IBIS, INRIA Grenoble, France
Vincent Danos	      École Normale Supérieure & CNRS, France
Francois Fages	      INRIA Rocquencourt, France
Jerome Feret	      École Normale Supérieure & Inria, France
Vashti Galpin	      University of Edinburgh, UK
Jane Hilston	      University of Edinburgh, UK
Gethin Norman	      University of Glasgow, UK
Nicola Paoletti	      University of Oxford, UK
Loic Pauleve	      CNRS/LRI, Université Paris-Sud, France
Ion Petre	      Abo Akademi Turku, Finland
Tatjana Petrov	      IST, Austria
Andrew Phillips	      Microsoft Research, Cambridge, UK
David A. Rosenblueth Universidad Nacional Autonoma de Mexico, Mexico
Thomas Sauter	      University of Luxembourg, Luxembourg
Chris Thachuk	      California Institute of Technology
Mirco Tribastone     IMT Institute for Advanced Studies Lucca, Italy
Paolo Zuliani	      Newcastle University, UK

Concurrency mailing list
Concurrency <at> listserver.tue.nl
h.treharne | 11 May 23:06 2016

Two new Research Fellow positions in Security at the University of Surrey

Dear all,

We have two new Research Fellow positions in the Secure Systems group
within the Department of Computer Science. One is part of a newly funded
EPSRC project entitled ³Improving customer experience while ensuring data
privacy for intelligent mobility² and the other is expanding the group¹s
expertise in verification and trusted computing.

1) https://jobs.surrey.ac.uk/vacancy.aspx?ref=032316 (Security)
2) https://jobs.surrey.ac.uk/vacancy.aspx?ref=032116 (Secure Systems)

The closing date is 13th June, 2016. I would be pleased to hear from
potential applicants and am happy to engage in informal discussions about
these exciting roles. I¹d be grateful if you would circulate amongst your




Dr Helen Treharne

Head of Department
Reader in Secure Systems
Department of Computer Science
University of Surrey
Phone: +44 1483 683161
Mobile: +44 7812034597
Skype: helen.treharne

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Giorgio Delzanno | 11 May 13:33 2016

Movep 2016: Call for Participation

Apologies for multiple copies.


Third Call for Participation

MOVEP 2016: 12th Summer School on Modelling and Verification of Parallel 
27 June-1 July 2016,  Genova, Italy
Web Site and registration: http://movep2016.dibris.unige.it/
Extended deadline for abstract: 25 June


The 12th European summer school MOVEP will take place in Genova (Italy), 
27 June to 1st July 2016. The event is organized by the Department of
Informatics, Bioengineering, Robotics and System Engineering (DIBRIS) of 
University of Genova.

MOVEP is a 5 day summer school about modeling and verifying parallel
processes. The first six occurrences of the School took place in Nantes
(France) every other year from 1994 to 2002. It then moved to Brussels
(Belgium) in 2004 Bordeaux (France) in 2006, Orléans (France) in 2008,
Aachen (Germany) in 2010, Marseilles (France) in 2012 and Nantes 
(France) in

General topics relate to specification and verification of computer systems
and software designed for the control of real-time applications, 
reactive or
critical systems, and involving concurrent and distributed processes.

The purpose of MOVEP is to bring together researchers, students and people
from industry working in the fields of control and verification of 
and reactive systems. The School seeks to offer a broad spectrum of current
research in this area of theoretical and applied computer science. The 
covered by MOVEP'16 include model-checking, controller synthesis, software
verification, temporal logics, real-time and hybrid systems, stochastic
systems, security, run-time verification, etc.

The program consists of tutorial sessions and more-focused
technical talks, and student sessions during which Ph.D. Students
are invited to present their on-going research.

The school is sponsored by CNRS as "École thématique 2016", by INRIA, by 
"Informatique Mathématique", GNCS/Indam, DIBRIS, and University of Genova.

Confirmed speakers and topics:

  Parosh Abdulla, Uppsala University
  Nathalie Bertrand, Inria-Rennes
  Andreas Podelski, University of Freiburg
  Antonin Kucera, Mayasarz University
  David Monniaux, Verimag
  Angelo Montanari, Università di Udine
  Philippe Schnoebelen, LSV-Cachan
  Marielle Stoelinga, University of Twente
  Jean-Marc Talbot, Marseille
  Paolo Tonella, FBK Trento

Preliminary Program

Andreas Podelski: Automated software analysis

Nathalie Bertrand: Probabilistic systems
Tony Kucera: Stochastic Games
Marielle Stoelinga: Stochastic model checking

Parosh A. Abdulla: Parameterized Verification
Philippe Schnoebelen: Verification of Infinite-state Systems

Paolo Tonella: Search based test-case generation
David Monniaux: Inductive Invariants

Angelo Montanari: Temporal Logic, Satisfiability and Model Checking
Jean-Marc Talbot: Tree Automata

Important Dates (please refer to the Website for the full procedure):

  May   25, 2016    Extended submission deadline student abstract
  May   25, 2016    End of early registrations
  June  10, 2016    End of registrations
  June  10, 2016    Notification of abstract acceptance
  June  15, 2016    Deadline for the final version of abstracts
  June  27, 2016    Opening of MOVEP'16
  July   1, 2016    End of MOVEP'16

Registration Fees

We have reserved rooms in student facilities of our University.
Please contact Giorgio Delzanno giorgio.delzanno <at> unige.it for further 
Registrations include lunches, coffee breaks, and material for the school.

*Before May 25
Students 380 euros (accomodation from June 26 till July 1).
Students (without accomodation) 300 euros
Other participants 420 euros

*After May 25
Students 480 euros (accomodation from June 26 till July 1).
Students (without accomodation) 400 euros
Other participants 520 euros

Student sessions

Students have the opportunity to report on their work by giving short 
presentations (approx. 15 minutes). T
The presentation should introduce: the research area and main theme, the 
directions of the work, some results (obtained or expected).
Based on the submissions the organizing committee decides which of the 
abstracts are accepted for presentation at the school. Extended 
abstracts should not exceed 6 pages and should be prepared in english 
with LaTeX2e using the documents class movep.cls.

Extended abstracts should be sent by May 25 via easychair
Submission site: https://easychair.org/conferences/?conf=movep16

Organizing Committee

  Giorgio Delzanno      DIBRIS, University of Genova
  Nicolas Markey        LSV Cachan

  Laura Di Rocco        DIBRIS, University of Genova
  Angelo Ferrando       DIBRIS, University of Genova
  Francesco Leofante    DIBRIS, University of Genova
  Andrea Stocco            DIBRIS, University of Genova

Steering Committee of MOVEP'16

  Franck Cassez         Macquire University Sydney, AU
  Thierry Jéron         INRIA, Rennes, F
  Didier Lime           IRCCyN, Nantes, F
  Christof Löding       RWTH Aachen, DE
  Nicolas Markey        LSV, Cachan, F
  Pierre-Alain Reynier  LIF, Marseille, F

Program Committee of MOVEP'16

  Christel Baier        Technical University of Dresden
  Paolo Baldan         Department of mathematics, University of Padua
  Nathalie Bertrand     Irisa/Inria Rennes
  Dirk Beyer        University of Passau
  Patricia Bouyer     LSV, ENS Cachan
  Véronique Bruyère     UMONS Mons
  Krishnendu Chatterjee    IST Austria
  Alessandro Cimatti     FBK Trento
  Giorgio Delzanno     DIBRIS, University of Genova
  Pierre Ganty        IMDEA Software Institute
  Silvio Ghilardi    Department of Mathematics, University of Milano
  Hugo Gimbert        LaBRI, Bordeaux
  Roberto Giacobazzi    University of Verona
  Javier Esparza        TU München
  Joost-Pieter Katoen     RWTH Aachen University
  Marta Kwiatkowska    Oxford University
  François Laroussinie    LIAFA, University Paris 7
  Salvatore La Torre    Department of mathematics, University of Salerno
  Giuseppe Lipari    University of Lille
  Nicolas Markey        LSV, ENS Cachan
  Annabelle McIver    Macquarie University, Sydney
  Benjamin Monmege    LIF, Aix-Marseille Université
  Angelo Montanari    University of Udine
  Aniello Murano        University of Napoli "Federico II"
  Jean-Francois Raskin    ULB, Brussels
  Olivier Roux         IRCCyN, EC Nantes
  Jiri Srba        Department of Computer Science, Aalborg University

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Alexander Romanovsky | 10 May 15:22 2016

CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems

International Conference on 
Reliability, Safety and Security of Railway Systems: 
Modelling, Analysis, Verification and Certification

28-30 June 2016
Espace du Centenaire, Maison de la RATP, Paris, France

Call for Participation

Conference Aims:
* to bring together researchers and developers
* to ensure that advances in research are driven by the real needs of the railway
* to help develop technology that is usable, scalable and deployable
* to support the provision and utilisation of advanced methods and tools
* to present novel methods for modelling, analysis, verification and validation
* to identify mechanisms and procedures which support evidence cases 
that standards are being met

* to improve railway system safety, security and reliability
* to reduce production cost, time to market and running costs
* to increase system capacity and reduce carbon emissions

* integration of railway systems into larger multi-mode transport networks
* dramatic increases in the complexity of railway applications
* ever higher degree of automation

The conference will feature three invited keynote talks, from eminent 
and experienced investigators:

Robin Bloomfield, Adelard LLP and City University London (UK)
The risk assessment of ERTMS based railway systems from a cyber perspective:
methodology and lessons learnt

Denis Sabatier, ClearSy (France)
Using formal proof and B method at system level for industrial projects

Jan Peleska, University of Bremen and Verified Systems (Germany)
A novel approach to HW/SW integration testing of route-based interlocking 
system controllers

And the invited presentation by Claude Andlauer, Head of Rail Transport for RATP (France)
Formal methods as part of RATP’s DNA

Specific topics to be presented at RSSRail 2016 will include:
* failure analysis, 
* interlocking verification, 
* formal system specification and refinement, 
* security analysis of ERTMS, 
* safety verification,  
* formalisation of requirements, 
* proof automation,
* operational security, 
* railway system reliability, 
* risk assessment for ERTMS, 
* verification of EN-50128 safety requirements.

For more details on the keynote talks, the individual papers and the posters to be 
presented, please visit the website: http://conferences.ncl.ac.uk/rssrail/programme/

The proceedings are published by Springer.

Registration: http://conferences.ncl.ac.uk/rssrail/registration/

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Eva Darulova | 12 May 13:27 2016

PhD (postdoc) position in software verification and synthesis <at> MPI-SWS

** PhD (postdoc) position in software verification and synthesis <at> MPI-SWS ** 

I am looking to fill an open PhD (postdoc) position in the area of software verification and synthesis at the Max Planck Institute for Software Systems starting in fall 2016. 

Computing resources are fundamentally limited and we often end up approximating our computations, trading accuracy for resource efficiency when implementing real-world systems. Unfortunately, we are currently lacking the required tool support to take full advantage of this tradeoff. I am looking for motivated candidates who would like to work with me on a ‘verifying and approximating compiler’ which will apply approximations automatically and in a trustworthy fashion.

** Requirements **

Successful candidates should have a four-year Bachelor's degree or a Master's degree in computer science or a related subject from a leading institution of higher education, creativity and aptitude for research in a dynamic multi-cultural team, and proficiency in spoken and written English. Knowledge of the German language is not required. 

Qualified candidates can also be considered for a postdoc position.

** Institute **

The Max Planck Institute for Software Systems is located in Kaiserslautern and Saarbrücken in Germany and offers doctoral programs in collaboration with universities. We maintain an open, international, and diverse work environment and collaborate with several major research institutions worldwide. Our working language is English.
The advertised position is located in Saarbrücken.

** Application **

Please apply at https://apply.mpi-sws.org/ with under "Doctorate" (resp. "Postdoc"), and select “Programming Languages, Software Engineering, and Verification’' as the field and let me know separately about your application via email. Required application materials include a CV, transcript, statement of purpose (resp. research statement) and min. two references.

Please contact Eva Darulova (www.mpi-sws.org/~eva) with any questions.

The institute is committed to increasing the representation of minorities, women and persons with disabilities and expressly welcomes them to apply.

Reviewing of applications will start in June 2016.


Eva Darulova

Concurrency mailing list
Concurrency <at> listserver.tue.nl
George Angelos Papadopoulos | 10 May 14:32 2016

21st International Symposium on Formal Methods (FM 2016): Last Call for Papers

FM 2016: 21st International Symposium on Formal Methods

Limassol, Cyprus, 7-11 November 2016



Abstract submission deadline: 16 May 2016
Full paper submission deadline: 30 May 2016
Notification: 8 August 2016
Camera ready: 5 September 2016
Conference: 7-11 November 2016


FM 2016 is the latest in a series of symposia organized by Formal Methods
Europe, an independent association that encourages the use of, and research
on, formal methods for the engineering of computer-based systems and
software. The symposia have been notably successful in bringing together
researchers and industrial users around a programme of original papers on
research and industrial experience, workshops, tutorials, reports on tools,
projects, and ongoing doctoral work.


FM 2016 will highlight the development and application of formal methods 
in a wide range of domains including software, computer-based systems,
systems-of-systems, human interaction, manufacturing, sustainability,
power, transport, cities, healthcare, and biology. We also welcome papers
on experiences of formal methods in industry, and on the design and
validation of formal methods tools. 


FM 2016 encourages submissions on formal methods for developing and
evaluating systems that interact with physical processes, and systems that
use artificial intelligence technology. Examples include autonomous systems,
robots, and cyber-physical systems in general. Applying formal methods to
these systems of growing interest and importance is challenging because
they exhibit much greater non-determinism than traditional systems, making
them challenging to assure.

The broad topics of interest for FM 2016 include, but are not limited to:

• Interdisciplinary formal methods: Techniques, tools and experiences
demonstrating formal methods in interdisciplinary frameworks.

• Formal methods in practice: Industrial applications of formal methods,
experience with formal methods in industry, tool usage reports, experiments
with challenge problems. Authors are encouraged to explain how formal
methods overcame problems, led to improved designs, or provided new

• Tools for formal methods: Advances in automated verification and
model-checking, tools integration, environments for formal methods, and
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, and 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 tools.



• Manfred Broy, Technical University of Munich, Germany
• Peter O'Hearn, University College London and Facebook, UK
• Jan Peleska, University of Bremen and Verified Software International,


Papers should be original work, not published or submitted elsewhere, in
 Springer LNCS format, written in English, submitted through Easychair


Each paper will be evaluated by at least three members of the Programme
Committee.  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. The
usual criteria for novelty, reproducibility, correctness and the ability for
others to build upon the described work apply.  Tool papers should explain
enhancements made compared to previously published work. A tool paper
need not present the theory behind the tool but should focus more on the
tool’s features, how it is used, its evaluation, and examples and screen shots
illustrating the tool’s use. Authors of tool papers should make their tool
available for use by reviewers.

We solicit two categories of papers:

• Regular Papers should not exceed 15 pages, not counting references
and appendices.

• Short papers, including tool papers, should not exceed 6 pages, not
counting references and appendices. 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 part of the page
count and not guaranteed to be read or taken into account by the reviewers.
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.


During the conference, the Programme Committee Chairs will present an
award to the authors of the submission selected as the FM 2016 Best Paper.



Accepted papers will be published in the Symposium Proceedings to appear
in Springer’s Lecture Notes in Computer Science.  Extended versions of
selected papers will be invited for publication in a special issue of one or
more journals.


FM 2016 is organized by the University of Cyprus and will take place at St.
Raphael Resort, Limassol, Cyprus. 


Anna Philippou, University of Cyprus, Cyprus


John S Fitzgerald, Newcastle University, UK
Stefania Gnesi, CNR-ISTI, Italy
Constance L Heitmeyer, Naval Research Laboratory, USA


Erika Abraham, RWTH Aachen University, Germany 
Bernhard Aichernig, TU Graz, Austria
Myla Archer, Naval Research Laboratory, USA 
Gilles Barthe, IMDEA Software Institute, Spain
Nikolaj Bjørner, Microsoft Research, USA
Michael Butler, University of Southampton, UK
Andrew Butterfield, Trinity College, Dublin, Ireland
Ana Cavalcanti, University of York, UK
David Clark, University College, London, UK
Frank De Boer, CWI, Netherlands
Jin Song Dong, National University of Singapore, Singapore
Javier Esparza, Technical University of Munich, Germany
John Fitzgerald, Newcastle University, UK
Vijay Ganesh, University of Waterloo, Canada
Diego Garbervetsky, University of Buenos Aires, Argentina
Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy 
Wolfgang Grieskamp, Google, USA
Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
Anne E. Haxthausen, Technical University of Denmark, Denmark
Ian Hayes, University of Queensland, Australia
Constance Heitmeyer, Naval Research Laboratory, USA
Jozef Hooman, TNO-ESI and Radboud University Nijmegen, Netherlands
Laura Humphrey, Air Force Research Laboratory, USA
Fuyuki Ishikawa, National Institute of Informatics, Japan
Einar Broch Johnsen, University of Oslo, Norway
Cliff Jones, Newcastle University, UK
Joost-Pieter Katoen, RWTH Aachen University, Germany 
Gerwin Klein, NICTA and University of New South Wales, Australia
Laura Kovacs, Chalmers University of Technology, Sweden
Peter Gorm Larsen, Aarhus University, Denmark
Yves Ledru, IMAG, France
Rustan Leino, Microsoft Research, USA
Elizabeth Leonard, Naval Research Laboratory, USA
Martin Leucker, University of Lübeck, Germany
Michael Leuschel, University of Düsseldorf, Germany
Zhiming Liu, Birmingham City University, UK
Tiziana Margaria, Lero, Ireland
Mieke Massink, CNR-ISTI, Italy
Annabelle McIver, Macquarie University, Australia
Dominique Méry, Université de Lorraine, LORIA, France
Peter Müller, ETH Zürich, Switzerland
Tobias Nipkow, TU München, Germany
José Oliveira, Universidade do Minho, Portugal
Olaf Owe, University of Oslo, Norway
Sam Owre, SRI International, USA
Anna Philippou, University of Cyprus, Cyprus
Elvinia Riccobene, DTI - University of Milan, Italy
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Augusto Sampaio, Federal University of Pernambuco, Brazil
Gerardo Schneider, Chalmers & University of Gothenburg, Sweden
Natasha Sharygina, University of Lugano, Switzerland 
Marjan Sirjani, Reykjavik University, Iceland
Ana Sokolova, University of Salzburg, Austria
Jun Sun, Singapore University of Technology and Design
Kenji Taguchi, AIST, Japan
Stefano Tonetta, FBK-irst, Italy
Marcel Verhoef, European Space Agency, Netherlands
Alan Wassyng, McMaster University, Canada
Heike Wehrheim, University of Paderborn, Germany 
Michael Whalen, University of Minnesota, USA
Jim Woodcock, University of York, UK
Fatiha Zaidi, Université Paris-Sud, France
Gianluigi Zavattaro, University of Bologna, Italy
Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China
Jian Zhang, Institute of Software, Chinese Academy of Sciences, China

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Christian Colombo | 11 May 14:05 2016

Call for Participation: ARVI COST Summer School on Runtime Verification 2016

Dear Colleagues,

We are excited to announce the first edition of the ARVI COST Summer School on Runtime Verification: Branches of Practical Topics Rooted in Theory. As the name suggests, the summer school promises to provide a balance of theory and practice: In the theoretical aspect, while all the core concepts will be thoroughly covered, participants will also be exposed to cutting edge advances in the field. At the same time, the summer school will be very hands-on and students will follow up with practical work in the evenings so that by the end of the summer school, participants will have their own basic runtime verification (RV) tool.  

The summer school will be co-located with the 16th International Conference on Runtime Verification in Madrid and organised over three days with a series of lectures from international experts in the field. For Ph.D. students and researchers entering the field of RV, the school will be a great opportunity to get to know other people working in the area, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future. For people coming from industry, the school will provide an exposition of the major challenges as well as possible solutions to the application of RV in industry, an exposition to the major tools, as well as the basics of RV tool-building.


The basics of runtime verification

Instrumentation techniques

Specification languages

Monitor parametrisation

Monitoring concurrency errors

Performance issues of monitors

Combination of static and dynamic analysis

Monitoring of distributed systems

Time-triggered monitoring

Confirmed Speakers:

> Prof. Wolfgang Ahrendt – Chalmers University of Technology and University of Gothenburg (Sweden)

> Prof. Ezio Bartocci – University of Vienna (Austria).

> Prof. Borzoo Bonakdarpour – University of MacMaster (Canada).

> Dr. Marius Bozga – CNRS – Vérimag (France).

> Dr. Christian Colombo – University of Malta (Malta).

> Dr. Yliès Falcone – University of Grenoble (France).

> Dr. Adrian Francalanza – University of Malta (Malta).

> Dr. Klaus Havelund – NASA Jet Propulsion Laboratory (USA).

> Prof. Martin Leucker – University of Lübeck (Germany).

> Prof. Joao Lourenço – Universidade Nova de Lisboa (Portugal).

> Prof. Dejan Nikovic Technical University of Vienna (Austria).

> Prof. Gordon Pace – University of Malta (Malta).

> Dr. Giles Reger – University of Manchester (UK).


Registration fee is 195 euros for students and 245 euros for non-students. Registration includes lunches and coffee breaks from Friday 23rd through Sunday 25th September, as well as a reception.  

Application Procedure and Important Dates:

Deadline for Applications: July 15, 2016.

Response to Applicants: July 20, 2016.

Online Registration and Fee payment: July 29, 2016.

Since attendance is limited, priority will be given to Ph.D. students and companies' staff.

To express your interest in participating in the Summer School, kindly fill in this form.

More details can be found at: https://rv2016.imag.fr/?page_id=128.

Enquiries can be sent to Ylies.Falcone-wMUr/XMoy4A@public.gmane.org or Christian.Colombo-Mj5aoWcxWbpeoWH0uzbU5w@public.gmane.org.

Best Regards,

Ylies Falcone and Christian Colombo

Concurrency mailing list
Concurrency <at> listserver.tue.nl