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

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

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

Transcription

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

2 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo

3 Gert Smolka (Ed.) Programming Languages and Systems 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 April 2, 2000 Proceedings 13

4 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editor Gert Smolka University of Saarland Programming Systems Lab, Building 45, P. O. Box , Saarbrücken, Germany Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Programming languages and systems : proceedings / 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 / Gert Smolka (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2000 (Lecture notes in computer science ; Vol. 1782) ISBN CR Subject Classification (1991): D.3, D.1-2, F.3, F.4, E.1 ISSN ISBN Springer-Verlag 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-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a company in the BertelsmannSpringer publishing group. Springer-Verlag Berlin Heidelberg 2000 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna Printed on acid-free paper SPIN /

5 Foreword ETAPS 2000 was the third 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 (FOSSACS, FASE, ESOP, CC, TACAS), five satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. 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 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 loose confederation in which each event retains its own identity, with a separate program committee and independent 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. The program of ETAPS 2000 included a public business meeting where participants had the opportunity to learn about the present and future organization of ETAPS and to express their opinions about what is bad, what is good, and what might be improved. ETAPS 2000 was hosted by the Technical University of Berlin and was efficiently organized by the following team: Bernd Mahr (General Chair) Hartmut Ehrig (Program Coordination) Peter Pepper (Organization) Stefan Jähnichen (Finances) Radu Popescu-Zeletin (Industrial Relations) with the assistance of BWO Marketing Service GmbH. The publicity was superbly handled by Doris Fähndrich of the TU Berlin with assistance from the ETAPS publicity chair, Andreas Podelski. Overall planning for ETAPS conferences is the responsibility of the ETAPS steering committee, whose current membership is:

6 VI Foreword Egidio Astesiano (Genova), Jan Bergstra (Amsterdam), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), José Fiadeiro (Lisbon), Marie-Claude Gaudel (Paris), Susanne Graf (Grenoble), Furio Honsell (Udine), Heinrich Hußmann (Dresden), Stefan Jähnichen (Berlin), Paul Klint (Amsterdam), Tom Maibaum (London), Tiziana Margaria (Dortmund), Ugo Montanari (Pisa), Hanne Riis Nielson (Aarhus), Fernando Orejas (Barcelona), Andreas Podelski (Saarbrücken), David Sands (Göteborg), Don Sannella (Edinburgh), Gert Smolka (Saarbrücken), Bernhard Steffen (Dortmund), Wolfgang Thomas (Aachen), Jerzy Tiuryn (Warsaw), David Watt (Glasgow), Reinhard Wilhelm (Saarbrücken) ETAPS 2000 received generous sponsorship from: the Institute for Communication and Software Technology of TU Berlin the European Association for Programming Languages and Systems the European Association for Theoretical Computer Science the European Association for Software Development Science the High-Level Scientific Conferences component of the European Commission s Fifth Framework Programme I would like to express my sincere gratitude to all of these people and organizations, the program committee members of the ETAPS conferences, the organizers of the satellite events, the speakers themselves, and finally Springer-Verlag for agreeing to publish the ETAPS proceedings. January 2000 Donald Sannella ETAPS Steering Committee chairman

7 Preface This volume contains the 27 papers presented at ESOP 2000, the Ninth European Symposium on Programming, which took place in Berlin, March 27 31, The ESOP series originated in 1986 and addresses the design, specification, and analysis of programming languages and programming systems. Since 1998, ESOP has belonged to the ETAPS confederation. The call for papers of ESOP 2000 encouraged the following topics: programming paradigms and their integration, including concurrent, functional, logic, and object-oriented; computational calculi and semantics; type systems, program analysis, and concomitant constraint systems; program transformation; programming environments and tools. The volume starts with a contribution from Martin Odersky, the invited speaker of the conference. The remaining 26 papers were selected by the program committee from 84 submissions (almost twice as many as for ESOP 99). With two exceptions, each submission received at least three reviews, done by the program committee members or their subreferees (names appear below). Once the initial reviews were available, we had two weeks for conflict resolution and paper selection, supported by a database system with Web interfaces. I would like to express my sincere gratitude to Christian Schulte who took care of the software, handled the submissions, tracked the refereeing process, and finally assembled the proceedings. Then, of course, I am grateful to my fellow program committee members, the many additional referees, and the authors of the submitted papers. Finally, I have to thank Don Sannella, who smoothly organized the program at the ETAPS level and relieved me of many organizational burdens. January 2000 Gert Smolka

8 VIII Organization Organization Program Chair Gert Smolka UdS, Saarbrücken, Germany Program Committee Gerard Boudol Sophia Drossopoulou Matthias Felleisen Michael Franz Manuel Hermenegildo Xavier Leroy Alan Mycroft Martin Odersky Andreas Podelski Gert Smolka Peter Thiemann Mads Tofte Pascal Van Hentenryck INRIA, Sophia-Antipolis, France Imperial College, London, UK Rice University, Houston, USA UC Irvine, USA TU Madrid, Spain INRIA Rocquencourt, France Cambridge University, UK EPF Lausanne, Switzerland MPI, Saarbrücken, Germany UdS, Saarbrücken, Germany Uni Freiburg, Germany Uni Copenhagen, Denmark Uni Louvain, Belgium Additional Referees Martín Abadi, Roberto Amadio, Zena Matilde Ariola, Andrea Asperti, Uwe Assmann, Isabelle Attali, Gilles Barthe, David Basin, Alexander Bockmayr, Maurice Bruynooghe, Francisco Bueno, Egon Börger, Robert Cartwright, Giuseppe Castagna, Ilaria Castellani, Witold Charatonik, Olaf Chitil, Agostino Cortesi, Patrick Cousot, Roy Crole, Paul Cunningham, Silvano Dal Zilio, Saumya Debray, Bart Demoen, Damien Doligez, Thomas Ehrhard, Jérôme Feret, Gilberto Filé, Ian Foster, Cédric Fournet, Peter H. Froehlich, Martin Fränzle, María García de la Banda, Roberto Giacobazzi, Jens Christian Godskesen, Georges Gonthier, Andy Gordon, Susanne Graf, Niels Hallenberg, Chris Hankin, Nevin Heintze, Simon Helsen, Angel Herranz, Ralf Hinze, Sebastian Hunt, Graham Hutton, Jean-Marie Jacquet, Suresh Jagannathan, C. B. Jay, Neil D. Jones, Antonios Kakas, Sam Kamin, Andy King, Jan Willem Klop, Povl Koch, Shriram Krishnamurthi, Herbert Kuchen, Arun Lakhotia, David Ephraim Larkin, Ziemowit Laski, Baudouin Le Charlier, Fabrice Le Fessant, K. Rustan M. Leino, Jean-Jacques Lévy, Michael Maher, Jan Maluszynski, John Maraist, Luc Maranget, Mircea Marin, Julio Mariño, Kim Marriott, Laurent Mauborgne, Erik Meijer, Massimo Merro, Laurent Michel, Yasuhiko Minamide, Eugenio Moggi, Andrew Moran, Juan José Moreno Navarro, Anders Møller, Peter Møller

9 Organization IX Neergaard, Lee Naish, Uwe Nestmann, Flemming Nielson, Jukka Paakki, Jens Palsberg, Ross Paterson, Alberto Pettorossi, Iain Phillips, Enrico Pontelli, François Pottier, Germàn Puebla, Christian Queinnec, Laurent Regnier, John Reppy, Hanne Riis Nielson, David Rosenblueth, Andreas Rossberg, Abhik Roychowdhury, Albert Rubio, Radu Rugina, Claudio Vittorio Russo, Didier Rémy, Michel Rüher, Amr Sabry, Beverly Sanders, Davide Sangiorgi, Hiroyuki Sato, David Schmidt, Wolfgang Schreiner, Christian Schulte, Peter Sestoft, Zhong Shao, Richard Sharp, Yu Shi, Harald Sondergaard, Fausto Spoto, Harini Srinivasan, Paul Steckler, Peter Stuckey, Jean-Ferdinand Susini, Don Syme, Sophie Tison, Jan Vitek, Philip Wadler, David S. Warren, Reinhard Wilhelm, Burkhard Wolff, Andrew Wright, Christoph Zenger, Matthias Zenger, Elena Zucca, Frank S. de Boer.

10 Table of Contents Invited Paper Functional Nets... 1 Martin Odersky (École Polytechnique Fédérale de Lausanne) Regular Papers Faithful Translations between Polyvariant Flows and Polymorphic Types.. 26 Torben Amtoft (Boston University) and Franklyn Turbak (Wellesley College) On the Expressiveness of Event Notification in Data-Driven Coordination Languages Nadia Busi and Gianluigi Zavattaro (Università di Bologna) Flow-Directed Closure Conversion for Typed Languages Henry Cejtin (Entertainment Decisions), Suresh Jagannathan (NEC Research Institute), and Stephen Weeks (Intertrust STAR Laboratories) Directional Type Checking for Logic Programs: Beyond Discriminative Types 72 Witold Charatonik (Max-Planck-Institut für Informatik) Formalizing Implementation Strategies for First-Class Continuations Olivier Danvy (University of Aarhus) Correctness of Java Card Method Lookup via Logical Relations Ewen Denney and Thomas Jensen (IRISA) Compile-Time Debugging of C Programs Working on Trees Jacob Elgaard, Anders Møller, and Michael I. Schwartzbach (University of Aarhus) A Calculus for Compiling and Linking Classes Kathleen Fisher (AT&T Labs), John Reppy, and Jon G. Riecke (Bell Laboratories, Lucent Technologies) Abstract Domains for Universal and Existential Properties Andrew Heaton, Patricia M. Hill (University of Leeds), and Andy King (University of Kent) A Type System for Bounded Space and Functional In-Place Update Extended Abstract Martin Hofmann (LFCS Edinburgh)

11 XII Table of Contents Secure Information Flow as Typed Process Behaviour Kohei Honda (Queen Mary and Westfield College), Vasco Vasconcelos (University of Lisbon), and Nobuko Yoshida (University of Leicester) Implementing Groundness Analysis with Definite Boolean Functions Jacob M. Howe and Andy King (University of Kent) The Correctness of Type Specialisation John Hughes (Chalmers University) Type Classes with Functional Dependencies Mark P. Jones (Oregon Graduate Institute) Sharing Continuations: Proofnets for Languages with Explicit Control Julia L. Lawall and Harry G. Mairson (Boston University) A Calculus for Link-Time Compilation Elena Machkasova (Boston University) and Franklyn A. Turbak (Wellesley College) Improving the Representation of Infinite Trees to Deal with Sets of Trees. 275 Laurent Mauborgne (École Normale Supérieure) On the Translation of Procedures to Finite Machines Markus Müller-Olm (Universität Dortmund) and Andreas Wolf (Christian-Albrechts-Universität Kiel) A Kleene Analysis of Mobile Ambients Flemming Nielson, Hanne Riis Nielson (Aarhus University), and Mooly Sagiv (Tel Aviv University) A 3-Part Type Inference Engine François Pottier (INRIA Rocquencourt) First-Class Structures for Standard ML Claudio V. Russo (Cambridge University) Constraint-Based Inter-Procedural Analysis of Parallel Programs Helmut Seidl (Universität Trier) and Bernhard Steffen (Universität Dortmund) Alias Types Frederick Smith, David Walker, and Greg Morrisett (Cornell University) Polyvariant Flow Analysis with Constrained Types Scott F. Smith and Tiejun Wang (The Johns Hopkins University) On Exceptions Versus Continuations in the Presence of State Hayo Thielecke (Queen Mary and Westfield College)

12 Table of Contents XIII Equational Reasoning for Linking with First-Class Primitive Modules J. B. Wells and René Vestergaard (Heriot-Watt University) Author Index...429

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 Computer Science 2028 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science 2028 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Lecture Notes in Computer Science 2028 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo David Sands (Ed.) Programming

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

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 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 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 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

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

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 3444

Lecture 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 information

Lecture Notes in Computer Science

Lecture Notes in Computer Science Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 983 Advisory Board: W. Brauer D. Gries J. Stoer Alan Mycroft (Ed.) Static Analysis Second International Symposium, SAS

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

Ulrik M. Nyman - Curriculum Vitæ

Ulrik 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 information

Theorem Proving in Higher Order Logics

Theorem 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 information

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

Lecture Notes in Computer Science 2986 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2986 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo David Schmidt (Ed.) Programming Languages and

More information

Lecture Notes in Artificial Intelligence

Lecture 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 information

Lecture 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 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 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

Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo

Springer 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 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 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 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 information

Curriculum Vitae Person Education Professional career

Curriculum 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 information

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

Lecture Notes in Computer Science 2618 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2618 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Pierpaolo Degano (Ed.) Programming Languages

More information

German Yearbook on Business History 1986

German 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 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

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

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 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

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

Organizational Economics, Personnel Economics, Behavioral Economics

Organizational 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 information

Gordon Stewart Curriculum Vitae

Gordon 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 information

Lecture Notes in Computer Science

Lecture 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 information

January 30, 2015 Curriculum Vitae : Eleftherios ( Lefteris) N. Economou

January 30, 2015 Curriculum Vitae : Eleftherios ( Lefteris) N. Economou January 30, 2015 Curriculum Vitae : Eleftherios ( Lefteris) N. Economou Address: Office: FORTH, P.O. BOX 1385, 70013 Heraklio, Crete, Creece, Tel.: +30 2810 391560, 391562, Fax: +30 2810 391569, e-mail:

More information

Lecture Notes in Computer Science

Lecture Notes in Computer Science Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1282 Advisory Board: W. Brauer D. Gries J. Stoer David Garlan Daniel Le M6tayer (Eds.) Coordination Languages and Models

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

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

Fπ8, the 8 th International Symposium on Functional π-electron Systems

Fπ8, the 8 th International Symposium on Functional π-electron Systems Fπ8, the 8 th International Symposium on Functional π-electron Systems Date: 21.7.2008-25.7.2008 Location: Graz / Austria Conference Site: Graz University of Technology Organised by Conference Chair Ao.

More information

The Founders of Index Theory

The 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 information

Human Rights and Intellectual Property: From Concepts to Practice

Human 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 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 2664 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science 2664 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2664 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Michael Leuschel (Ed.) Logic Based Program

More information

Thomas Schroepfer. Professor, Co-Director <SUTD-JTC I3 Centre> and Founding. Associate Head of Pillar <ASD> Research Interests. . Telephone.

Thomas Schroepfer. Professor, Co-Director <SUTD-JTC I3 Centre> and Founding. Associate Head of Pillar <ASD> Research Interests.  . Telephone. 1 Thomas Schroepfer Professor, Co-Director and Founding Associate Head of Pillar Research Interests Email Telephone Web Environmental strategies in architecture and urban design,

More information

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

Lecture Notes in Computer Science 1944 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Lecture Notes in Computer Science 1944 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Klaus R. Dittrich Giovanna

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

ETAPS Steering Committee Chair. Foreword. these organizations and no official endorsement should be inferred.

ETAPS Steering Committee Chair. Foreword. these organizations and no official endorsement should be inferred. Foreword ETAPS 2003 was the sixth 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

More information

gpehihpcl'upn sdii-gei tim GE ng Fiae^'ban*' and pq>-er ujeibel with contributions by

gpehihpcl'upn sdii-gei tim GE ng Fiae^'ban*' and pq>-er ujeibel with contributions by gpehihpcl'upn with contributions by Michael Beigl Aaron Betsky Ole Bouman Neil Brown Ignacio Cirac Andrew Daley Dennis Del Favero David Deutsch Elizabeth Diller Winka Dubbeldam Georg Flachbart Monika Fleischmann

More information

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

Lecture Notes in Computer Science 2937 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2937 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Bernhard Steffen Giorgio Levi (Eds.) Verification,

More information

09:00-10:30 am SESSION I: FOOD-MICROBES-HOST INTERACTIONS IN THE HUMAN GUT Chair: R. Balfour Sartor (Chapel Hill, USA)

09: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 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

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

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

Lecture Notes in Computer Science 1945 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Lecture Notes in Computer Science 1945 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Wolfgang Grieskamp Thomas Santen

More information

Lecture 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 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 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

Progress in Mathematics Volume 95

Progress 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 information

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

Lecture Notes in Computer Science 1670 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 1670 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Norbert A. Streitz Jane Siegel

More information

Proceedings & Companion WikiSym 07, ISMM 07, HPC-GECO/CompFrame 07, DLS 07

Proceedings & Companion WikiSym 07, ISMM 07, HPC-GECO/CompFrame 07, DLS 07 Montréal, Canada 2007 Proceedings & Companion WikiSym 07, ISMM 07, HPC-GECO/CompFrame 07, DLS 07 Palais des congrès de Montréal October 21 25 SIGPLAN ISBN 978-1-59593-858-9 Order # 548075 OOPSLA 2007,

More information

The history and development of numerical analysis in Scotland: a personal perspective

The history and development of numerical analysis in Scotland: a personal perspective The history and development of numerical analysis in Scotland: a personal perspective Alistair Watson Mathematics Division University of Dundee The history and development of numerical analysis in Scotland:a

More information

Curriculum Vitae Education and studies Professional experience Research and publications

Curriculum Vitae Education and studies Professional experience Research and publications Curriculum Vitae Mircea Bîrsan Education and studies I was born on the 1 st of May 1973 in Iaşi, Romania. I graduated the high-school College C. Negruzzi of Iaşi in 1992. In the period 1990-1992, I was

More information

Yury I. Manin CURRICULUM VITAE (updated May 20, 2016)

Yury 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 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

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

Syntax of Landscape The Landscape Architecture of Peter Latz and Partners

Syntax 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

Curriculum Vitae. December 2, 2015

Curriculum Vitae. December 2, 2015 Curriculum Vitae December 2, 2015 Name: Matti Juhani Lassas Date and place of birth: 1969, Helsinki, Finland. Contact information Department of Mathematics and Statistics, University of Helsinki, P.O.

More information

CREATIVITY DESIGN INNOVATION

CREATIVITY DESIGN INNOVATION CREATIVITY DESIGN INNOVATION 12 th Swiss Innovation Forum 16 November 2017 Basel Dream as a motivation a human power an escape a vehicle to innovate a product 12 th Swiss Innovation Forum On 16 November

More information

Lecture Notes in Artificial Intelligence 6517

Lecture 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 information

IABSE Conference Copenhagen 2018 Engineering the Past, to meet the needs of the Future, 25 th 27 th June, 2018, Denmark

IABSE Conference Copenhagen 2018 Engineering the Past, to meet the needs of the Future, 25 th 27 th June, 2018, Denmark ALL STRUCTURES ALL MATERIALS w w w. i a b s e. o r g WORLDWIDE Final Invitation IABSE Conference Copenhagen 2018 Engineering the Past, to meet the needs of the Future, 25 th 27 th June, 2018, Denmark Organised

More information

FIG Commission 3 Spatial Information Management. Report of Activities 2009

FIG Commission 3 Spatial Information Management. Report of Activities 2009 Appendix to item 10.3 Report to the 33 rd General Assembly FIG Congress in Sydney, Australia 2010 FIG Commission 3 Spatial Information Management Report of Activities 2009 1. General Since 2007, FIG Commission

More information

Lecture Notes in Computer Science

Lecture Notes in Computer Science Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 657 Advisory Board: W. Brauer D. Gries J. Stoer E. W Mayr (Ed.) Graph-Theoretic Concepts In " Computer Science 18th International Workshop,

More information

The Sociology of Norbert Elias

The Sociology of Norbert Elias The Sociology of Norbert Elias Norbert Elias has been described as a great sociologist and over recent years there has been a steady upsurge of interest in his work. Yet despite the fact that he was active

More information

Service Oriented Architectural Design

Service Oriented Architectural Design Service Oriented Architectural Design R. Bruni 1, A. Lluch Lafuente 1, U. Montanari 1, E. Tuosto 2 Department of Computer Science, University of Pisa {bruni,lafuente,ugo}@di.unipi.it Department of Computer

More information

OCL th International Workshop on OCL and Textual Modeling

OCL 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 information

My Life with Eggs: Forty Years On

My 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 information

EUROPEAN PRODUCT LIABILITY

EUROPEAN 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 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

1 st Financialisation, Economy, Society and Sustainable Development (FESSUD) Annual Conference

1 st Financialisation, Economy, Society and Sustainable Development (FESSUD) Annual Conference 1 st Financialisation, Economy, Society and Sustainable Development (FESSUD) Annual Conference 29 th 31 st October 2012 - Best Western Premier Hotel Steglitiz Berlin MONDAY 29TH OCTOBER 2012 Time Title

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

Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE

Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE JEAN-LOUIS LASSEZ classez@gilanet.com ADDRESS: P.O. Box 407, Magdalena, New Mexico 87825-0407 PHONE: 505 854 2253 (home), 505 835 5396 (work) PERSONAL: Date

More information

DATE AND PLACE OF BIRTH, NATIONALITY PROFESSIONAL CAREER

DATE AND PLACE OF BIRTH, NATIONALITY PROFESSIONAL CAREER DATE AND PLACE OF BIRTH, NATIONALITY born 15.5.47 in Vienna Austrian nationality PROFESSIONAL CAREER 2002-present partner of Baier Böhm law firm 1978-2002 principal, Wolff Law Offices 1976-1978 mandatory

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

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

4 th Ertl Symposium on

4 th Ertl Symposium on International 4 th Ertl Symposium on Chemical Processes on Solid Surfaces 11-13 October 2016 in Berlin, Germany I hosted by the & GIST Ertl Center Water at Interfaces Prof. Dr. Gerhard Ertl Nobel Laureate

More information

Persoonlijke kopie van ()

Persoonlijke 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 information

John Trim library collection of the European Centre for Modern Languages (ECML) / Council of Europe

John Trim library collection of the European Centre for Modern Languages (ECML) / Council of Europe European Centre for Modern Languages Centre européen pour les langues vivantes Europäisches Fremdsprachenzentrum Nikolaiplatz 4/1, A-8020 Graz Tel: +43 316 323554-0, Fax: +43 316 323554-4 information@ecml.at,

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

Married to Anne-Kristine Meinild-Lundby, PhD with whom I have two children born 2006 and 2009.

Married to Anne-Kristine Meinild-Lundby, PhD with whom I have two children born 2006 and 2009. Curriculum Vitae for Carsten Lundby, PhD, Born February 28 th, 1973. Danish citizen. Married to Anne-Kristine Meinild-Lundby, PhD with whom I have two children born 2006 and 2009. Education & Employments

More information

European Multidisciplinary Symposium

European Multidisciplinary Symposium th European Multidisciplinary Symposium on Liver-Directed Cancer Therapy using 90 Y Microspheres ROME 4 th - 5 th November 2016 preliminary programme S C I E N T I F I C I N F O R M A T I O N SCIENTIFIC

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

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

XIV INTERNATIONAL. June SYMPOSIUM ON. 29 th 30 th BARCELONA. Viral Hepatitis and liver diseases

XIV INTERNATIONAL. June SYMPOSIUM ON. 29 th 30 th BARCELONA. Viral Hepatitis and liver diseases XIV INTERNATIONAL DIRECTORS: Rafael Esteban Maria Buti Liver Unit, Hospital Vall d Hebron. Barcelona (Spain) June 29 th 30 th MEETING VENUE: Hotel Hilton - Barcelona. (Spain) June 29 th 30 th XIV INTERNATIONAL

More information

INDUSTRIAL RELATIONS IN INTERNATIONAL PERSPECTIVE

INDUSTRIAL 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 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

CURRICULUM VITAE. Jan Kmenta

CURRICULUM VITAE. Jan Kmenta October 2012 CURRICULUM VITAE Jan Kmenta ADDRESS: Department of Economics The University of Michigan Ann Arbor, Michigan 48109 U.S.A. E-Mail: KmentaJan@aol.com EDUCATION AND DEGREES: Stanford University

More information

Agnes Lucia Neher. 06/ /2013 Visiting Scholar at the School of Management at the University of St. Andrews, St. Andrews, UK

Agnes Lucia Neher. 06/ /2013 Visiting Scholar at the School of Management at the University of St. Andrews, St. Andrews, UK CV Agnes Lucia Neher *17 th of December 1984 Höhenweg 1, CH-8824 Schönenberg ZH Phone: +41 (0)44 788 25 55 Mobile: +41 (0)78 883 86 85 agnesneher@yahoo.de Secondary Education 2003 A-Levels (Latin, Economics,

More information

Curriculum vitae. Personal Data. Employement. Education. 8 May Date of Birth: Place of Birth: Address: Kayseri, Turkey

Curriculum vitae. Personal Data. Employement. Education. 8 May Date of Birth: Place of Birth: Address: Kayseri, Turkey Curriculum vitae Pınar Kılıçer Personal Data Date of Birth: Place of Birth: Address: 8 May 1986 Kayseri, Turkey Carl von Ossietzky Universität Oldenburg Institut für Mathematik 26111 Oldenburg, Germany

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

REPORT OF THE TELSIKS 2001 CONFERENCE

REPORT OF THE TELSIKS 2001 CONFERENCE Mikrotalasna revija Decembar 2001. REPORT OF THE TELSIKS 2001 CONFERENCE The 5th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services - TELSIKS 2001 was held

More information

Europass Curriculum Vitae

Europass Curriculum Vitae Europass Curriculum Vitae Personal information Surname, First Name Pistoia-Reda, Salvatore Date of birth 28 April 1983 Gender Male Nationality Italian Country of birth Italy City of birth Lungro Office

More information