Ulrik Nyman | 7 Oct 09:51 2015

EMSIG Autumn School, November 9th to 13th, Call for Participation

             Call for Participation

        EMSIG Autumn School 2015
          November 9th to 13th
          Copenhagen, Denmark

Embedded Systems Special Interest Group (http://www.emsig.net/) is together with
IDEA4CPS (http://www.idea4cps.dk/), Aalborg University and Technical University of Denmark
organizing an Autumn School on Embedded Systems.
The lectures have been selected to span both embedded techniques and tools as well as
system engineering and application aspects. The school will also include presentations from
Danish companies that have participated in the ITOS project. 

The lectures will be given by top researcher within their fields and will touch on the hot topics of:
  • Cyber-Physical Systems
  • IoT
  • Smart Cities
  • Industrie 4.0
The EMSIG Autumn School will be held in Copenhagen from the 9th to the 13th of November.

The speakers are the following.
  • Karl-Erik Årzén, Lund University
  • Tarek F. Abdelzaher, University of Illinois at Urbana Champaign
  • Insup Lee, University of Pennsylvania
  • Radu Grosu, Vienna University of Technology
  • Peter Marwedel, TU Dortmund
  • Kim G. Larsen, Aalborg University
  • Jan Madsen, Danish Technical University
Read more on the PhD School homepage http://www.ciss.dk/en/emsig2015/

-- Ulrik Nyman, http://people.cs.aau.dk/~ulrik, phone +45 9940 9985 Associate Professor, Ph.D. Center for Embedded Software Systems, Department of Computer Science Aalborg University, Selma Lagerlöfs Vej 300, DK-9220 Aalborg East
Concurrency mailing list
Concurrency <at> listserver.tue.nl
Oleg Sokolsky | 8 Oct 20:46 2015

[CFP]: CREST: 1st Workshop on Causal-based Reasoning for Embedded and Safety-Critical Systems Technologies

Apologies if you receive multiple postings of this CFP

CREST: 1st Workshop on Causal-based Reasoning for Embedded and
Safety-Critical Systems Technologies

April 8, 2016

Satellite event of ETAPS 2016, Eindhoven, The Netherlands



Today's IT systems, and the interactions among them, become more and
more complex. Power grid blackouts, airplane crashes, failures of
medical devices, cruise control devices out of control are just a few
examples of incidents due to component failures and unexpected
interactions of subsystems under conditions that have not been
anticipated during system design and testing. The failure of one
component may entail a cascade of failures in other components;
several components may also fail independently. In such cases,
determining the root cause(s) of a system-level failure and
elucidating the exact scenario that led to the failure is today a
complex and tedious task that requires significant expertise. In the
security domain, localizing instructions and tracking agents
responsible for information leakage is a central problem.

Formal approaches for automated causality analysis, fault
localization, explanation of events, accountability and blaming have
been proposed independently by several communities - in particular,
AI, concurrency, model-based diagnosis, formal methods. Work on these
topics has significantly gained speed during the last years.

The goals of this workshop are to bring together and foster exchange
between researchers from the different communities, and to present and
discuss recent advances and new ideas in the field.

Topics of interest include, but are not limited to:

- formal models of causal systems and structures
- languages and logics for specification and causal analysis
- definitions of causality and explanation
- causality analysis on models, programs, and/or traces
- fault localization
- fault ascription and blaming
- accountability
- applications, implementations, and case studies of the above

Keynote Speakers

Hana Chockler, King's College, UK

Selection procedure, committees, and organization

All contributed papers will be reviewed by at least 3 PC members.
Revised versions of selected papers will be published as formal
post-proceedings at EPTCS (approval pending).

The second part of the workshop will be dedicated to a common
discussion of a case study and/or a panel on challenges and a
longer-term vision of causality analysis in computer science.

Program Committee

Salem Benferhat, CRIL - Université d'Artois, France
Hana Chockler, King's College, UK
Eric Fabre, INRIA, France
Gregor Gössler, INRIA, France (co-chair)
Alex Groce, Oregon State University, USA
Sylvain Hallé, University of Quebec at Chicoutimi, Canada
Joseph Halpern, Cornell University, USA
Stefan Leue, University of Konstanz, Germany
Dejan Nickovic, Austrian Institute of Technology, Austria
Andy Podgurski, Case Western Reserve University, USA
Oleg Sokolsky, University of Pennsylvania, USA (co-chair)
Jean-Bernard Stefani, INRIA, France
Louise Travé-Massuyès, LAAS-CNRS, France
Joost Vennekens, K.U. Leuven, Belgium
Chao Wang, Virginia Tech, USA
Georg Weissenbacher, Vienna University of Technology, Austria

Organizers: G. Goessler (INRIA, France) and O. Sokolsky
(U. Pennsylvania, US)

Important dates:

- abstracts due: January 10, 2016
- full papers due: January 17, 2016
- notification: February 18, 2016
- revised papers for pre-proceedings: March 3, 2016
- workshop: April 8, 2016
- camera ready for post-proceedings (EPTCS, approval pending): mid-May 2016

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Reinhard von Hanxleden | 5 Oct 11:02 2015

SYNCHRON 2015 in Kiel - Final Call for Participation, Early Registration: October 31

[With apologies for multiple copies]

International Open Workshop on Synchronous Programming

November 30 to December 4, 2015
Kiel, Germany

The registration for the 22nd International Open Workshop on Synchronous
Programming (SYNCHRON 2015) including payment processing and accomodation information is now open at:


Early registration and reduced hotel rates expire October 31.

SYNCHRON is the yearly rendezvous for all researchers working in or
around the field of synchronous programming. It is an open forum where
students and researchers can present and discuss about ongoing work on
the numerous topics related to synchronous programming: language design,
compilation, validation, case-studies, models of computation and
communication, domain-specific languages, concurrency and scheduling
theory, modeling pragmatics etc.

Kiel, located in Northern Germany at the Baltic Sea, is a modern port
city with a young population, due in large part to the
Christian-Albrechts Universität which celebrates this year its 350th
anniversary. The workshop venue will be the Kunsthalle zu Kiel, an art
museum right next to the sea. The social event, on Thursday
afternoon/evening, consists of a visit to the Ship Museum followed by a
dinner cruise on the historic MS Stadt Kiel. External sponsoring allows
to offer a reduced registration fee for young researchers. 

I look forward to welcome you in Kiel to SYNCHRON 2015, kind regards,

Reinhard von Hanxleden

Attachment (rvh.vcf): text/x-vcard, 368 bytes
Concurrency mailing list
Concurrency <at> listserver.tue.nl
MALLET Frédéric | 9 Oct 10:14 2015

CfP: TASE 2016

   10th International Symposium on Theoretical Aspects of Software 

                               Call for Papers

                                  TASE 2016

                      July 17-19, 2016, Shanghai, China

* Important dates

     Abstract research paper       10 January 2016
     Submission research paper     17 January 2016 (strict)
     Author notification           20 March 2016
     Camera ready copy             10 April 2016

* Objectives and scope

    TASE is an international symposium that aims to bring together 
    and developers from academia and industry with interests in the 
    aspects of software engineering. Modern society is increasingly 
    on software systems that are becoming larger and more complex. This 
    new challenges to current software engineering methodologies that 
need to
    be enhanced using modern results from theoretical computer science.

    We invite submissions of research papers on topics covering all 
    aspects of software engineering, including, but not limited to, the

    + Abstract interpretation
    + Algebraic and co-algebraic specifications
    + Aspect oriented software
    + Component-based systems
    + Cyber-physical systems
    + Deductive verification
    + Distributed and concurrent systems
    + Embedded and real-time systems
    + Feature-oriented software
    + Formal verification and program semantics
    + Integration of formal methods
    + Language design
    + Model checking and theorem proving
    + Object-oriented systems
    + Program logics and calculi
    + Quantum computation
    + Run-time verification and monitoring
    + Service-oriented and cloud computing
    + Software architecture
    + Software testing and quality assurance
    + Software security and reliability
    + Static analysis of programs
    + Type systems and behavioural typing
    + Tools exploiting theoretical results

* Venue and event

    TASE 2016 will be held on the campus of the East China Normal University
    in Shanghai, China, on 17 - 19 July 2016.

* Keynote speakers

    Christel Baier (Technical University of Dresden, DE)
    Ana Cavalcanti (University of York, UK)
    Jifeng He (East China Normal University, CN)

* General chairs

    W. Eric Wong (The University of Texas at Dallas, USA)
    Huibiao Zhu (East China Normal University, China)

* PC chairs

    Marcello Bonsangue (Leiden University, NL)
    Yuxin Deng (East China Normal University, CN)

* Publicity chairs

    Frederic Mallet (University of Nice Sophia Antipolis, FR)
    Min Zhang (East China Normal University, CN)

* Programme committee

    Erika Abraham (RWTH Aachen University, DE)
    Bernhard Aichernig (Graz University of Technology, AT)
    Elvira Albert (Complutense University of Madrid, ES)
    Davide Ancona (University of Genova, IT)
    Farhad Arbab (CWI, NL)
    Luis Barbosa (University of Minho, PT)
    Richard Bubel (Techniacl University of Darmastadt, DE)
    Andrew Butterfield (Trinity College Dublin, IE)
    Marco Carbone (IT University of Copenhagen, DK)
    Rocco de Nicola (IMT-Institute for Advanced Studies, IT)
    Zhenhua Duan (Xidian University, CN)
    Yuxi Fu (Shanghai Jiao Tong University, CN)
    Stefania Gnesi (ISTI-CNR, IT)
    Hai-Feng Guo (University of Nebraska at Omaha, USA)
    Zhenjiang Hu (National Institute of Informatics, JP)
    Marieke Huisman (University of Tweente, NL)
    Dang Van Hung (Vietnam National University, VT)
    Einar Broch Johnsen (Oslo University, NO)
    Laura Kovacs (Chalmers University of Technology, SE)
    Xuandong Li (Nanjing University, CN)
    Shaoying Liu (Hosei University, JP)
    Zhiming Liu (Birmingham City University, UK)
    Antonia Lopes (University of Lisbon, PT)
    Frederic Mallet (University of Nice Sophia Antipolis, FR)
    Carroll Morgan (University of New South Wales, AU)
    Mohammad Reza Mousavi (Halmstad University, SE)
    Catuscia Palamidessi (INRIA, FR)
    Jun Pang (University of Luxembourg, LU)
    Luigia Petre (Abo Akademi University, FI)
    Shengchao Qin (Teesside University, UK)
    Zongyan Qiu (Peking University, CN)
    Gerardo Schneider (Chalmers University of Technology, SE)
    Emil Sekerinski (McMaster University, CA)
    Georg Struth (University of Sheffield, UK)
    Jing Sun (University of Auckland, NZ)
    Jun Sun (Singapore University of Technology and Design, SG)
    Jean Pierre Talpin (INRIA, FR)
    Andrzej Tarlecki (Warsaw University, PL)
    Viktor Vafeiadis (MPI-SWS, DE)
    Chao Wang (Virginia Tech, US)
    Yi Wang (Uppsala University, SE)
    Heike Wehrheim (University of Paderborn, DE)
    W. Eric Wong (The University of Texas at Dallas, US)
    Lijun Zhang (Chinese Academy of Sciences, CN)
    Min Zhang (East China Normal University, CN)
    Huibiao Zhu (East China Normal University, CN)

* Steering Committee:
    Keijiro Araki (Kyushu University, JP)
    Jifeng He (East China Normal University, CN)
    Michael Hinchey (Lero, IE)
    Shengchao Qin (Teesside University, UK)
    Huibiao Zhu (East China Normal University, CN)

* Submission guidelines

    We solicit contributions that describe original and unpublished 
    and should not be submitted for publication elsewhere. They are 
limited to
    8 pages, must be written in English, and the format should adhere to the
    A4 double column IEEE style. Please prepare your manuscripts with 
    to the IEEE guidelines. Papers should be submitted electronically as 
    file via the Easychair system at


    The proceedings of the TASE 2016 symposium will include all accepted 
    and will be published by the IEEE Computer Society Press (approval 
    The authors of selected papers will be invited after the symposium to
    submit an extended version to a journal special issue.


Concurrency mailing list
Concurrency <at> listserver.tue.nl
François KEPES | 7 Oct 10:08 2015

Registration deadline 15 October: High level Conference on Synthetic Biology near Paris — 14-18 December 2015

Do not hesitate to disseminate this first announcement to your contacts, and to display the poster available from the conference web page.
Due to the limited number of seats in the conference room, registration to participate in the conference is compulsory.
If you have any queries, please send them to:
François Képès  : francois.kepes-LwxQDtgxm8n/oRO/pFzpJw@public.gmane.orgle.fr (scientific programme)
Elisabeth Jasserand : jasserand-JF6ZxpPIf3o@public.gmane.org (practical organisation).


Entretiens interdisciplinaires de Bures


14-18 December 2015
Institut des Hautes Études Scientifiques

Synthetic Biology is heralded as a novel approach to the engineering of biosystems that will set the scene for a flourishing knowledge-based bio-economy. Benefits for the fundamental understanding of biological phenomena are also claimed, as rational construction of a system based on hypothesized design principles can be used to test assumptions. The keywords of synthetic biology are rational design, decoupling of conception and fabrication, standardization and component re-use, modularity and hierarchy, orthogonality and context-insensitivity. However, each keyword raises questions of desirability and feasibility. These questions remain ongoing areas of inquiry for the field and require multi-faceted approaches.
Beyond the current hype surrounding it, what is the value of synthetic biology for the progress in understanding of biological systems and for the establishment of new biotechnological production platforms?

Timothy K. LU
Steven BENNER (Ffame, Gainesville, FL, USA) 
Victor DE LORENZO (CNB, CSIC, Madrid, ES)
Tim GARDNER (Riffyn, Oakland, CA, USA) 
Misha GROMOV (IHÉS, Bures, FR) Chair
Jutta HEIM (Evolva, Reinach, CH) 
Patrick JOHNSON (Dassault Systèmes, Vélizy, FR)  
François KEPES (Genopole, CNRS, Evry, FR) Chair
Richard KITNEY (Imperial College London, UK) 
Udo REICHL (Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, DE) 
Susan ROSSER (Edinburgh University, UK) 
Reshma SHETTY (Ginkgo Bioworks, Boston, Mass, USA) 
Minus VAN BAALEN (ENS Paris, FR) 

IHÉS (6 min on foot from nearest metro station — from Paris take RER line B — details here)

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Vincenzo De Florio | 5 Oct 17:27 2015


Dear Sirs, dear Madams,
please consider submitting papers to ANTIFRAGILE 2016!

ANTIFRAGILE 2016 - the 3rd International Workshop on Computational Antifragility and Antifragile Engineering
in the framework of the 7th International Conference on Ambient Systems, Networks and Technologies (ANT-2016),
May 23-26, 2016, Universidad Politécnica de Madrid in Madrid, Spain

The engineering of antifragile computer-based systems is a challenge that, once met, would allow systems and ambients to self-evolve and self-improve by learning from accidents and mistakes in a way not dissimilar to that of human beings. Learning how to design and craft antifragile systems is an extraordinary challenge whose tackling is likely to reverberate on many a computer engineering field. New methods, programming languages, even custom platforms will have to be designed. The expected returns are extraordinary as well: antifragile computer engineering promises to enable realizing truly autonomic systems and ambients able to meta-adapt to changing circumstances; to self-adjust to dynamically changing environments and ambients; to self-organize so as to track dynamically and proactively optimal strategies to sustain scalability, high-performance, and energy efficiency; to personalize their aspects and behaviors after each and every user. And to learn how to get better while doing it.

Building on top of the very positive responses of last two years, enriched by the participation of Professor N. N. Taleb and Dr. Kenny H. Jones from NASA who kindly provided their keynote speeches, this third edition of ANTIFRAGILE aims to further enhance the awareness of the challenges of antifragile engineering and to continue the initiated discussion on how computer and software engineering may address them. As a design aspect cross-cutting through all system and communication layers, antifragile engineering calls for multi-disciplinary visions and approaches able to bridge the gaps between “distant” research communities so as to

-propose novel solutions to design, develop, and evaluate antifragile systems and ambients;
-devise computational models and paradigms for antifragile engineering;
-provide analytical and simulation models and tools to measure a system's ability to withstand faults, adjust to new environments, and enhance their identity and resilience in the process;
-foster the exchange of ideas and promote discussions able to steer future research and development efforts in the area of computational antifragility.

The main topics of the workshop include, but are not limited to:
-Conceptual frameworks for antifragile systems, ambients, and behaviours;
-Dependability, resilience, and antifragile requirements and open issues;
-Design principles, models, and techniques for realizing antifragile systems and behaviours;
-Frameworks and techniques enabling resilient and antifragile applications;
-Discussion and analysis if antifragile applications;
-Antifragile human-machine interaction;
-End-to-end approaches towards antifragile services;
-Autonomic antifragile behaviours;
-Middleware architectures and mechanisms for resilience and antifragility;
-Theoretical foundation of resilient and antifragile behaviours;
-Formal modeling of resilience and antifragility;
-Programming language support for resilience and antifragility;
-Machine learning as a foundation of resilient and antifragile architectures;
-Antifragility and resiliency against malicious attacks;
-Antifragility and the Cloud;
-Service Level Agreements for Antifragility;
-Verification and validation of resilience and antifragility;
-Antifragile and resilient services;
-Programming language support for antifragility (e.g., via functional languages);
-Models of concurrent behaviors of "parts" leasing to antifragile behaviors of the "whole";
-Safety and security issues with reference to systems able to self-evolve their identity.

All accepted papers of the previous editions of the workshop are freely available (see https://sites.google.com/site/antifragile2016/). A description of two of the papers of the first edition of the workshop, as well as their presentations, are available through the referenced page. For more information about computational antifragility, please consider visiting also the LinkedIn group on Computational Antifragility: http://goo.gl/BBSNvj

ANTIFRAGILE is this year co-located with the 7th International Conference on Ambient Systems, Networks and Technologies, May 23-26, 2016, the Universidad Politécnica de Madrid in Madrid, Spain. ANTIFRAGILE is likely to take place on May 24 (though this has not been confirmed yet.)
Concurrency mailing list
Concurrency <at> listserver.tue.nl
Dominique Zeliszewski | 5 Oct 17:32 2015

First announcement: Thematic Research School "advances in Systems & Synthetic Biology". Evry, March 21-25, 2016

Dear colleague,


It is our pleasure to announce the 2016 Thematic Research School on "advances in Systems & Synthetic Biology: Modelling complex biological systems in the context of genomics". The next session will take place in Evry on March 21-25, 2016.

The program may be found on the dedicated website. It includes conferences (the speakers are listed below), hands-on tutorials, selected talks by students and postdocs, and poster sessions.

This annual cross-disciplinary Thematic School on Systems and Synthetic Biology started in 2002.

Best wishes,

The aSSB-Evry'16 Scientific Board


Metabolism & Signalling

Jonathan Karr - Inst. for Genomics & Multiscale Biology Inst., the Mount Sinai School of Medicine, New York, US

Tamas Korcsmaros – TGAC / Inst. Food Research, Norwich, UK

Modeling gene circuits

Paul François, Dept. of Physics, McGill U., CA
Silvia Santos – MRC clinical sciences centre, Imperial College London, UK

DNA computing

Yannick Rondelez - LIMMS/CNRS-IIS, U. of Tokyo, JP
Friedrich Simmel - Systems Biophysics and Bionanotechnology, Technische Universität München, DE

Computer science – Applications of logical approaches

Madalena Chaves - Biocore group, INRIA Sophia Antipolis Meditérranée, FR

Erol Gelenbe – ISN, Imperial College London, UK

Synthetic genomics & Xenobiology

John Glass - Synthetic Biology and Bioenergy Group, JCVI, Rockville, US

Stefan Schiller - FRIAS, Freiburg, DE

Art and Science

Markus Schmidt – Biofaction, Vienna, AT


Patrick Amar (U. Paris-Sud, Orsay, FR)
Gilles Bernot (U. Nice-Sophia, FR)
Marie Beurton-Aimar (U. Bordeaux, FR)
Attila Csikasz-Nagy (Edmund Mach Fundation, S. Michele all’Adige, IT)
Oliver Ebenhoeh (U. of Aberdeen, UK & Heinrich-Heine-U. Dusseldorf, DE)
Ivan Junier (U. Joseph Fourier, Grenoble, FR)
Marcelline Kaufman (U. Libre de Bruxelles, BE)
François Képès (CNRS Evry, FR), Chair
Pascale Le Gall (Ecole Centrale Paris, FR)
Sheref Mansy (U. Trento, IT)
Jean-Pierre Mazat (U. Bordeaux, FR)
Victor Norris (U. Rouen, FR)
William Saurin (Sobios, Sophia-Antipolis, FR)
El Houssine Snoussi (U. Mohammed 5-Souissi, Rabat, MA)
Ines Thiele (U. Luxembourg, LU)
Birgit Wiltschi (Austrian Centre of Industrial Biotechnology, Graz, AT)

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Tarmo Uustalu | 28 Sep 13:14 2015

ETAPS 2016 final call for papers


                  CALL FOR PAPERS: ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

           Eindhoven, The Netherlands, 2-8 April 2016




ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
ninteenth event in the series.

-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
       (PC chair Peter Thiemann, Universität Freiburg, Germany)
   * FASE: Fundamental Approaches to Software Engineering
       (PC chairs Perdita Stevens, University of Edinburgh, UK,
        and Andrzej Wasowski, IT University of Copenhagen, Denmark)
   * FOSSACS: Foundations of Software Science
       and Computation Structures
       (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, 
        The Netherlands,  and Christof Löding, RWTH Aachen, Germany)
   * POST: Principles of Security and Trust
       (PC chairs Frank Piessens, Katholieke Universiteit Leuven, 
        Belgium,  and Luca Viganò, King's College London, UK)
   * TACAS: Tools and Algorithms for
       the Construction and Analysis of Systems
       (PC chairs Marsha Chechik, University of Toronto, Canada,
        and Jean-François Raskin (Université Libre de Bruxelles,
TACAS '16 hosts the 5th Competition on Software Verification


   * Unifying speakers:
     Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
     Rupak Majumdar (MPI Kaiserslautern, Germany)

   * ESOP invited speaker:
     Cristina Lopes (University of California at Irvine, USA)
   * FASE invited speaker:
     Oscar Nierstrasz (Universität Bern, Switzerland)
   * POST invited speaker: 
     Vitaly Shmatikov (University of Texas at Austin, USA)


   * 9 October 2015: Submission deadline for abstracts
   * 16 October 2015: Submission deadline for full papers
   * 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
   * 18 December 2015: Notification of acceptance
   * 8 January 2016: Camera-ready versions due


ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. 

ESOP and FoSSaCS accept only research papers. 

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL


and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will try a light-weight double-blind review process (see

- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).

- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
   presented. Please include the URL of the tool (if available) and
   provide information that illustrates the maturity and robustness of
   the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
   demonstration will be carried out and what it will show, including
   screen dumps and examples. (This part will be not be included in the
   proceedings, but will be evaluated.

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.

-- SATELLITE EVENTS (2-3 April, 8 April) --

Around 20 satellite workshops will take place before and after the
main conferences.


Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.


ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.


* General chair: Jan Friso Groote
* Workshops chairs: Erik de Vink and Julien Schmaltz
* Publicity chair: Anton Wijs


Please do not hesitate to contact the organizers at
j.f.groote <at> tue.nl, a.j.wijs <at> tue.nl.

Concurrency mailing list
Concurrency <at> listserver.tue.nl
stephane.galland | 26 Sep 17:51 2015

1 week remaining - Call for Workshops Proposals - 7th International Conference on Ambient Systems, Networks and Technologies

-------------- Call for Workshops Proposals ----------------------

         The 7th International Conference on Ambient Systems, Networks and Technologies (ANT-2016)

                                          Madrid, Spain
                                         May 23-26, 2016

                   Conference Website:  http://cs-conferences.acadiau.ca/ant-16/#workshop

Important Date

- Workshop Proposal Due: October 5, 2015

ANT-2016 organizing committee invites proposals for workshops. The main objective of the workshops is to
provide a forum for researchers and professionals to discuss a specific topic from the field of ANT-2016
and its related areas.


All papers accepted for workshops will be included in the ANT-2016 proceedings, which will be published by
Elsevier. The authors must follow Elsevier guidelines as given in ANT-2016 Website. The number of pages
for workshop papers is limited to 6 pages. The selective outstanding papers presented at the workshops,
after further revision, will be considered for publication in journals special issues.

Proposal Format
- Title of the workshop
- Workshop Website: tentative address, or old address (if applicable)
- Full contact of workshop organizer(s)
- Expected number of paper submissions
- Draft Call for papers of the workshop
- Tentative list of TPC members

Financial assistance
To appreciate your hard work and support, the registration fees for one organizer of each workshop will be
waived for workshops with more than eight registered papers. Please refer to (Important Dates) for the
deadline for proposals.

Workshops Chair
Dr. Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France (Email: stephane.galland@...)
Concurrency mailing list
Concurrency <at> listserver.tue.nl
rim.abid | 22 Sep 12:06 2015

Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP

** Submission Extended to Sep. 28 **

31st Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 3 - 8, 2016, Pisa, Italy

More information:
http://antares.sip.ucm.es/svt16/ and

Important dates

* September 28, 2015: Paper submission (EXTENDED DEADLINE)
* November 13, 2015: Paper notification
* December 11, 2015: Camera-Ready Copies

ACM Symposium on Applied Computing

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

SAC 2016 is sponsored by the ACM Special Interest Group on Applied
Computing (SIGAPP), and will be hosted by the University of Pisa and
Scuola Superiore Sant'Anna University, Italy

Software Verification and Testing Track

We invite authors to submit new results in formal verification and
testing, as well as development of technologies to improve the
usability of formal methods in software engineering. Also welcome are
detailed descriptions of applications of mechanical verification to
large scale software. Possible topics include, but are not limited to:

- model checking
- theorem proving
- correct by construction development
- model-based testing
- verification-based testing
- symbolic execution
- static and run-time analysis
- abstract interpretation
- analysis methods for dependable systems
- software certification and proof carrying code
- fault diagnosis and debugging
- verification of large scale software systems
- real world applications and case studies applying software  verification

Submissions Guidelines

Paper submissions must be original, unpublished work. Submissions
should be in electronic format, via the START site:

Author(s) name(s) and address(es) must not appear in the body of the
paper, and self-reference should be avoided and made in the third
person. Submitted paper will undergo a blind review process. Authors
of accepted papers should submit an editorial revision of their papers
that fits within six two-column pages (an extra two pages, to a total
of eight pages, may be available at a charge). Please comply to this
page limitation already at submission time. Accepted papers will be
published in the ACM SAC 2016 proceedings.

Paper registration is required, allowing the inclusion of papers,
posters, or SRC abstracts in the conference proceedings. An author or
a proxy attending SAC MUST present the work. This is a requirement for
the presented work to be included in the ACM/IEEE digital
library. No-show of registered papers, posters, and SRC abstracts will
result in excluding them from the ACM/IEEE digital library.

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

Student Research Competition

As before, SAC 2016 organises a Student Research Competition (SRC)
Program to provide graduate students the opportunity to meet and
exchange ideas with researchers and practitioners in their areas of
interest. Guidelines and information about the SRC program can be
found at http://www.acm.org/conferences/sac/sac2016/. Submission to
the SRC program should be in electronic form via the following website

Program Committee 

Rui Abreu, University of Porto, Portugal 
Cristiano Braga, Universidade Federal Fluminense, Brazil
Radu Calinescu, University of York, UK 
Ana Cavalli, National Institute of Telecommunications, France 
Byoungju Choi, Ewha Womans University, Republic of Korea 
Maximiliano Cristiá, Universidad Nacional de Rosario, Argentina 
Khaled El-Fakih, American University of Sharjah, UAE 
Ylies Falcone, University of Grenoble Alpes, France 
Maria del mar Gallardo, University of Malaga, Spain 
Arie Gurfinkel, Carnegie Mellon University, USA
Tingting Han, University of London, UK 
Klaus Havelund, Nasa Jet Propulsion Laboratory, USA
Ralf Huuck, UNSW, Australia
Nikolai Kosmatov, CEA, France 
Stefan Leue, University of Konstanz, Germany 
Luis Llana, Universidad Complutense de Madrid, Spain 
Jasen Markovski, R&D group, GN Resound Benelux, The Netherlands 
Mohammad Mousavi, Halmstad University, Sweden 
Madhavan Mukund, Chennai Mathematical Institute, India
Shin Nakajima, National Institute of Informatics, Tokyo, Japan 
Brian Nielsen, Aalborg University, Denmark 
Peter Olveczky, University of Oslo, Norway 
Jun Pang, University of Luxembourg, Luxembourg 
Adenilso Simao, ICMC/USP, Brazil
Marjan Sirjani, Reykjavik University, Iceland 
Marielle Stoelinga, University of Twente, The Netherlands 
Jun Sun, Singapore University of Technology and Design
Tanja Vos, Valencia University, Spain 
Carsten Weise, Imbus AG, Germany 
Anton Wijs, Eindhoven University of Technology, The Netherlands 
Nina Yevtushenko, Tomsk State University, Russia
Cemal Yilmaz, Sabanci University, Turkey 
Fatiha Zaidi, Univ. Paris-Sud, France 
Gianluigi Zavattaro, University of Bologna, Italy 
Lijun Zhang, Chinese Academy of Sciences, China

Program Committee Chairs

Mercedes G. Merayo, Universidad Complutense de Madrid, Spain
Gwen Salaün, University of Grenoble Alpes, France
Concurrency mailing list
Concurrency <at> listserver.tue.nl
Marieke Huisman | 23 Sep 10:36 2015

CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik

                     CALL FOR PAPERS
                         iFM 2016     

 12th International Conference on integrated Formal Methods 
             June 1-3, 2016, Reykjavik, Iceland


=== Important dates ===

Abstract submission:  December 21, 2015
Paper submission:     January 6, 2016
Paper notification:   February 29, 2016
Final version:        March 14, 2016
Conference:           June 1-3, 2016

=== Objectives and scope ===

Applying formal methods may involve the usage of different formalisms
and different analysis techniques to validate a system, either because
individual components are most amenable to one formalism or technique,
because one is interested in different properties of the system, or
simply to cope with the sheer complexity of the system. The iFM
conference series seeks to further research into hybrid approaches to
formal modeling and analysis; i.e., the combination of (formal and
semi-formal) methods for system development, regarding both modeling
and analysis.  The conference covers all aspects from language design
through verification and analysis techniques to tools and their
integration into software engineering practice.

Areas of interest include but are not limited to: 
  - Formal and semi-formal modelling notations
  - Integration of formal methods into software engineering practice
  - Hybrid systems
  - Program verification
  - Program synthesis
  - Model checking
  - Static analysis
  - Runtime analysis, monitoring, performance evaluation
  - Decision procedures, SAT and SMT solving 
  - Software engineering 
  - Component-based systems (compositional, embedded, distributed, etc.) 
  - Testing 
  - Abstraction and refinement 

=== Submission guidelines ===

iFM 2016 solicits high quality papers reporting research results
and/or experience reports related to the overall theme of method

We solicit papers in the following categories:

  - research papers (max. 15 pages including bibliography)
  - regular tool papers (max. 15 pages including bibliography)
  - short tool papers (max. 8 pages including bibliography)
  - case study papers (max. 15 pages including bibliography)

All submissions must be original, unpublished, and not submitted for
publication elsewhere. Each paper will undergo a thorough review
process. If necessary, a paper may be supplemented with a clearly
marked appendix, which will be consulted at the discretion of the

Submissions should be made using the iFM 2016 Easychair site:
Submissions must be in PDF format, using the Springer LNCS style
files; we suggest to use the LaTeX2e package (the llncs.cls class
file, available in llncs2e.zip and the typeinst.dem available in
typeinst.zip as a template for your contribution). The conference
proceedings will be published in Springer's Lecture Notes in Computer
Science series.

All accepted papers must be presented at the conference. Their authors
must be prepared to sign a copyright transfer statement. At least one
author of each accepted paper must register to the conference by the
early date, to be indicated by the organizers, and present the paper.

=== Invited speakers ===

 Marsha Chechik (University of Toronto, Canada)
 Laura Kovacs (Chalmers University of Technology, Sweden)
 Reiner Haehnle (Technical University Darmstadt, Germany)
 Edmund Clarke (Carnegie Mellon University, USA)

=== Workshops ===

iFM 2016 will be accompanied by a series of workshops. Further
information is available from the conference website

=== Conference location ===

iFM 2016 is organized by the University of Reykjavik and will take
place at the university campus in Reykjavik, the capital of Iceland.

=== Committees ===

General Chair:
  Marjan Sirjani (University of Reykjavik, Iceland)

Program Chairs:
  Erika Abraham (RWTH Aachen University, Germany)
  Marieke Huisman (University of Twente, The Netherlands)

Workshop Chair:
  Marcel Kyas (University of Reykjavik, Iceland)

Program Committee:
  Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
  Elvira Albert (Complutense University of Madrid, Spain)
  Bernd Becker (Albert-Ludwigs-University Freiburg, Germany)
  Clara Benac Earle (Universidad Politecnica de Madrid, Spain)
  Borzoo Bonakdarpour (McMaster University, Canada)
  Ferruccio Damiani (Universita di Torino, Italy)
  Frank de Boer (CWI, The Netherlands)
  Delphine Demange (University of Rennes 1/IRISA, France)
  Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
  Dilian Gurov (KTH Royal Institute of Technology, Sweden)
  Holger Hermanns (Saarland University, Germany)
  Einar Broch Johnsen (University of Oslo, Norway)
  Peter Gorm Larsen (Aarhus University, Denmark)
  Martin Leucker (University of Lubeck, Germany)
  Dominique Mery (Universite de Lorraine, LORIA, France)
  Rosemary Monahan (Maynooth University, Ireland)
  Nadia Polikarpova (MIT, USA)
  Cesar Sanchez (IMDEA Software Institute, Spain)
  Sriram Sankaranarayanan (University of Colorado, USA)
  Ina Schaefer (Technische Universitaet Braunschweig, Germany)
  Gerardo Schneider (Chalmers, University of Gothenburg, Sweden)
  Emil Sekerinski (McMaster University, Canada) 
  Armando Tacchella (University of Genoa, Italy)
  Mark Utting (University of the Sunshine Coast, Australia)
  Heike Wehrheim (University of Paderborn, Germany)
  Kirsten Winter (University of Queensland, Australia)
Concurrency mailing list
Concurrency <at> listserver.tue.nl