Lecture Notes in Computer Science 4962
|
|
- Kristian Lester
- 6 years ago
- Views:
Transcription
1 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, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
2 Roberto Amadio (Ed.) Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 Budapest, Hungary, March 29 April 6, 2008 Proceedings 13
3 Volume Editor Roberto Amadio Université Paris 7, PPS, Case Paris Cedex 13, France Library of Congress Control Number: CR Subject Classification (1998): F.3, F.4.2, F.1.1, D.3.3-4, D.2.1 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2008 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /
4 Foreword ETAPS 2008 was the 11th instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised five conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, AVIS, Bytecode, CMCS, COCV, DCC, FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, and WRLA), nine tutorials, and seven invited lectures (excluding those that were specific to the satellite events). The five main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulations therefore to all the authors who made it to the final programme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system development process, including specification, design, implementation, analysis and improvement. The languages, methodologies and tools which support these activities are all well within its scope. Different blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for unifying talks on topics of interest to the whole range of ETAPS attendees. The aim of cramming all this activity into a single one-week meeting is to create a strong magnet for academic and industrial researchers working on topics within its scope, giving them the opportunity to learn about research in related areas, and thereby to foster new and existing links between work in areas that were formerly addressed in separate meetings. ETAPS 2008 was organized by the John von Neumann Computer Society jointly with the Budapest University of Technology and the Eötvös University, in cooperation with: European Association for Theoretical Computer Science (EATCS) European Association for Programming Languages and Systems (EAPLS) European Association of Software Science and Technology (EASST) and with support from Microsoft Research and Danubius Hotels.
5 VI Foreword The organizing team comprised: Chair Director of Organization Main Organizers Publicity Advisors Satellite Events Tutorials Web Site Registration System Computer Support Local Arrangements Dániel Varró István Alföldi Andrea Tósoky, Gabriella Aranyos Joost-Pieter Katoen András Pataricza, Joaõ Saraiva Zoltán Horváth, Tihamér Levendovszky, Viktória Zsók László Lengyel Ákos Horváth Victor Francisco Fonte, Zsolt Berényi, Róbert Kereskényi, Zoltán Fodor Áron Sisak László Gönczy, Gábor Huszerl, Melinda Magyar, several student volunteers. Overall planning for ETAPS conferences is the responsibility of its Steering Committee, whose current membership is: Vladimiro Sassone (Southampton, Chair), Luca de Alfaro (Santa Cruz), Roberto Amadio (Paris), Giuseppe Castagna (Paris), Marsha Chechik (Toronto), Sophia Drossopoulou (London), Matt Dwyer (Nebraska), Hartmut Ehrig (Berlin), Chris Hankin (London), Laurie Hendren (McGill), Mike Hinchey (NASA Goddard), Paola Inverardi (L Aquila), Joost-Pieter Katoen (Aachen), Paul Klint (Amsterdam), Kim Larsen (Aalborg), Gerald Luettgen (York) Tiziana Margaria (Göttingen), Ugo Montanari (Pisa), Martin Odersky (Lausanne), Catuscia Palamidessi (Paris), Anna Philippou (Cyprus), CR Ramakrishnan (Stony Brook), Don Sannella (Edinburgh), JoãoSaraiva (Minho), MichaelSchwartzbach (Aarhus), Helmut Seidl (Munich), Perdita Stevens (Edinburgh), and Dániel Varró (Budapest). I would like to express my sincere gratitude to all of these people and organizations, the Programme Committee Chairs and members of the ETAPS conferences, the organizers of the satellite events, the speakers themselves, the many reviewers, and Springer for agreeing to publish the ETAPS proceedings. Finally, I would like to thank the Organizing Chair of ETAPS 2008, Dániel Varró, for arranging for us to have ETAPS in the most beautiful city of Budapest January 2008 Vladimiro Sassone
6 Preface The present volume contains the proceedings of the 11th international conference on the Foundations of Software Science and Computations Structures (FOS- SACS) 2008, held in Budapest, Hungary, April 2 4, FOSSACS is an event of the Joint European Conferences on Theory and Practice of Software (ETAPS). The previous ten FOSSACS conferences took place in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genoa (2001), Grenoble (2002), Warsaw (2003), Barcelona (2004), Edinburgh (2005), Vienna (2006), and Braga (2007). FOSSACS presents original papers on foundational research with a clear significance to software science. The Programme Committee invited papers on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems. In particular, we identified the following topics: algebraic models, automata and language theory, behavioral equivalences, categorical models, computation processes over discrete and continuous data, infinite state systems, computation structures, logics of programs, modal, spatial, and temporal logics, models of concurrent, reactive, distributed, and mobile systems, process algebras and calculi, semantics of programming languages, software specification and refinement, type systems and type theory, fundamentals of security, semi-structured data, program correctness and verification. We ultimately received 124 submissions. This proceedings volume consists of the abstract of an invited talk by Igor Walukiewicz together with 33 contributed papers. The contributed papers were selected for publication by the Programme Committee during a two-week electronic discussion. We sincerely thank all the authors of papers submitted to FOSSACS 2008; we were pleased indeed by the number and quality of the submissions. Moreover, we would like to thank the members of the Programme Committee for their excellent job during the selection process. Clearly, all this would not have been possible without the valuable and detailed reports provided by the sub-reviewers. Also, through the phases of submission, evaluation, and production of the proceedings we relied on the invaluable assistance of the EasyChair system. Last but not least, we would also like to thank the ETAPS 2008 Organizing Committee chaired by Dániel Varró and the ETAPS Steering Committee chaired by Vladimiro Sassone for their efficient coordination of all the activities leading up to FOSSACS January 2008 Roberto M. Amadio
7 Organization Programme Chair Roberto Amadio Programme Committee Luca Aceto, Reykjavik University Roberto Amadio (Chair), Paris Diderot University Lars Birkedal, Copenhagen IT University Roberto Bruni, Pisa University Hubert Comon, ENS Cachan Thierry Coquand, Göteborg University Zoltan Esik, Szeged University Dan Ghica, Birmingham University Jürgen Giesl, RWTH Aachen Martin Hofmann, Munich University Radha Jagadeesan, DePaul University Petr Jančar, Ostrava Technical University Leonid Libkin, Edinburgh University Dale Miller, INRIA Saclay Eugenio Moggi, Genoa University Anca Muscholl, LABRI, Bordeaux Vincent van Oostrom, Utrecht University Prakash Panangaden, McGill University Jean-François Raskin, Brussels Free University David Sands, Göteborg University Colin Stirling, Edinburgh University Pawel Urzyczyn, Warsaw University Thomas Wilke, Kiel University Nobuko Yoshida, Imperial College, London External Reviewers Parosh Abdulla Andreas Abel Samson Abramsky Lucia Acciai Rajeev Alur David Baelde Christel Baier Adam Bakewell Paolo Baldan Pablo Barcelo Miklos Bartha Marcin Benke
8 X Organization Martin Berger Lennart Beringer Marco Bernardo Nathalie Bertrand Dietmar Berwanger Bodil Biering Stephen L. Bloom Benedikt Bollig Filippo Bonchi Michele Boreale Patricia Bouyer Tomas Brazdil Thomas Brihaye Vaclav Brozek Véronique Bruyère Mikkel Bundgaard Marzia Buscemi Marco Carbone Koen Claessen David Clark Brendan Cordy Flavio Corradini Silvia Crafa Deepak D Souza Troels Damgaard Søren Debois Stéphanie Delaune Yannick Delbecque Stéphane Demri Josee Desharnais Raymond Devillers Volker Diekert Ernst-Erich Doberkat Daniel Dougherty Laurent Doyen Ebbe Elsborg Joerg Endrullis Javier Esparza Kousha Etessami Alain Finkel Eric Fabre John Fearnley Andrzej Filinski Wan Fokkink Vojtech Forejt Cédric Fournet Adrian Francalanza Oliver Friedmann Murdoch Gabbay Andrew Gacek Fabio Gadducci Tjalling Gelsema Thomas Genet Hugo Gimbert Arne Glenstrup Andrew Gordon Daniele Gorla Clemens Grabmayer Hermann Gruber Erich Grädel Stefano Guerrini Vineet Gupta Ichiro Hasuo Dimitri Hendriks Thomas Hildebrandt Jane Hillston Jan Holeček Clement Houtmann Helle Hvid Hansen Szabolcs Ivan Florent Jacquemard Alan Jeffrey Joost-Pieter Katoen Tomasz Kazana Klaus Keimel Carsten Kern Claude Kirchner Vladimir Klebanov Jetty Kleijn Bartek Klin Bartosz Klin Eryk Kopczynski Vaclav Koubek Steve Kremer Antonin Kucera Ralf Kuesters Alexander Kurz Detlef Köhler Barbara König Anna Labella
9 Organization XI Ivan Lanese Martin Lange Francois Laroussinie S lawomir Lasota James J. Leifer Stéphane Lengrand Marina Lenisa Giacomo Lenzi Jérôme Leroux Michael Leuschel Paul Levy Alberto Lluch-Lafuente Christof Loeding Markus Lohrey Hans-Wolfgang Loidl Etienne Lozes Christof Löding Sergio Maffeis Patrick Maier Luc Maranget Carbone Marco Radu Mardare Nicolas Markey Andrea Masini Thierry Massart Hernan Melgratti Massimo Merro Marino Miculan Michael Mislove Faron Moller David Monniaux Larry Moss Andrzej Murawski Anca Muscholl Rasmus Møgelberg Gopalan Nadathur Sebastian Nanz Uwe Nestmann Linh Anh Nguyen Damian Niwinski Thomas Noll Ulf Norell Gethin Norman David Nowak Russell O Connor Jan Obdrzalek Luke Ong Karol Ostrovsky Joel Ouaknine Iain Phillips Nir Piterman Adam Poswolsky Damien Pous John Power K.V.S. Prasad R. Ramanujam Julian Rathke Pierre-Alain Reynier Jussi Rintanen Eike Ritter Enric Rodríguez-Carbonell Philipp Ruemmer Michal Rutkowski Alexis Saurin Philippe Schnoebelen Pierre-Yves Schobbens Aleksy Schubert Roberto Segala Sebastian Seibert Damien Sereni Pawel Sobocinski Jiri Srba Ian Stark Sam Staton Lutz Strassburger Jan Strejcek Grégoire Sutre Josef Svenningsson Morten Heine Sørensen Jonathan Taylor Hayo Thielecke René Thiemann Sophie Tison Alwen Tiu Richard Trefler Ralf Treinen Tomasz Truderung Theodoros Tsokos Emilio Tuosto Irek Ulidowski
10 XII Organization Michael Ummels Christian Urban Sandor Vagvolgyi Frank Valencia Laurent Van Begin Daniele Varacca Björn Victor Maria Vigliotti Emanuele Viola Janis Voigtlaender David Wahlstedt Volker Weber Anthony Widjaja To James Worrell Francesco Zappa Nardelli Gianluigi Zavattaro Wieslaw Zielonka Elena Zucca Vojtěch Řehák Franck van Breugel
11 Table of Contents Finding Your Way in a Forest: On Different Types of Trees and Their Properties (Invited Talk)... 1 Igor Walukiewicz Simple Stochastic Games with Few Random Vertices Are Easy to Solve... 5 Hugo Gimbert and Florian Horn The Complexity of Nash Equilibria in Infinite Multiplayer Games Michael Ummels Stochastic Games with Lossy Channels Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, and Sven Sandberg Simulation Hemi-metrics between Infinite-State Stochastic Games Jean Goubault-Larrecq Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics Dirk Pattinson and Lutz Schröder A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus Peter Selinger and Benoît Valiron The ω-regular Post Embedding Problem P. Chambart and Ph. Schnoebelen Complexity of Decision Problems for Mixed and Modal Specifications Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, and Andrzej Wasowski Classes of Tree Homomorphisms with Decidable Preservation of Regularity Guillem Godoy, Sebastian Maneth, and Sophie Tison A Kleene-Schützenberger Theorem for Weighted Timed Automata Manfred Droste and Karin Quaas Robust Analysis of Timed Automata Via Channel Machines Patricia Bouyer, Nicolas Markey, and Pierre-Alain Reynier The Common Fragment of ACTL and LTL Miko laj Bojańczyk
12 XIV Table of Contents The Complexity of CTL +LinearPast Laura Bozzelli Footprints in Local Reasoning Mohammad Raza and Philippa Gardner A Modal Deconstruction of Access Control Logics Deepak Garg and Martín Abadi Coalgebraic Logic and Synthesis of Mealy Machines M.M. Bonsangue, Jan Rutten, and Alexandra Silva The Microcosm Principle and Concurrency in Coalgebra Ichiro Hasuo, Bart Jacobs, and Ana Sokolova Systems of Equations Satisfied in All Commutative Finite Semigroups Pawe l Parys Optimal Lower Bounds on Regular Expression Size Using Communication Complexity Hermann Gruber and Jan Johannsen On Decision Problems for Probabilistic Büchi Automata Christel Baier, Nathalie Bertrand, and Marcus Größer Model-Checking ω-regular Properties of Interval Markov Chains Krishnendu Chatterjee, Koushik Sen, and Thomas A. Henzinger Prevision Domains and Convex Powercones Jean Goubault-Larrecq RPO, Second-Order Contexts, and λ-calculus Pietro Di Gianantonio, Furio Honsell, and Marina Lenisa Erasure and Polymorphism in Pure Type Systems Nathan Mishra-Linger and Tim Sheard The Implicit Calculus of Constructions as a Programming Language with Dependent Types Bruno Barras and Bruno Bernardo Strong Normalisation of Cut-Elimination That Simulates β-reduction Kentaro Kikuchi and Stéphane Lengrand Symbolic Semantics Revisited Filippo Bonchi and Ugo Montanari
13 Table of Contents XV Deriving Bisimulation Congruences in the Presence of Negative Application Conditions Guilherme Rangel, Barbara König, and Hartmut Ehrig Structural Operational Semantics for Stochastic Process Calculi Bartek Klin and Vladimiro Sassone Compositional Methods for Information-Hiding Christelle Braun, Konstantinos Chatzikokolakis, and Catuscia Palamidessi Products of Message Sequence Charts Philippe Darondeau, Blaise Genest, and Loïc Hélouët What Else Is Decidable about Integer Arrays? Peter Habermehl, Radu Iosif, and Tomáš Vojnar Model Checking Freeze LTL over One-Counter Automata Stéphane Demri, Ranko Lazić, and Arnaud Sangnier Author Index
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationLecture Notes in Computer Science 3170
Lecture Notes in Computer Science 3170 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 4137
Lecture Notes in Computer Science 4137 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 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 informationLecture Notes in Computer Science 3653
Lecture Notes in Computer Science 3653 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 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 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 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 6647
Lecture Notes in Computer Science 6647 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 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 informationCESAM Certified Members
A. Franck 15/12/2016 CESAM Confirmed System Architect A. Julien 22/01/2015 CESAM Confirmed System Architect A. Cyrille 14/12/2017 CESAM Confirmed System Architect A. Eva 13/06/2017 CESAM Confirmed System
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 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 informationLecture Notes in Computer Science 2030 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2030 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Furio Honsell Marino Miculan
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 9034
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,
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 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 informationLecture 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 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 informationCurriculum Vitae for Marlis Buchman
Curriculum Vitae for Marlis Buchman AREAS OF SPECIALIZATION Sociology of the Life Course (including Sociology of Youth) Social Change Social Stratification and Mobility Sociology of Work, Occupations,
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 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 informationGerman Yearbook on Business History 1986
German Yearbook on Business History 1986 German Yearbook on Business History 1986 Edited by the German Society for Business History, Cologne in Cooperation with the Institute for Bank-Historical Research,
More informationCONTEMPORARY MATHEMATICS
CONTEMPORARY MATHEMATICS 328 Function Spaces Fourth Conference on Function Spaces May 14-19,2002 Southern Illinois University at Edwardsville Krzysztof Jarosz Editor http://dx.doi.org/10.1090/conm/328
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 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 information22nd International Conference on Automated Deduction (CADE-22) McGill University, Montreal, Canada. Conference Schedule
22nd International Conference on Automated Deduction (CADE-22) McGill University, Montreal, Canada Conference Schedule CADE-22 Conference Schedule Tuesday, August 4 08:55 9:00 Welcome Brigitte Pientka
More informationLecture 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 informationLecture Notes in Computer Science 3444
Lecture Notes in Computer Science 3444 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 4421
Lecture Notes in Computer Science 4421 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationDetection 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 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 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 informationHAPOC11. History and Philosophy of Computing November 2011 Ghent, Belgium. Het Pand
HAPOC11 History and Philosophy of Computing 07 10 November 2011 Ghent, Belgium Het Pand Organised by Centre for Logic and Philosophy of Science Ghent University Schedule MONDAY 07 NOVEMBER 08:30 09:30
More informationLecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1782 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Gert Smolka (Ed.) Programming
More informationLecture Notes in Computer Science 2305 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2305 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Daniel Le Métayer (Ed.) Programming
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 informationLecture Notes in Computer Science 1837 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 1837 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Roland Backhouse José Nuno Oliveira
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 informationLecture 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 informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 835 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis
More informationGordon Stewart Curriculum Vitae
Gordon Stewart Curriculum Vitae Department of Computer Science Princeton University 35 Olden Street Princeton, NJ 08540 Office: Computer Science 242 Telephone: (609) 751-3839 Email Address: jsseven@cs.princeton.edu
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 informationLecture 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 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 informationLecture 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 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 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 informationThe Founders of Index Theory
The Founders of Index Theory The Founders of Index Theory reminiscences of and about Sir Michael Atiyah, Raoul Bott, Friedrich Hirzebruch, and I.M. Singer edited by S.-T. Yau Harvard University second
More informationYury I. Manin CURRICULUM VITAE (updated May 20, 2016)
Yury I. Manin CURRICULUM VITAE (updated May 20, 2016) MANIN YURY, born February 16, 1937, Simferopol, USSR. Current employments: Professor Emeritus, Max Planck Institut für Mathematik, Vivatsgasse 7, Bonn
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 informationTheorem Proving in Higher Order Logics
Lecture Notes in Computer Sc'e~l lice ~ 1125 J. von Wright J. Grundy J. Harrison (Eds.) Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96 Turku, Finland, August 1996 Proceedings
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1138 Advisory Board: W. Brauer D. Gries J. Stoer Jacques Calmet John A. Campbell Jochen Pfalzgraf (Eds.) Artificial
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 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 informationThe Analytic Hierarchy Process. M. En C. Eduardo Bustos Farías
The Analytic Hierarchy Process M. En C. Eduardo Bustos Farías Outline of Lecture Summary MADM ranking methods Examples Analytic Hierarchy Process (AHP) Examples pairwise comparisons normalization consistency
More informationBy 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 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 informationA Bibliography of Books about REDUCE
A Bibliography of Books about REDUCE Anthony C. Hearn The RAND Corporation Santa Monica, CA 90406-2138 USA 14 October 2017 Version 2.11 Abstract This bibliography records books and technical reports written
More informationLecture Notes in Computer Science 6092
Lecture Notes in Computer Science 6092 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
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 informationLecture 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 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 informationLecture 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 informationCURRICULUM VITAE PhD, School of Mathematics, Eotvos University, Hungary MSc, School of Mathematics, Eotvos University, Hungary
PERSONAL INFORMATION CURRICULUM VITAE Full name: Gabor Kun Country of citizenship: Hungary Email: kungabor@renyi.hu EDUCATION 2007 PhD, School of Mathematics, Eotvos University, Hungary 2003 MSc, School
More informationLecture Notes in Computer Science 1664 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1664 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Jos C.M. Baeten Sjouke Mauw
More informationStephan Schiffel. Research Interests
Stephan Schiffel Dr. rer. nat. Þinghólsbraut 54 200 Kópavogur, Iceland +354 6952998 stephans@ru.is Research Interests game playing, in particular general game playing heuristic and simulation-based search
More information