| Invited Talks |
| Extreme Nash Equilibria / Martin Gairing ; Thomas Lücking ; Marios Mavronicolas ; Burkhard Monien ; Paul Spirakis |
| Certification of Memory Usage / Martin Hofmann |
| On Programming Models for Mobility / Gérard Boudol |
| Program Design, Models and Analysis |
| On the Computational Complexity of Cut-Elimination in Linear Logic / Harry G. Mairson ; Kazushige Terui |
| A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics / Claudio Sacerdoti Coen |
| Finite Horizon Analysis of Stochastic Systems with the Mur Verifier / Giuseppe Della Penna ; Benedetto Intrigila ; Igor Melatti ; Enrico Tronci ; Marisa Venturini Zilli |
| Towards Compact and Tractable Automaton-Based Representations of Time Granularities / Ugo Dal Lago ; Angelo Montanari ; Gabriele Puppis |
| Lower Bounds on the Size of Quantum Automata Accepting Unary Languages / Alberto Bertoni ; Carlo Mereghetti ; Beatrice Palano |
| Refined Effects for Unanticipated Object Re-classification: Fickle3 / Ferruccio Damiani ; Sophia Drossopoulou ; Paola Giannini |
| Algorithms and Complexity |
| Cost Constrained Fixed Job Scheduling / Qiwei Huang ; Errol Lloyd |
| A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set / Jens Gustedt ; Jan Arne Telle |
| An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality / Alessandro Ferrante ; Mimmo Parente |
| Channel Assignment in Honeycomb Networks / Alan A. Bertossi ; Cristina M. Pinotti ; Romea Rizzi ; Anil M. Shende |
| Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks / Tiziana Calamoneri |
| The Complexity of Checking Consistency of Pedigree Information and Related Problems / Luca Aceto ; Jens A. Hansen ; Anna Ingólfsdóttir ; Jacob Johnsen ; John Knudsen |
| On Clausal Equivalence and Hull Inclusion / K. Subramani |
| Semantics and Formal Languages |
| Logical Semantics for the First Order ?-Calculus / Steffen van Bakel ; Ugo de'Liguoro |
| On the Expressive Power of Light Affine Logic |
| Reasoning about Self and Others: Communicating Agents in a Modal Action Logic / Matteo Baldoni ; Cristina Baroglio ; Alberto Martelli ; Viviana Patti |
| Decidability Properties of Recursive Types / Felice Cardone ; Mario Coppo |
| Algebraic Theories for Contextual Pre-nets / Roberto Bruni ; Jose Meseguer ; Ugo Montanari ; Vladimiro Sassone |
| A Coalgebraic Description of Web Interactions / Daniela Cancila ; Furio Honsell |
| A Calculus for Dynamic Linking / Davide Ancona ; Sonia Fagorzi ; Elena Zucca |
| Towards a Smart Compilation Manager for Java / Giovanni Lagorio |
| Security and Cryptography |
| Anonymous Group Communication in Mobile Networks / Stelvio Cimato ; Paolo D'Arco ; Ivan Visconti |
| Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences / Amparo Fúster-Sabater |
| An Information-Theoretic Approach to the Access Control Problem / Anna Lisa Ferrara ; Barbara Masucci |
| Security-Aware Program Transformations / Massimo Bartoletti ; Pierpaolo Degano ; Gian Luigi Ferrari |
| Information Flow Security and Recursive Systems / Annalisa Bossi ; Damiano Macedonio ; Carla Piazza ; Sabina Rossi |
| Compositional Verification of Secure Streamed Data: A Case Study with EMSS / Fabio Martinelli ; Marinella Petrocchi ; Anna Vaccarelli |
| Author Index |
| Invited Talks |
| Extreme Nash Equilibria / Martin Gairing ; Thomas Lücking ; Marios Mavronicolas ; Burkhard Monien ; Paul Spirakis |
| Certification of Memory Usage / Martin Hofmann |
| On Programming Models for Mobility / Gérard Boudol |
| Program Design, Models and Analysis |
| On the Computational Complexity of Cut-Elimination in Linear Logic / Harry G. Mairson ; Kazushige Terui |
