Logical Methods in Computer Science

1.	Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
	Kristian Støvring


2.	The monadic second-order logic of graphs XVI : Canonical graph decompositions
	Bruno Courcelle


3.	On the Expressiveness of the Ambient Logic
	Daniel Hirschkoff, Etienne Lozes and Davide Sangiorgi


4.	A System of Interaction and Structure II: The Need for Deep Inference
	Alwen Tiu


5.	Modal Logics of Topological Relations
	Carsten Lutz and Frank Wolter


6.	Context-Sensitive Languages, Rational Graphs and Determinism
	Arnaud Carayol and Antoine Meyer