Lecture Notes in Computer Science 10852

Size: px
Start display at page:

Download "Lecture Notes in Computer Science 10852"

Transcription

1 Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zurich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology Madras, Chennai, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany

2 More information about this series at

3 Giovanna Di Marzo Serugendo Michele Loreti (Eds.) Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018 Madrid, Spain, June 18 21, 2018 Proceedings 123

4 Editors Giovanna Di Marzo Serugendo University of Geneva Geneva Switzerland Michele Loreti Università degli Studi di Firenze Florence Italy ISSN ISSN (electronic) Lecture Notes in Computer Science ISBN ISBN (ebook) Library of Congress Control Number: LNCS Sublibrary: SL2 Programming and Software Engineering IFIP International Federation for Information Processing 2018 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Printed on acid-free paper This Springer imprint is published by the registered company Springer International Publishing AG part of Springer Nature The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland

5 Foreword The 13th International Federated Conference on Distributed Computing Techniques (DisCoTec) took place in Madrid, Spain, during June 18 21, The DisCoTec series is one of the major events sponsored by the International Federation for Information Processing (IFIP). It comprises three conferences: COORDINATION, the IFIP WG6.1 International Conference on Coordination Models and Languages (the conference celebrated its 20th anniversary in 2018) DAIS, the IFIP WG6.1 International Conference on Distributed Applications and Interoperable Systems (the conference is in its 18th edition) FORTE, the IFIP WG6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (the conference is in its 38th edition) Together, these conferences cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues. Each day of the federated event began with a plenary speaker nominated by one of the conferences. In addition to the three main conferences, two satellite events took place during June 20 21, 2018: ICE, the Workshop on Interaction and Concurrency Experience (in its 11th edition) FADL, Workshop on Foundations and Applications of Distributed Ledgers (this was the first year that the workshop took place) I would like to thank the Program Committee chairs of the different events for their help and cooperation during the preparation of the conference and the Steering Committee of DisCoTec for its guidance and support. The organization of DisCoTec 2018 was only possible thanks to the dedicated work of the Organizing Committee, including the organization chairs, Jesús Correas and Sonia Estévez (Universidad Complutense de Madrid, Spain), the publicity chair, Ivan Lanese (University of Bologna/Inria, Italy), the workshop chairs, Luis Llana and Ngoc-Thanh Nguyen (Universidad Complutense de Madrid, Spain and Wroclaw University of Science and Technology, Poland, respectively), the finance chair, Mercedes G. Merayo (Universidad Complutense de Madrid, Spain), and the webmaster, Pablo C. Cañizares (Universidad Complutense de Madrid, Spain). Finally, I would like to thank IFIP WG6.1 for sponsoring this event, Springer s Lecture Notes in Computer Science team for their support and sponsorship, and EasyChair for providing the reviewing infrastructure. June 2018 Manuel Núñez

6 Preface This volume contains the papers presented at COORDINATION 2018: the 20th IFIP WG 6.1 International Conference on Coordination Models and Languages held during June 18 21, 2018, in Madrid, Spain. The conference was co-located with FORTE and DAIS, as part of the DisCoTec federated conferences on distributed computing techniques. The conference is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. The key focus of the conference is the quest for high-level abstractions that can capture interaction patterns and mechanisms occurring at all levels of the software architecture, up to the end-user domain. COORDINATION called for high-quality contributions on the usage, study, formal analysis, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, multi-agent, and multicore software systems. The Program Committee (PC) of COORDINATION 2018 consisted of 23 top researchers from 12 different countries. In all, 26 submissions were received out of 29 submitted abstracts. All submissions were reviewed by four independent referees; papers were selected based on their quality, originality, contribution, clarity of presentation, and relevance to the conference topics. The review process included an in-depth discussion phase, during which the merits of all papers were discussed by the PC. At the end of the review process, 12 papers were accepted. The selected papers constituted a program covering a varied range of topics and techniques related to system coordination, including: actor-based coordination, tuple-based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces. Five of the accepted papers are surveys. This was a new category of submission considered this year to celebrate the 20th edition of COORDINATION. These papers describe important results and successful stories that originated in the context of COORDINATION. The program was further enhanced by an invited talk by Franco Zambonelli from Università degli Studi di Modena-Reggio Emilia (Italy). The success of COORDINATION 2018 was due to the dedication of many people. We thank the authors for submitting high-quality papers, the PC and their subreviewers, for their careful reviews, and lively discussions during the final selection process, and the publicity chair, Francesco Tiezzi, for helping us advertise the CFP. We thank the providers of the EasyChair conference management system, which was used to run the review process and to facilitate the preparation of the proceedings. Finally, we thank the Organizing Committee from Universidad Complutense de Madrid, led by Manuel Núñez, for its contribution in making the logistic aspects of COORDINATION 2018 a success. June 2018 Giovanna di Marzo Serugendo Michele Loreti

7 Organization Steering Committee Farhad Arbab Gul Agha Dave Clarke Wolfgang De Meuter Rocco De Nicola Tom Holvoet Jean-Marie Jacquet Christine Julien Eva Kühn Alberto Lluch Lafuente Mieke Massink Jose Proenca Rosario Pugliese Marjan Sirjani Carolyn Talcott Vasco T. Vasconcelos Mirko Viroli Gianluigi Zavattaro (Chair) CWI and Leiden University, The Netherlands University of Illinois at Urbana-Champaign, USA Uppsala University, Sweden Vrije Universiteit Brussels, Belgium IMT - School for Advanced Studies, Italy KU Leuven, Belgium University of Namur, Belgium The University of Texas at Austin, USA Vienna University of Technology, Austria Technical University of Denmark, Denmark ISTI-CNR, Pisa, Italy University of Minho, Portugal Università degli Studi di Firenze, Italy Malardalen University, Norway and Reykjavik University, Iceland SRI International, USA University of Lisbon, Portugal Università di Bologna, Italy Università di Bologna, Italy Program Committee Gul Agha Luis Barbosa Jacob Beal Simon Bliudze Carlos Canal Giovanna Di Marzo Serugendo (Chair) Vashti Galpin Jean-Marie Jacquet Eva Kühn Alberto Lluch Lafuente Michele Loreti (Chair) Maxime Louvel Mieke Massink Hernan Melgratti Andrea Omicini Sascha Ossowski University of Illinois at Urbana-Champaign, USA University of Minho, Portugal BBN Technologies, USA Inria, France University of Málaga, Spain University of Geneva, Switzerland University of Edinburgh, UK University of Namur, Belgium Vienna University of Technology, Austria Technical University of Denmark, Denmark Università di Camerino, Italy BAG-ERA, France ISTI-CNR, Pisa, Italy Universidad de Buenos Aires, Argentina Università di Bologna, Italy University Rey Juan Carlos, Spain

8 X Organization Luca Padovani Rosario Pugliese Marjan Sirjani Carolyn Talcott Mirko Viroli Nobuko Yoshida Gianluigi Zavattaro Università di Torino, Italy Università degli Studi di Firenze, Italy Malardalen University, Norway and Reykjavik University, Iceland SRI International, USA Università di Bologna, Italy Imperial College London, UK Università di Bologna, Italy Additional Reviewers Castellan, Simon Charalambides, Minas Ciancia, Vincenzo Ciccozzi, Federico Cimini, Matteo Crass, Stefan Forcina, Giorgio Jaber, Mohamad Jafari, Ali Langerak, Rom Latella, Diego Margheri, Andrea Miculan, Marino Neykova, Rumyana Pianini, Danilo Plyukhin, Dan Re, Barbara Roldán, Christian Scalas, Alceste Sesum-Cavic, Vesna Sharifi, Zeinab Tiezzi, Francesco Tonellotto, Nicola Toninho, Bernardo

9 Contents Space-Time Universality of Field Calculus Giorgio Audrito, Jacob Beal, Ferruccio Damiani, and Mirko Viroli Foundations of Coordination and Contracts and Their Contribution to Session Type Theory Mario Bravetti and Gianluigi Zavattaro Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, and Franco Zambonelli On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study Denis Darquennes, Jean-Marie Jacquet, and Isabelle Linden A Formal Approach to the Engineering of Domain-Specific Distributed Systems Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, and Francesco Tiezzi Rule-Based Form for Stream Constraints Kasper Dokter and Farhad Arbab Forward to a Promising Future Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, and Huu-Phuc Vo Aggregation Policies for Tuple Spaces Linas Kaminskas and Alberto Lluch Lafuente Distributed Coordination Runtime Assertions for the Peer Model eva Kühn, Sophie Therese Radschek, and Nahla Elaraby Active Objects for Coordinating BSP Computations (Short Paper) Gaétan Hains, Ludovic Henrio, Pierre Leca, and Wijnand Suijlen Boosting Transactional Memory with Stricter Serializability Pierre Sutra, Patrick Marlier, Valerio Schiavoni, and François Trahay

10 XII Contents From Field-Based Coordination to Aggregate Computing Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, and Danilo Pianini Author Index

Lecture Notes in Computer Science 7007

Lecture Notes in Computer Science 7007 Lecture Notes in Computer Science 7007 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4409

Lecture Notes in Computer Science 4409 Lecture Notes in Computer Science 4409 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 3511

Lecture Notes in Computer Science 3511 Lecture Notes in Computer Science 3511 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 5474

Lecture Notes in Computer Science 5474 Lecture Notes in Computer Science 5474 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 10644

Lecture Notes in Computer Science 10644 Lecture Notes in Computer Science 10644 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7274

Lecture Notes in Computer Science 7274 Lecture Notes in Computer Science 7274 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Emotional Engineering Volume 5

Emotional Engineering Volume 5 Emotional Engineering Volume 5 Editor Emotional Engineering Volume 5 123 Editor Keio University Minato, Tokyo Japan ISBN 978-3-319-53194-6 ISBN 978-3-319-53195-3 (ebook) DOI 10.1007/978-3-319-53195-3 Library

More information

Atlas of Craniocervical Junction and Cervical Spine Surgery

Atlas of Craniocervical Junction and Cervical Spine Surgery Atlas of Craniocervical Junction and Cervical Spine Surgery Stefano Boriani Livio Presutti Alessandro Gasbarrini Francesco Mattioli Editors Atlas of Craniocervical Junction and Cervical Spine Surgery Editors

More information

Lecture Notes in Computer Science 4454

Lecture Notes in Computer Science 4454 Lecture Notes in Computer Science 4454 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7480

Lecture Notes in Computer Science 7480 Lecture Notes in Computer Science 7480 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4401

Lecture Notes in Computer Science 4401 Lecture Notes in Computer Science 4401 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4728

Lecture Notes in Computer Science 4728 Lecture Notes in Computer Science 4728 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Early Modern Philosophers and the Renaissance Legacy

Early Modern Philosophers and the Renaissance Legacy Early Modern Philosophers and the Renaissance Legacy INTERNATIONAL ARCHIVES OF THE HISTORY OF IDEAS ARCHIVES INTERNATIONALES D HISTOIRE DES IDÉES 220 EARLY MODERN PHILOSOPHERS AND THE RENAISSANCE LEGACY

More information

The Archaeology of Anxiety

The Archaeology of Anxiety The Archaeology of Anxiety Jeffrey Fleisher Neil Norman Editors The Archaeology of Anxiety The Materiality of Anxiousness, Worry, and Fear Editors Jeffrey Fleisher Department of Anthropology Rice University

More information

CoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)

CoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.) Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2014 2nd International Workshop on Cultures of Participation in the Digital Age: Social computing for Working, Learning, and Living CoPDA 2014 Como,

More information

Lecture Notes in Computer Science 6084

Lecture Notes in Computer Science 6084 Lecture Notes in Computer Science 6084 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4214

Lecture Notes in Computer Science 4214 Lecture Notes in Computer Science 4214 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 3819

Lecture Notes in Computer Science 3819 Lecture Notes in Computer Science 3819 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7342

Lecture Notes in Computer Science 7342 Lecture Notes in Computer Science 7342 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 5004

Lecture Notes in Computer Science 5004 Lecture Notes in Computer Science 5004 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4797

Lecture Notes in Computer Science 4797 Lecture Notes in Computer Science 4797 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 6037

Lecture Notes in Computer Science 6037 Lecture Notes in Computer Science 6037 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 6663

Lecture Notes in Computer Science 6663 Lecture Notes in Computer Science 6663 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

CoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)

CoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.) Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2015 3rd International Workshop on Cultures of Participation in the Digital Age: Coping with Information, Participation, and Collaboration Overload

More information

Studies in Epistemology, Logic, Methodology, and Philosophy of Science

Studies in Epistemology, Logic, Methodology, and Philosophy of Science Synthese Library Studies in Epistemology, Logic, Methodology, and Philosophy of Science Volume 373 Editor-in-Chief Otávio Bueno, University of Miami, Department of Philosophy, USA Editors Dirk van Dalen,

More information

*Senior Editor Masayusa Ohtsu Kumamoto University, Graduate School of Science and Technology, Kumamoto, Japan

*Senior Editor Masayusa Ohtsu Kumamoto University, Graduate School of Science and Technology, Kumamoto, Japan An international forum for the dissemination of research and development in the field of construction and building materials and their application in new works and repair practice. *Senior Editor Masayusa

More information

Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Enrico Gregori Giuseppe Anastasi Stefano

More information

Lecture Notes in Artificial Intelligence 4327

Lecture Notes in Artificial Intelligence 4327 Lecture Notes in Artificial Intelligence 4327 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science (Eds.) Declarative Agent Languages and Technologies IV 4th International

More information

Lecture Notes in Computer Science 9804

Lecture Notes in Computer Science 9804 Lecture Notes in Computer Science 9804 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,

More information

Lecture Notes in Computer Science 5671

Lecture Notes in Computer Science 5671 Lecture Notes in Computer Science 5671 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 9249

Lecture Notes in Computer Science 9249 Lecture Notes in Computer Science 9249 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Artificial Intelligence 2155

Lecture Notes in Artificial Intelligence 2155 Lecture Notes in Artificial Intelligence 2155 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis,

More information

Lecture Notes in Artificial Intelligence 3176

Lecture Notes in Artificial Intelligence 3176 Lecture Notes in Artificial Intelligence 3176 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Olivier Bousquet Ulrike von Luxburg Gunnar Rätsch (Eds.) Advanced

More information

Encountering Development in the Age of Global Capitalism

Encountering Development in the Age of Global Capitalism Encountering Development in the Age of Global Capitalism Kin-Ling Tang Encountering Development in the Age of Global Capitalism A Case Study Kin-Ling Tang The Education University of Hong Kong Hong Kong,

More information

STUDIES IN ORGANIZED CRIME

STUDIES IN ORGANIZED CRIME Women and the Mafia STUDIES IN ORGANIZED CRIME Volume 5 Series Editor: Frank Bovenkerk, University of Utrecht, Willem Pompe Institute, The Netherlands Editorial Board: Maria Los, University of Ottowa,

More information

Lecture Notes in Computer Science 4883

Lecture Notes in Computer Science 4883 Lecture Notes in Computer Science 4883 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 8341

Lecture Notes in Computer Science 8341 Lecture Notes in Computer Science 8341 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 9596

Lecture Notes in Computer Science 9596 Lecture Notes in Computer Science 9596 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Intelligent Primary School Project in Italy

Intelligent Primary School Project in Italy Please cite this paper as: Ponti, G. (2007), Intelligent Primary School Project in Italy, PEB Exchange, Programme on Educational Building, 2007/02, OECD Publishing, Paris. http://dx.doi.org/10.1787/255378247044

More information

Lecture Notes in Computer Science 7137

Lecture Notes in Computer Science 7137 Lecture Notes in Computer Science 7137 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Technologies of International Relations

Technologies of International Relations Technologies of International Relations Carolin Kaltofen Madeline Carr Michele Acuto Editors Technologies of International Relations Continuity and Change Editors Carolin Kaltofen Department of Science,

More information

European Labour Court Judges & the International Labour Office: 20 meetings from 1984 to 2012

European Labour Court Judges & the International Labour Office: 20 meetings from 1984 to 2012 XXth Meeting of the Network of European Labour Courts Judges 10-11 September 2012, Copenhagen, Denmark European Labour Court Judges & the International Labour Office: 20 meetings from 1984 to 2012 Angelika

More information

Lecture Notes in Computer Science 5438

Lecture Notes in Computer Science 5438 Lecture Notes in Computer Science 5438 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Housing markets, wealth and the business cycle

Housing markets, wealth and the business cycle Housing markets, wealth and the business cycle Nathalie Girouard copyright with the author OECD Economics Department DG ECFIN workshop: Housing and mortgage markets and the EU economy Brussels, 21 November

More information

High Field Brain MRI

High Field Brain MRI High Field Brain MRI Tommaso Scarabino Saverio Pollice Teresa Popolizio Editors High Field Brain MRI Use in Clinical Practice Second Edition Editors Tommaso Scarabino Department of Radiology and Neuroradiology

More information

Industrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success.

Industrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success. Industrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA Accelerating success. FINLAND EMEA Industrial and Logistics Rents H2 2012 NORWAY Oslo 13.6 11.6 6.50% SWEDEN Stockholm 8.4 10.0 7.5 Helsinki

More information

SERGIU KLAINERMAN CURRICULUM VITAE

SERGIU KLAINERMAN CURRICULUM VITAE EDUCATION SERGIU KLAINERMAN CURRICULUM VITAE 1978 New York University, Ph.D. 1975-78 New York University 1974 Certificate for Thesis 1973-74 Graduate Studies 1973 Diploma de Licenta, University of Bucharest

More information

Industrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success.

Industrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success. Industrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA Accelerating success. FINLAND EMEA Industrial and Logistics Rents H1 2013 NORWAY Oslo 12.7 10.8 6.50% SWEDEN Stockholm 8.3 10.0 7.5 Helsinki

More information

Crime Prevention in the 21st Century

Crime Prevention in the 21st Century Crime Prevention in the 21st Century Benoit Leclerc Ernesto U. Savona Editors Crime Prevention in the 21st Century Insightful Approaches for Crime Prevention Initiatives Editors Benoit Leclerc School

More information

Lecture Notes in Computer Science 3527

Lecture Notes in Computer Science 3527 Lecture Notes in Computer Science 3527 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

The Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau

The Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau The Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau Susan Eischeid The Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau Susan Eischeid Department of

More information

Lecture Notes in Computer Science 5581

Lecture Notes in Computer Science 5581 Lecture Notes in Computer Science 5581 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Statistics and Data Science New Developments for Business and Industrial Applications

Statistics and Data Science New Developments for Business and Industrial Applications Statistics and Data Science New Developments for Business and Industrial Applications 24-25 MAY 2018 Joint Meeting SIS-SDS Group and itenbis Collegio Carlo Alberto Piazza Arbarello, 8 - Torino http://www.sds2018.polito.it/

More information

Research Reports ESPRIT

Research Reports ESPRIT Research Reports ESPRIT Project 393. ACORD. Vol. 1 Edited in cooperation with the Commission of the European Communities G. G. Bes T. Guillotin (Eds.) A Natural Language and Graphics Interface Resu Its

More information

Lecture Notes in Computer Science 8036

Lecture Notes in Computer Science 8036 Lecture Notes in Computer Science 8036 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,

More information

Fractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color

Fractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color Fractals and Chaos A.J. Crilly R.A. Earnshaw H. Jones Editors Fractals and Chaos With 146 Figures in 173 Parts, 57 in Color Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona

More information

Lecture Notes in Computer Science 3507

Lecture Notes in Computer Science 3507 Lecture Notes in Computer Science 3507 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Non-functional Properties in Modeling: Analysis, Languages and Processes

Non-functional Properties in Modeling: Analysis, Languages and Processes Simona Bernardi Marko Bošković José Merseguer Non-functional Properties in Modeling: Analysis, Languages and Processes 5th International Workshop NiM-ALP 2013 Miami, FL, USA, 29 September 2013 Proceedings

More information

Lecture Notes in Computer Science 4449

Lecture Notes in Computer Science 4449 Lecture Notes in Computer Science 4449 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

9.0 SCOR-RELATED MEETINGS

9.0 SCOR-RELATED MEETINGS 9.0 SCOR-RELATED MEETINGS 9.1 SCOR Annual Meetings 9.1.1 2007 Executive Committee Meeting Bergen, Norway, p. 9-1 Sundby 9.1.2 2008 General Meeting SCOR 50 th Anniversary Woods Hole, USA, p. 9-1 Labeyrie

More information

Homepage: volpe. Curriculum Vitae

Homepage:   volpe. Curriculum Vitae Marco Volpe Dipartimento di Informatica Università di Verona Strada Le Grazie, 15 37134 Verona, Italy E-mail: marco.volpe@univr.it Homepage: http://profs.sci.univr.it/ volpe Curriculum Vitae Current Position

More information

Lecture Notes in Computer Science 4006

Lecture Notes in Computer Science 4006 Lecture Notes in Computer Science 4006 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Socio-economic stratification and fertility before, during and after the demographic transition

Socio-economic stratification and fertility before, during and after the demographic transition Socio-economic stratification and fertility before, during and after the demographic transition Organized by the IUSSP Scientific Panel on Historical Demography in collaboration with the Department of

More information

SUSTAINABLE URBAN HOUSING IN VIENNA

SUSTAINABLE URBAN HOUSING IN VIENNA SUSTAINABLE URBAN HOUSING IN VIENNA Autonomy - legal acts - budgets Active Housing Policy - council housing - subsidies - allowances - land development - developers competitions Soft Urban Renewal VIENNA

More information

5 th International Conference on Material Modelling

5 th International Conference on Material Modelling FIRST ANNOUNCEMENT 5 th International Conference on Material Modelling (ICMM5) June 13-16, 2017 International Research Center M&MoCS The International Research Center on Mathematics and Mechanics of Complex

More information

Detection of Intrusions and Malware, and Vulnerability Assessment

Detection of Intrusions and Malware, and Vulnerability Assessment Ulrich Flegel Evangelos Markatos William Robertson (Eds.) LNCS 7591 Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012 Heraklion, Crete, Greece,

More information

Office Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success.

Office Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success. Office Rents map EUROPE, MIDDLE EAST AND AFRICA Accelerating success. FINLAND NORWAY EMEA Office Rents H1 2012 Oslo 35.9 5.50% 7.6% 311,000 SWEDEN Stockholm 43.7 4.75% 4.0% 80,000 Tallinn 13.4 65,000 ESTONIA

More information

Lecture Notes in Computer Science 5083

Lecture Notes in Computer Science 5083 Lecture Notes in Computer Science 5083 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Past General Conferences

Past General Conferences Past General Conferences 2016 Milan, Italy 3-9 July 2016 Twenty-fourth General Conference Theme: Museums and Cultural Landscapes Videos Photos Final report 2013 Rio de Janeiro, Brazil 10-17 August 2013

More information

Lecture Notes in Computer Science 6035

Lecture Notes in Computer Science 6035 Lecture Notes in Computer Science 6035 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7309

Lecture Notes in Computer Science 7309 Lecture Notes in Computer Science 7309 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 5587

Lecture Notes in Computer Science 5587 Lecture Notes in Computer Science 5587 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Process Maturity Profile

Process Maturity Profile Carnegie Mellon Process Maturity Profile CMMI SCAMPI SM Class A Appraisal Results 2007 Mid-Year Update September 2007 We could not produce this report without the support of the organizations and lead

More information

IS IRELAND 25 YEARS INTO A 100-YEAR HOUSING CRISIS?

IS IRELAND 25 YEARS INTO A 100-YEAR HOUSING CRISIS? IS IRELAND 25 YEARS INTO A 100-YEAR HOUSING CRISIS? Ronan Lyons, Department of Economics, Trinity College Dublin Dublin Economics Workshop Annual Conference Wexford, September 2017 DEW Annual Conference,

More information

Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th.

Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. 1 Raimund Dachselt TU Dresden, Germany Organizers Gerhard Fischer

More information

Green Energy and Technology

Green Energy and Technology Green Energy and Technology More information about this series at http://www.springer.com/series/8059 Laura Maturi Jennifer Adami Building Integrated Photovoltaic (BIPV) in Trentino Alto Adige With Contributions

More information

The World Cup, between Europe and the Americas

The World Cup, between Europe and the Americas International symposium The World Cup, between Europe and the Americas Actors, implications and temporality of a sporting global event (20 th - 21 st centuries) Aerial view of the Centenario Stadium, July

More information

Lecture Notes in Artificial Intelligence 10757

Lecture Notes in Artificial Intelligence 10757 Lecture Notes in Artificial Intelligence 10757 Subseries of Lecture Notes in Computer Science LNAI Series Editors Randy Goebel University of Alberta, Edmonton, Canada Yuzuru Tanaka Hokkaido University,

More information

Higher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel

Higher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel Higher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel Israel is a small and densed country. Israel is a small country with a total area of 21,000 sq.km. and population of 7.2 million

More information

KEEGAN & COPPIN COMPANY, INC.

KEEGAN & COPPIN COMPANY, INC. Commercial Real Estate Services PROMINENT DOWNTOWN LOCATION 757± - 954± sf of office space available with 4th Street frontage 757± sf: Open floor plan with 3 cubicles 954± sf: Open floor plan, private

More information

EUROPEAN BOARD OF ORTHODONTISTS APPENDIX 2 EBO EXAMINERS AND MEMBERSHIP

EUROPEAN BOARD OF ORTHODONTISTS APPENDIX 2 EBO EXAMINERS AND MEMBERSHIP EUROPEAN BOARD OF ORTHODONTISTS APPENDIX 2 EBO EXAMINERS AND MEMBERSHIP 2005 1 EBO EXAMINERS The examiners for the first examination in 1997 were selected and nominated by the EOS Council on the basis

More information

Qualified Autonomy and Federalism versus Secession in the EU and its Member States

Qualified Autonomy and Federalism versus Secession in the EU and its Member States International Conference Qualified Autonomy and Federalism versus Secession in the EU and its Member States February 26-28, 2014 Empire Hall Esterházy Palace, Eisenstadt, Austria Draft Programme Wednesday,

More information

Progress in Mathematics

Progress in Mathematics Progress in Mathematics Volume 319 Series Editors Antoine Chambert-Loir Jiang-Hua Lu Yuri Tschinkel More information about this series at http://www.springer.com/series/4848 Werner Ballmann Christian Blohmann

More information

Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Eerke A. Boiten Bernhard M ller (Eds.)

More information

The World Cup, between Europe and the Americas

The World Cup, between Europe and the Americas International symposium The World Cup, between Europe and the Americas Actors, implications and temporality of a sporting global event (20 th - 21 st centuries) Aerial view of the Centenario Stadium, July

More information

Lecture Notes in Computer Science 9211

Lecture Notes in Computer Science 9211 Lecture Notes in Computer Science 9211 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

CoPDA Barbara Rita Barricelli Gerhard Fischer Daniela Fogli Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)

CoPDA Barbara Rita Barricelli Gerhard Fischer Daniela Fogli Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.) Barbara Rita Barricelli Gerhard Fischer Daniela Fogli Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.) CoPDA 2018 5th International Workshop on Cultures of Participation in the Digital Age: Design

More information

The Disorder of Mathematics Education

The Disorder of Mathematics Education The Disorder of Mathematics Education Hauke Straehler-Pohl Nina Bohlmann Alexandre Pais Editors The Disorder of Mathematics Education Challenging the Sociopolitical Dimensions of Research Editors Hauke

More information

Handbook of Research on Social, Economic, and Environmental Sustainability in the Development of Smart Cities

Handbook of Research on Social, Economic, and Environmental Sustainability in the Development of Smart Cities Handbook of Research on Social, Economic, and Environmental Sustainability in the Development of Smart Cities Andrea Vesco Istituto Superiore Mario Boella, Italy Francesco Ferrero Istituto Superiore Mario

More information

Lecture Notes in Computer Science 7149

Lecture Notes in Computer Science 7149 Lecture Notes in Computer Science 7149 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Property & Inequality in the 21 st Century

Property & Inequality in the 21 st Century The Common Core of European Private Law Conference 21 st Annual General Meeting Property & Inequality in the 21 st Century Gothenburg, Sweden June 12th and 13th, 2015 School of Business, Economics and

More information

NEW THEORIES IN GROWTH AND DEVELOPMENT

NEW THEORIES IN GROWTH AND DEVELOPMENT NEW THEORIES IN GROWTH AND DEVELOPMENT New Theories in Growth and Development Edited by Fabrizio Coricelli Dipartimento di Economia Politica Universitii di Siena Massimo di Matteo Dipartimento di Economia

More information

Lecture Notes in Computer Science 7896

Lecture Notes in Computer Science 7896 Lecture Notes in Computer Science 7896 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

October October FWO Postdoctoral Fellow - KU Leuven, Leuven, Belgium. October October Sep.

October October FWO Postdoctoral Fellow - KU Leuven, Leuven, Belgium. October October Sep. Alessandro Vignati Curriculum Vitae Positions October 2018 - October 2021 FWO Postdoctoral Fellow - KU Leuven, Leuven, Belgium October 2017- October 2018 Postdoctoral Fellow at IMJ-PRG - Institut de Mathématiques

More information

ISNI. International Society of Neuroimmunology PROFILE 2013

ISNI. International Society of Neuroimmunology PROFILE 2013 INTERNATIONAL SOCIETY ISNI PROFILE 2013 ABOUT US The was established in 1982, and since this date has contributed greatly to the growing recognition of the different roles of the immune system in causing

More information

Nonprofit and Civil Society Studies

Nonprofit and Civil Society Studies Nonprofit and Civil Society Studies An International Multidisciplinary Series Series Editors Paul Dekker Institute for Social Research, The Hague, The Netherlands Annette Zimmer University of Münster,

More information

FIG Working group Valuation and Real estate management through Fin-tech. Manohar Velpuri

FIG Working group Valuation and Real estate management through Fin-tech. Manohar Velpuri FIG Working group 9.2 - Valuation and Real estate management through Fin-tech Manohar Velpuri Introduction Projects Timeline and working group project updates II plenary - ISO TC 307 report Integration

More information

By Bodil Branner and Caroline Series Presented in Barcelona, September 2011.

By Bodil Branner and Caroline Series Presented in Barcelona, September 2011. A pictorial history of EWM By Bodil Branner and Caroline Series Presented in Barcelona, September 2011. EWM European Women in Mathematics www.europeanwomeninmaths.org Founded in 1986 to support, encourage

More information

Study. Review of External Market Valuations of Properties Located Abroad. HypZert Professional Group International. As at: November 2011

Study. Review of External Market Valuations of Properties Located Abroad. HypZert Professional Group International. As at: November 2011 Study Review of External Market Valuations of Properties Located Abroad HypZert Professional Group International As at: November 2011 HypZert GmbH Georgenstrasse 21, 10117 Berlin www.hypzert.de The study

More information

International Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France

International Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France International Conference on Image and Signal Processing July 2-4, 2018, Cherbourg, France ICISP in numbers Stats. From 122 records (full papers), Each paper has been reviewed at least by 2 experts 58 papers

More information