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