Here is a list of the papers accepted for presentation at the meeting


Ingo Battenfeld. Observationally-induced effects in cartesian closed categories

Ulrich Berger and Tie Hou. Typed vs Untyped Realizability

Filippo Bonchi, Marcello Bonsangue, Georgiana Caltais, Jan Rutten and Alexandra Silva. Final Semantics for Decorated Traces

Stephen Brookes. Concurrent Separation Logic and Syntactic Control of Interference

Matteo Cimini, Mohammadreza Mousavi, Michel Reniers and Murdoch Gabbay. Nominal SOS

Robin Cockett, Ximo Diaz-Boils, Jonathan Gallagher and Pavel Hrubes. Timed Sets, Functional Complexity, and Computability

Roy Dyckhoff, Mehrnoosh Sadrzadeh and Julien Truffaut. Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators

Murdoch Gabbay and Dan Ghica. Game Semantics in the Nominal Model

Dan Ghica and Nikos Tzevelekos. A System-Level Game Semantics

Aquinas Hobor and Robert Dockins. Time Bounds for General Function Pointers

Naohiko Hoshino. A Representation Theorem for Unique Decomposition Categories

Wolfgang Jeltsch. Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming

Joachim Kock. Data Types with Symmetries and Polynomial Functors Over Groupoids

Andrew Lawrence, Ulrich Berger and Monika Seisenberger. Extracting a DPLL Algorithm

Oleksandr Manzyuk. A Simply Typed Lambda-Calculus of Forward Automatic Differentiation

Guy McCusker, John Power and Cai Wingfield. A Graphical Foundation for Schedules

Ugo Montanari and Matteo Sammartino. Network Conscious pi-calculus: a Concurrent Semantics

Barbara Petit. Continuation Models for the Lambda Calculus with Constructors

Dan Teodosiu. A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources

Toby Wilkinson. A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation