Preface

This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was organized as a one-day satellite event of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015).

Several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development.

The aim of the DCM workshop series is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Topics of interest include all abstract models of computation and their applications to the development of programming languages and systems. This includes (but is not limited to):

• Functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
• quantum computation, including implementations and formal methods in quantum protocols;
• probabilistic computation and verification in modelling situations;
• chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models;
• models of concurrency, including the treatment of mobility, trust, and security;
• infinitary models of computation;
• information-theoretic ideas in computing.

There were 6 submissions. Each submission was reviewed by at least 3 program committee members. The committee decided to accept 4 papers for presentation at the workshop. The program also included 3 invited talks by

• Mauricio Ayala-Rincón (Universidade de Brasilia, Brazil)
• Gilles Dowek (INRIA, France)
• Pawel Sobocinski (University of Southampton, UK)

The workshop itself was well-attended; both the contributed talks and the invited presentations triggered interesting discussions.

After the workshop, authors were invited to submit an extended version of their work; these revised papers were refereed again by at least three members of the program committee. All 4 papers were selected for inclusion in this volume. Three further contributed papers, associated to each one of the invited talks, are also included here.

Many people helped to make DCM 2015 a success. We are grateful to the members of the programme committee and external reviewers for their careful work in the reviewing process. We are indebted to the invited speakers for their availability and inspiring presentations. We would also like to thank the general chair and local organizers of ICTAC 2015 for their constant support.

César A. Muñoz and Jorge A. Pérez

DCM 2015 co-chairs                                        

Program Committee

• Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil
• Luís Caires, Universidade Nova de Lisboa, Portugal
• Ugo Dal Lago, Università di Bologna, Italy
• Nachum Dershowitz, Tel Aviv University, Israel
• Jérôme Feret, INRIA & École normale supérieure, France
• Marcelo Frias, Universidad de Buenos Aires, Argentina
• Russ Harmer, CNRS & ENS Lyon, France
• Ivan Lanese, University of Bologna & INRIA, France
• Radu Mardare, Aalborg University, Denmark
• Elvira Mayordomo, Universidad de Zaragoza, Spain
• César A. Muñoz, NASA Langley Research Center, US
• Jorge A. Pérez, University of Groningen, The Netherlands
• Andrés Sicard-Ramírez, EAFIT University, Colombia
• Alexandra Silva, University College London, UK
• Daniele Varacca, Université Paris Est-Créteil, France

Additional Reviewers

• Bingtian Xue