| 1 | -- | 2 | Maribel Fernández, Ian Mackie. Preface |
| 3 | -- | 13 | Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. A Generalized Higher-Order Chemical Computation Model |
| 15 | -- | 23 | Udi Boker, Nachum Dershowitz. Abstract Effective Models |
| 25 | -- | 35 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. On Reversible Combinatory Logic |
| 37 | -- | 47 | Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach. SCHOOL: a Small Chorded Object-Oriented Language |
| 49 | -- | 59 | Sonia Fagorzi, Elena Zucca. A Calculus for Reconfiguration: (Extended abstract) |
| 61 | -- | 71 | Pablo Garralda, Adriana B. Compagnoni. Splitting Mobility and Communication in Boxed Ambients |
| 73 | -- | 84 | Furio Honsell, Marina Lenisa, Rekha Redamalla. Coalgebraic Description of Generalized Binary Methods |
| 85 | -- | 94 | Luigi Liquori. iRho: the Software: [System Description] |
| 95 | -- | 105 | Florin Manea, Carlos Martín-Vide, Victor Mitrana. A Universal Accepting Hybrid Network of Evolutionary Processors |
| 107 | -- | 117 | Antonio Cosentino, Marco Pedicini, Francesco Quaglia. Supporting Function Calls within PELCR |
| 119 | -- | 128 | Simon Perdrix, Philippe Jorrand. Classically-controlled Quantum Computation |
| 129 | -- | 139 | François-Régis Sinot. Token-Passing Nets: Call-by-Need for Free |
| 141 | -- | 151 | H. Xu, S. Yu. Type Theory and Language Constructs for Objects with States |