Lecture Notes in Computer Science 9034
|
|
- Cuthbert Stevenson
- 6 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 9034 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler, UK John C. Mitchell, USA Bernhard Steffen, Germany Demetri Terzopoulos, USA Gerhard Weikum, Germany Takeo Kanade, USA Jon M. Kleinberg, USA Friedemann Mattern, Switzerland Moni Naor, Israel C. Pandu Rangan, India Doug Tygar, USA Advanced Research in Computing and Software Science Subline of Lecture Notes in Computer Science Subline Series Editors Giorgio Ausiello, University of Rome La Sapienza, Italy Vladimiro Sassone, University of Southampton, UK Subline Advisory Board Susanne Albers, TU Munich, Germany Benjamin C. Pierce, University of Pennsylvania, USA Bernhard Steffen, University of Dortmund, Germany Deng Xiaotie, City University of Hong Kong Jeannette M.Wing, Microsoft Research, Redmond, WA, USA
2 More information about this series at
3 Andrew Pitts (Ed.) Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11 18, 2015 Proceedings ABC
4 Editor Andrew Pitts University of Cambridge Cambridge United Kingdom ISSN ISSN (electronic) Lecture Notes in Computer Science ISBN ISBN (ebook) DOI / Library of Congress Control Number: LNCS Sublibrary: SL1 Theoretical Computer Science and General Issues Springer Heidelberg New York Dordrecht London c Springer-Verlag Berlin Heidelberg 2015 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. Printed on acid-free paper Springer-Verlag GmbH Berlin Heidelberg is part of Springer Science+Business Media (
5 Foreword ETAPS 2015 was the 18th instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998, and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POST) including five invited speakers and two tutorial speakers. Prior to and after the main conference, numerous satellite workshops took place and attracted many researchers from all over the world. ETAPS is a confederation of several conferences, each with its own Program Committee and its own Steering Committee (if any). The conferences cover various aspects of software systems, ranging from theoretical foundations to programming language developments, compiler advancements, analysis tools, formal approaches to software engineering, and security. Organizing these conferences into a coherent, highly synchronized conference program enables the participation in an exciting event, having the possibility to meet many researchers working in different directions in the field, and to easily attend talks at different conferences. The six main conferences together received 544 submissions this year, 152 of which were accepted (including 10 tool demonstration papers), yielding an overall acceptance rate of 27.9%. I thank all authors for their interest in ETAPS, all reviewers for the peerreviewing process, the PC members for their involvement, and in particular the PC Cochairs for running this entire intensive process. Last but not least, my congratulations to all authors of the accepted papers! ETAPS 2015 was greatly enriched by the invited talks by Daniel Licata (Wesleyan University, USA) and Catuscia Palamidessi (InriaSaclay and LIX, France), both unifying speakers, and the conference-specific invited speakers [CC] Keshav Pingali (University of Texas, USA), [FoSSaCS] Frank Pfenning (Carnegie Mellon University, USA), and [TACAS] Wang Yi (Uppsala University, Sweden). Invited tutorials were provided by Daniel Bernstein (Eindhoven University of Technology, the Netherlands and the University of Illinois at Chicago, USA), and Florent Kirchner (CEA, the Alternative Energies and Atomic Energy Commission, France). My sincere thanks to all these speakers for their inspiring talks! ETAPS 2015 took place in the capital of England, the largest metropolitan area in the UK and the largest urban zone in the European Union by most measures. ETAPS 2015 was organized by the Queen Mary University of London in cooperation with the following associations and societies: ETAPS e.v., EATCS (European Association for Theoretical Computer Science), EAPLS (European Association for Programming Languages and Systems), and EASST (European Association of Software Science and Technology). It was supported by the following sponsors: Semmle, Winton, Facebook, Microsoft Research, and Springer-Verlag.
6 VI Foreword The organization team comprised: General Chairs: Pasquale Malacaria and Nikos Tzevelekos Workshops Chair: Paulo Oliva Publicity chairs: Michael Tautschnig and Greta Yorsh Members: Dino Distefano, Edmund Robinson, and Mehrnoosh Sadrzadeh The overall planning for ETAPS is the responsibility of the Steering Committee. The ETAPS Steering Committee consists of an Executive Board (EB) and representatives of the individual ETAPS conferences, as well as representatives of EATCS, EAPLS, and EASST. The Executive Board comprises Gilles Barthe (satellite events, Madrid), Holger Hermanns (Saarbrücken), Joost-Pieter Katoen (Chair, Aachen and Twente), Gerald Lüttgen (Treasurer, Bamberg), and Tarmo Uustalu (publicity, Tallinn). Other members of the Steering Committee are: Christel Baier (Dresden), David Basin (Zurich), Giuseppe Castagna (Paris), Marsha Chechik (Toronto), Alexander Egyed (Linz), Riccardo Focardi (Venice), Björn Franke (Edinburgh), Jan Friso Groote (Eindhoven), Reiko Heckel (Leicester), Bart Jacobs (Nijmegen), Paul Klint (Amsterdam), Jens Knoop (Vienna), Christof Löding (Aachen), Ina Schäfer (Braunschweig), Pasquale Malacaria (London), Tiziana Margaria (Limerick), Andrew Myers (Boston), Catuscia Palamidessi (Paris), Frank Piessens (Leuven), Andrew Pitts (Cambridge), Jean-Francois Raskin (Brussels), Don Sannella (Edinburgh), Vladimiro Sassone (Southampton), Perdita Stevens (Edinburgh), Gabriele Taentzer (Marburg), Peter Thiemann (Freiburg), Cesare Tinelli (Iowa City), Luca Vigano (London), Jan Vitek (Boston), Igor Walukiewicz (Bordeaux), Andrzej Wąsowski (Copenhagen), and Lenore Zuck (Chicago). I sincerely thank all ETAPS SC members for all their hard work to make the 18th edition of ETAPS a success. Moreover, thanks to all speakers, attendants, organizers of the satellite workshops, and to Springer for their support. Finally, many thanks to Pasquale and Nikos and their local organization team for all their efforts enabling ETAPS to take place in London! January 2015 Joost-Pieter Katoen
7 Preface This volume contains the papers presented at the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015) held at Queen Mary University of London, UK, during April 13 16, FoSSaCS is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is dedicated to foundational research with a clear significance for software science and invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. In addition to an invited talk by Frank Pfenning (CMU, USA) on Polarized Substructural Session Types, the contributed papers in the conference ranged over the following topics: semantics of programming languages; categorical models and logics; logical aspects of computational complexity; concurrent, probabilistic and timed systems; automata, games, and verification; modal and temporal logics; type theory, proof theory, and implicit computational complexity. In response to the call for papers, the Program Committee received a total of 93 submissions. Each submission was reviewed by three or more Program Committee members, aided by sub-reviewers. The committee decided to accept 28 papers. The selection was made after extensive discussion by , based on originality, quality, and relevance to the scope of FoSSaCS. The quality of the submissions was very high and many deserving papers could not be selected. I wish to thank all the authors who submitted papers for consideration, the members of the Program Committee for their scholarly efforts and enthusiasm, and all subreviewers who assisted the Program Committee in the evaluation process. I am grateful to the ETAPS 2015 General Chairs, Pasquale Malacaria and Nikos Tzevelekos and their support staff for their assistance. I would also like to thank the ETAPS Steering Committe and particularly its Chair, Joost-Pieter Katoen, for overseeing the complicated process of producing a joint conference. The conference management system Easy- Chair was used to handle the submissions, to conduct the electronic Program Committee meeting, and to assist with the assembly of this proceedings. January 2015 Andrew Pitts
8 Organization Program Committee Andreas Abel Andrej Bauer Udi Boker Luis Caires Krishnendu Chatterjee Thomas Colcombet Andrea Corradini Ugo Dal Lago Maribel Fernandez Daniel Hirschkoff Radha Jagadeesan Sławomir Lasota Ranko Lazic Paul Levy Daniel Licata Dirk Pattinson Nir Piterman Andrew Pitts Ulrich Schöpp Alexandra Silva Alex Simpson Lutz Strassburger Thomas Streicher Ashish Tiwari Daniele Varacca Chalmers University of Technology, Sweden University of Ljubljana, Slovenia Interdisciplinary Center Herzliya, Israel Universidade Nova de Lisboa, Portugal Institute of Science and Technology, Austria Université Paris Diderot, France Università di Pisa, Italy Università di Bologna, Italy King s College London, UK École Normale Supérieure de Lyon, France DePaul University, USA University of Warsaw, Poland University of Warwick, UK University of Birmingham, UK Wesleyan University, USA Australian National University, Australia University of Leicester, UK University of Cambridge, UK Ludwig-Maximilians-Universität München, Germany Radboud Universiteit Nijmegen, The Netherlands University of Edinburgh, UK Inria Saclay-Ile de France, France Technische Universität Darmstadt, Germany SRI International, USA University Paris-Est Créteil Val de Marne, France Additional Reviewers Abdulla, Parosh Adams, Robin Ahmed, Amal Al-Humaimeedy, Abeer Almagor, Shaull Aminof, Benjamin Aubert, Clément Avanzini, Martin Avni, Guy Baldan, Paolo Basilico, Nicola Ben-Amram, Amir Berdine, Josh Berger, Ulrich Berwanger, Dietmar Blot, Valentin
9 X Organization Blumensath, Achim Bonchi, Filippo Brenguier, Romain Brotherston, James Bruni, Roberto Bujorianu, Manuela Cadilhac, Michaël Carayol, Arnaud Castellani, Ilaria Clairambault, Pierre Clemente, Lorenzo Crafa, Silvia Crubillé, Raphaëlle Das, Anupam de Carvalho, Daniel Degorre, Aldric Demri, Stéphane Di Gianantonio, Pietro Fearnley, John Feret, Jerome Figueira, Diego Fijalkow, Nathanaël French, Tim Gadducci, Fabio Ganty, Pierre Gascon, Adria Gebler, Daniel Geerarts, Gilles Gheerbrant, Amelie Goncharov, Sergey Gorla, Daniele Guenot, Nicolas Haase, Christoph Hasuo, Ichiro Heckel, Reiko Hermida, Claudio Hidaka, Soichiro Hofman, Piotr Hofman, Piotrek Horn, Florian Hunter, Paul Huschenbett, Martin Hyon, Emmanuel Hüttel, Hans Ibsen-Jensen, Rasmus Iliev, Petar Ilik, Danko Ivan, Szabolcs Jongmans, Sung-Shik T.Q. Jurdzinski, Marcin Kaiser, Lukasz Keimel, Klaus Kiefer, Stefan Klin, Bartek Klueppelholz, Sascha Kontchakov, Roman Kopczynski, Eryk Koutavas, Vasileios Kretinsky, Jan Krishnaswami, Neelakantan Kucera, Antonin Kuperberg, Denis Kupke, Clemens Kurz, Alexander Kuznets, Roman König, Barbara Laird, James Lamarche, Francois Lanese, Ivan Lang, Martin Lange, Julien Lenglet, Sergueï Lenisa, Marina Lumsdaine, Peter Lefanu Maieli, Roberto Majumdar, Rupak Maletti, Andreas Manuel, Amaldev Mardare, Radu Marion, Jean-Yves Martini, Simone Matthes, Ralph McCusker, Guy Meel, Kuldeep S. Mehner, Stefan Meier, Arne Melgratti, Hernan Milius, Stefan Mimram, Samuel Miranda-Perea, Favio E. Montanari, Ugo Mostrous, Dimitris
10 Organization XI Murano, Aniello Murawski, Andrzej Møgelberg, Rasmus Ejlers Novakovic, Novak Novotný, Petr Obdrzalek, Jan Otop, Jan Oualhadj, Youssouf Pagani, Michele Parys, Paweł Pavlogiannis, Andreas Pelz, Elisabeth Perelli, Giuseppe Pous, Damien Pretnar, Matija Radhakrishna, Arjun Ramsay, Steven Rathke, Julian Rehof, Jakob Riba, Colin Rogalewicz, Adam Rot, Jurriaan Rukhaia, Mikheil Salvati, Sylvain Sangnier, Arnaud Schröder, Lutz Shehtman, Valentin Skrzypczak, Michał Skvortsov, Dmitrij Sobocinski, Pawel Sreejith, A.V. Staton, Sam Stefani, Jean-Bernard Szreter, Maciej Tabareau, Nicolas Terui, Kazushige Totzke, Patrick Trivedi, Ashutosh Tzevelekos, Nikos Urzyczyn, Pawel Valencia, Frank van Bakel, Steffen Velner, Yaron Vezzosi, Andrea Vignudelli, Valeria Villard, Jules Vollmer, Heribert Widder, Josef Wojtczak, Dominik Wolper, Pierre Worrell, James Yang, Fan Zanasi, Fabio Zielonka, Wieslaw Zuleger, Florian
11 Contents Invited Talk Polarized Substructural Session Types... 3 Frank Pfenning and Dennis Griffith Semantics of Programming Languages I Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism Konstantinos Mamouras An Infinitary Model of Linear Logic Charles Grellois and Paul-André Melliès Game Semantics and Normalization by Evaluation Pierre Clairambault and Peter Dybjer Foundations of Differential Dataflow Martín Abadi, Frank McSherry, and Gordon D. Plotkin Categorical Models and Logics States of Convex Sets Bart Jacobs, Bas Westerbaan, and Bram Westerbaan A Categorical Semantics for Linear Logical Frameworks Matthijs Vákár A Completeness Result for Finite λ-bisimulations Joost Winter Sequent Calculus in the Topos of Trees Ranald Clouston and Rajeev Goré Modal and Temporal Logics Coalgebraic Trace Semantics via Forgetful Logics Bartek Klin and Jurriaan Rot Unifying Hyper and Epistemic Temporal Logics Laura Bozzelli, Bastien Maubert, and Sophie Pinchinat
12 XIV Contents Concurrent, Probabilistic and Timed Systems On the Total Variation Distance of Semi-Markov Chains Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, and Radu Mardare Decidable and Expressive Classes of Probabilistic Automata Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, and Yue Ben Knowledge = Observation + Memory + Computation Blaise Genest, Doron Peled, and Sven Schewe Compositional Metric Reasoning with Probabilistic Process Calculi Daniel Gebler, Kim Guldstrand Larsen, and Simone Tini Semantics of Programming Languages II Fragments of ML Decidable by Nested Data Class Memory Automata Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, and C.-H. Luke Ong Operational Nominal Game Semantics Guilhem Jaber Step-Indexed Logical Relations for Probability Aleš Bizjak and Lars Birkedal Automata, Games, Verification Minimisation of Multiplicity Tree Automata Stefan Kiefer, Ines Marusic, and James Worrell Robust Multidimensional Mean-Payoff Games are Undecidable Yaron Velner The Cyclic-Routing UAV Problem Is PSPACE-Complete Hsi-Ming Ho and Joël Ouaknine Typing Weak MSOL Properties Sylvain Salvati and Igor Walukiewicz Logical Aspects of Computational Complexity Three Variables Suffice for Real-Time Logic Timos Antonopoulos, Paul Hunter, Shahab Raza, and James Worrell
13 Contents XV On Presburger Arithmetic Extended with Modulo Counting Quantifiers Peter Habermehl and Dietrich Kuske Parity Games of Bounded Tree- and Clique-Width Moses Ganardi Type Theory, Proof Theory and Implicit Computational Complexity Programming and Reasoning with Guarded Recursion for Coinductive Types Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl, and Lars Birkedal The Computational Contents of Ramified Corecurrence Daniel Leivant and Ramyaa Ramyaa On the Dependencies of Logical Rules Marc Bagnol, Amina Doumane, and Alexis Saurin On the Mints Hierarchy in First-Order Intuitionistic Logic Aleksy Schubert, Pawe l Urzyczyn, and Konrad Zdanowski Author Index
Lecture Notes in Computer Science 9635
Lecture Notes in Computer Science 9635 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 informationLecture 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 informationLecture 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 informationLecture 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 informationThe 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 informationLecture Notes in Computer Science 9033
Lecture Notes in Computer Science 9033 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 informationEmotional 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 informationLecture 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 informationLecture 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 informationEarly 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 informationLecture 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 informationUlrik M. Nyman - Curriculum Vitæ
Ulrik M. Nyman - Curriculum Vitæ Personal Information Education Ulrik Mathias Nyman Phone: 40 89 21 56 Doravej 45 st. th. Email: ulrik@cs.aau.dk 9000 Aalborg Born: 2nd of December 1978 Married to Tina,
More informationLecture 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 informationLecture 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 informationLecture 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 informationHomepage: 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 informationLecture 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 informationLecture 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 informationLecture 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 informationResearch 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 informationStudies 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 informationFractals 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 informationLecture 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 informationLecture 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 informationLecture 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 informationLecture 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 informationAtlas 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 informationLecture Notes in Computer Science 6690
Lecture Notes in Computer Science 6690 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 informationLecture 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 informationLecture 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 informationWelcome 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 informationLecture 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 informationHow Europeans live and what it costs them Is renting a dwelling a profitable investment?
REflexions magazine issue 46 Section title goes here REflexions magazine issue REflexions 4 Section magazine title goes issue here 6 Deloitte Property Index 2017 How Europeans live and what it costs them
More informationDescription & Verification of Concurrent Systems, UPV Valencia, Spain. held by Javier Oliver and Marisa Llorens
Giorgio Bacci Assistant Professor, Dept. Computer Science, Aalborg University Selma Lagerlöfs Vej 300 9220 Aalborg, Denmark +45 9940 8936 +45 9940 9798 grbacci@cs.aau.dk Personal Informations name address
More informationLecture Notes in Computer Science 3925
Lecture Notes in Computer Science 3925 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7140
Lecture Notes in Computer Science 7140 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4962
Lecture Notes in Computer Science 4962 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture 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 informationNonprofit 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 informationLecture Notes in Computer Science 7734
Lecture Notes in Computer Science 7734 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5944
Lecture Notes in Computer Science 5944 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 6517
Lecture Notes in Artificial Intelligence 6517 Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes in Computer Science FoLLI Publications on Logic, Language and Information Editors-in-Chief
More information4 th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) Proceedings
4 th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) 2016 Boston, MA, USA, September 16 th, 2016 Proceedings edited by Marko Tkalčič Berardina de Carolis Marco de Gemmis Andrej Košir
More informationLecture 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 informationIntelligent 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 informationLecture 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 informationLecture Notes in Computer Science 1601 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1601 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Joost-Pieter Katoen (Ed.) Formal
More informationLecture Notes in Computer Science 2575 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2575 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Lenore D. Zuck Paul C. Attie Agostino
More informationHomepage: Curriculum Vitae
Marco Volpe Parsifal Team Inria Saclay - Île de France 1 rue Honoré d Estienne d Orves Bâtiment Alan Turing Campus de l École Polytechnique 91120 Palaiseau (France) E-mail: marco.volpe@inria.fr Homepage:
More informationLecture 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 informationDigital Revolution: Data Protection, Smart Products, Blockchain Technology and Bitcoins Challenges for Law in Practice
19 th and 20 th April 2018 Conference at Villa Braida Via Bonisiolo n. 16, Mogliano Veneto, Italy Digital Revolution: Data Protection, Smart Products, Blockchain Technology and Bitcoins Challenges for
More informationLecture 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 informationOffice 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 informationLecture 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 informationSpringer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo
The Mathematical World ofwalter Noll Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo Yurie A.Ignatieff The Mathematical World of Walter Noll
More informationSERGIU 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 informationPersoonlijke kopie van ()
BRUSSELS II BIS EUROPEAN FAMILY LAW SERIES Published by the Organising Committee of the Commission on European Family Law Prof. Katharina Boele-Woelki (Utrecht) Prof. Frédérique Ferrand (Lyon) Prof. Cristina
More informationNon-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 informationLecture 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 informationIndustrial 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 informationLecture Notes in Computer Science 5504
Lecture Notes in Computer Science 5504 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationEncountering 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 informationLecture 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 informationLecture Notes in Computer Science 10852
Lecture Notes in Computer Science 10852 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSyntax of Landscape The Landscape Architecture of Peter Latz and Partners
Syntax of Landscape The Landscape Architecture of Peter Latz and Partners Udo Weilacher Syntax of Landscape The Landscape Architecture of Peter Latz and Partners Birkhäuser Basel Boston Berlin Layout and
More information*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 informationSTUDIES 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 informationCoPDA 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 informationLecture Notes in Computer Science 7679
Lecture Notes in Computer Science 7679 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationCurriculum Vitae Person Education Professional career
Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University
More informationCoPDA 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 informationCurriculum vitae of Tatyana Shaposhnikova
Curriculum vitae of Tatyana Shaposhnikova Part time job: Dept. of Mathematics, Royal Institute of Technology Address: Institutionen för mathematik, KTH, 10044 Stockholm, Sweden Email: tat@math.kth.se http://people.kth.se/~tat
More informationGlobal Real Estate: Similarities & Differences
Global Real Estate: Similarities & Differences Robin Goodchild International Director & Head of European Strategy 24 th June 2010 How do Real Estate Markets Work? Space Market Property Market Capital Market
More informationCrime 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 informationHigher 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 informationLecture Notes in Business Information Processing 62
Lecture Notes in Business Information Processing 62 Series Editors Wil van der Aalst Eindhoven Technical University, The Netherlands John Mylopoulos University of Trento, Italy Michael Rosemann Queensland
More informationThe 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 informationInternational 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 informationIndustrial 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 informationLecture 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 informationOrganizational Economics, Personnel Economics, Behavioral Economics
CURRICULUM VITAE Professor Dr. Jenny Kragl Professor of Economics (Microeconomics) EBS Universität für Wirtschaft und Recht EBS Business School Department of Management & Economics Rheingaustr. 1 D - 65375
More informationLecture 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 informationCURRICULUM VITAE Michael (Michail) Th. Rassias
CURRICULUM VITAE Michael (Michail) Th. Rassias Contact Information Address: E-mail: Department of Mathematics Princeton University Fine Hall, Washington Road Princeton, NJ 08544-1000 USA michailrassias@math.princeton.edu
More informationThe 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 informationLecture Notes in Computer Science 8031
Lecture Notes in Computer Science 8031 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationMy Life with Eggs: Forty Years On
My Life with Eggs: Forty Years On A personal history of the IFRG 1975 2015 Nick French and at least gives someone else a chance to be the last to leave the bar Glenn Baggott 2012 Thanks to the organisers.
More informationStandard Letters for Building Contractors
Standard for Building Contractors Other books by The JCT Intermediate Building Contracts 2005 Third Edition 978-1-4051-4049-2 The JCT Minor Works Building Contracts 2005 Fourth Edition 978-1-4051-5271-6
More informationHigh-Rise Living in Asian Cities
High-Rise Living in Asian Cities Anthony G.O. Yeh Editors High-Rise Living in Asian Cities 123 Editors Singapore belyuen8@gmail.com Anthony G.O. Yeh Centre of Urban Studies and Urban Planning The University
More informationINDUSTRIAL RELATIONS IN INTERNATIONAL PERSPECTIVE
INDUSTRIAL RELATIONS IN INTERNATIONAL PERSPECTIVE By the same author Internal Labor Markets and Manpower Analysis (with Michael J. Piore) Programs to Employ the Disadvantaged (ed.) Industrial Relations
More information09:00-10:30 am SESSION I: FOOD-MICROBES-HOST INTERACTIONS IN THE HUMAN GUT Chair: R. Balfour Sartor (Chapel Hill, USA)
THE FACULTY 2018 ESNM / AGA JOINT SCIENTIFIC COMMITTEE Giovanni Barbara (Italy) Joël Doré (France) Francisco Guarner (Spain) Dirk Haller (Germany) Hania Szajewska (Poland) Harry Sokol (France) Gail Hecht
More informationProceedings of the Eighth International Conference on Probabilistic Graphical Models
Proceedings of the Eighth International Conference on Probabilistic Graphical Models Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6 9 September 2016 Conference Organization
More informationProgress in Mathematics Volume 95
Progress in Mathematics Volume 95 Series Editors J. Oesterle A. Weinstein Representation Theory of Finite Groups and Finite-Dimensional Algebras Proceedings of the Conference at the University of Bielefeld
More informationHuman Rights and Intellectual Property: From Concepts to Practice
14th EIPIN Congress Human Rights and Intellectual Property: From Concepts to Practice Strasbourg, 5-7 April 2013 Hosted and organised by CEIPI European Court of Human Rights Maison Interuniversitaire des
More information5 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 informationElmar Altvater Achim Brunnengräber (Eds.) After cancun
Elmar Altvater Achim Brunnengräber (Eds.) After cancun VS RESEARCH Energiepolitik und Klimaschutz Herausgegeben von PD Dr. Achim Brunnengräber, TU Dresden PD Dr. Lutz Mez, FU Berlin Elmar Altvater Achim
More informationMake!t
stramatakis UNIL Make!t Happen@Lausanne Algeria Austria Belgium Bulgaria Croatia Cyprus Czech R Denmark Egypt Estonia Finland France Germany Grece Hungary Ireland Italy Jordan Latvia Lebanon Lithuania
More informationEUROPEAN PRODUCT LIABILITY
EUROPEAN PRODUCT LIABILITY EUROPEAN PRODUCT LIABILITY An Analysis of the State of the Art in the Era of New Technologies Edited by Piotr Machnikowski Cambridge Antwerp Portland Ltd Sheraton House Castle
More informationOCL th International Workshop on OCL and Textual Modeling
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems October 2 October 7, 2016 Saint-Malo (France) OCL 2016 16th International Workshop on OCL and Textual Modeling Workshop
More informationLecture Notes in Computer Science 8052
Lecture Notes in Computer Science 8052 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 informationLecture Notes in Computer Science 3921
Lecture Notes in Computer Science 3921 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